Results 1 - 20 of 124 for All Library Resources
Show only
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Taming electromagnetic metamaterials for isotropic perfect absorbersAIP advances, 2015-07, Vol.5 (7), p.077119-077119-8 [Peer Reviewed Journal]ISSN: 2158-3226 ;EISSN: 2158-3226 ;DOI: 10.1063/1.4926656Full text available |
| 2 |
Material Type: Article
|
|
Nutritional status and associated factors in children aged 15-17 years in a suburb in VietnamJournal of advanced biotechnology and experimental therapeutics, 2021, Vol.4 (1), p.17-24 [Peer Reviewed Journal]ISSN: 2616-4760 ;EISSN: 2616-4760 ;DOI: 10.5455/jabet.2021.d102Full text available |
| 3 |
Material Type: Article
|
|
Rach Nui: ground stone technology in coastal Neolithic settlements of southern VietnamAntiquity, 2017-08, Vol.91 (358), p.933-946 [Peer Reviewed Journal]Copyright © Antiquity Publications Ltd, 2017 ;COPYRIGHT 2017 Cambridge University Press ;COPYRIGHT 2017 Cambridge University Press ;Copyright Cambridge University Press Aug 2017 ;ISSN: 0003-598X ;EISSN: 1745-1744 ;DOI: 10.15184/aqy.2017.71Full text available |
| 4 |
Material Type: Article
|
|
A Combined Algorithm of Kalman Estimator and Guard Interval Optimization for Mobile WiMAXInternational journal of distributed systems and technologies, 2013-01, Vol.4 (1), p.16-28 [Peer Reviewed Journal]Copyright © 2013, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. ;ISSN: 1947-3532 ;EISSN: 1947-3540 ;DOI: 10.4018/jdst.2013010102Digital Resources/Online E-Resources |
| 5 |
Material Type: Reports
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 69540Digital Resources/Online E-Resources |
| 6 |
Material Type: Web Resources
|
|
Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sedimentsDigital Resources/Online E-Resources |
| 7 |
Material Type: Thesises (postgraduate)
|
|
|
| 8 |
Material Type: Conference Proceeding
|
|
Program specialisation as a preprocessing step for termination analysispublic 69544; 352615Digital Resources/Online E-Resources |
| 9 |
Material Type: Article
|
|
Pregnancy with Heart Disease: Maternal Outcomes and Risk Factors for Fetal Growth RestrictionInternational journal of environmental research and public health, 2019-06, Vol.16 (12), p.2075 [Peer Reviewed Journal]2019. This work is licensed under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;2019 by the authors. 2019 ;ISSN: 1660-4601 ;ISSN: 1661-7827 ;EISSN: 1660-4601 ;DOI: 10.3390/ijerph16122075 ;PMID: 31212780Full text available |
| 10 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 65589 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/11562931_24Digital Resources/Online E-Resources |
| 11 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationpublic 69543Digital Resources/Online E-Resources |
| 12 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationspublic 528675 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-71410-1_15Digital Resources/Online E-Resources |
| 13 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 383200Digital Resources/Online E-Resources |
| 14 |
Material Type: Book Chapter
|
|
Polytool: Proving Termination Automatically Based on Polynomial InterpretationsLogic-Based Program Synthesis and Transformation, p.210-218 [Peer Reviewed Journal]Springer Berlin Heidelberg 2007 ;ISSN: 0302-9743 ;ISBN: 354071409X ;ISBN: 9783540714095 ;EISSN: 1611-3349 ;EISBN: 9783540714101 ;EISBN: 3540714103 ;DOI: 10.1007/978-3-540-71410-1_15Digital Resources/Online E-Resources |
| 15 |
Material Type: Book Chapter
|
|
Polynomial Interpretations as a Basis for Termination Analysis of Logic ProgramsLecture notes in computer science, 2005, p.311-325 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540292081 ;ISBN: 354029208X ;EISSN: 1611-3349 ;EISBN: 9783540319474 ;EISBN: 3540319476 ;DOI: 10.1007/11562931_24Digital Resources/Online E-Resources |
| 16 |
Material Type: Article
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 100499 ;ISSN: 1471-0684 ;ISSN: 1475-3081 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Full text available |
| 17 |
Material Type: Reports
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 86245Digital Resources/Online E-Resources |
| 18 |
Material Type: Article
|
|
Polytool: polynomial interpretations as a basis for termination analysis of Logic programsarXiv.org, 2009-122009. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.0912.4360Full text available |
| 19 |
Material Type: Article
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsTheory and practice of logic programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal]Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Full text available |
| 20 |
Material Type: Article
|
|
Polynomial interpretations as a basis for termination analysis of logic programsTheory and practice of logic programming, 2011-01, Vol.11 (1), p.33 [Peer Reviewed Journal]Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Full text available |
Results 1 - 20 of 124 for All Library Resources
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Creation Date
- Before 2007 (11)
- 2007 To 2010 (12)
- 2011 To 2015 (14)
- 2016 To 2020 (50)
- After 2020 (37)
-
More options
New Records
Resource Type
- Newsletter Articles (35)
- Newspaper Articles (33)
- Articles (31)
- Conference Proceedings (10)
- Book Chapters (5)
- Reports (5)
- magazinearticle (3)
- Thesises (postgraduate) (1)
- Web Resources (1)
-
More options
Subject
- Investments (21)
- Science & Technology (21)
- Construction (16)
- Joint Stock Companies (15)
- Technology (12)
- Earnings Per Share (10)
- Life Sciences & Biomedicine (10)
- Profit Margins (10)
- Equity (10)
- Corporate Profits (10)
- Computer Science (9)
- Stock Exchanges (9)
- Boards Of Directors (8)
- Stockholders (8)
- Computer Science, Theory & Methods (7)
- Dividends (7)
- Present Value (7)
- Labor Unions (7)
- Chief Executive Officers (6)
- Capital Gains (6)
-
More options
Databases
- ProQuest Central (92)
- Lirias (KU Leuven Association) (12)
- DOAJ Directory of Open Access Journals (9)
- PubMed Central (Training) (7)
- ROAD: Directory of Open Access Scholarly Resources (7)
- MEDLINE (7)
- Journals@Ovid Open Access Journal Collection Rolling (4)
- Cambridge Wholly Gold Open Access Journals (3)
- GFMER Free Medical Journals (2)
- IngentaConnect Free/Open Access Journals (2)
- Wolters Kluwer Open Health (2)
- arXiv.org (1)
- Europeana Collections (1)
- Free E- Journals (1)
- Public Library of Science (PLoS) (1)
-
More options
Journal Title
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||