Results 1 - 20 of 67 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
Refined by:
creation date:
2004 To 2010
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationsLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2007, Vol.4407, p.210-+ [Peer Reviewed Journal]ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349Digital Resources/Online E-Resources |
| 2 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programsLecture Notes in Computer Science, 2005, Vol.3668, p.311-325 [Peer Reviewed Journal]ISSN: 0302-9743 ;ISBN: 354029208X ;ISBN: 9783540292081 ;EISSN: 1611-3349Digital Resources/Online E-Resources |
| 3 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphsLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2008, Vol.4915, p.8-22 [Peer Reviewed Journal]ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349Digital Resources/Online E-Resources |
| 4 |
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 |
| 5 |
Material Type: Thesises (postgraduate)
|
|
Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)Digital Resources/Online E-Resources |
| 6 |
Material Type: Article
|
|
Human Plasmodium knowlesi infections in young children in central VietnamMALARIA JOURNAL, 2009-10, Vol.8 (1) [Peer Reviewed Journal]cc_by ;ISSN: 1475-2875 ;EISSN: 1475-2875 ;DOI: 10.1186/1475-2875-8-249Full text available |
| 7 |
Material Type: Article
|
|
Bride of SilenceVariety, 2005-03, Vol.398 (3), p.43COPYRIGHT 2005 Penske Business Media, LLC ;COPYRIGHT 2005 Penske Business Media, LLC ;Copyright Reed Business Information, a division of Reed Elsevier, Inc. Mar 7-Mar 13, 2005 ;ISSN: 0042-2738Full text available |
| 8 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationPreproceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06), 2006, p.188-196Digital Resources/Online E-Resources |
| 9 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programsLogic Based Program Synthesis and Transformation, Pre-Proceedings, 2005, p.180-186Digital Resources/Online E-Resources |
| 10 |
Material Type: Conference Proceeding
|
|
Program specialisation as a preprocessing step for termination analysisWST 2006: Eighth International Workshop on Termination, 2006, p.7-11Digital Resources/Online E-Resources |
| 11 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphsPre-proceedings of LOPSTR07, 2007, p.12-26Digital Resources/Online E-Resources |
| 12 |
Material Type: Reports
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2009Digital Resources/Online E-Resources |
| 13 |
Material Type: Reports
|
|
Termination Analysis of Logic Programs based on Dependency GraphsCW Reports, 2007, p.15-15Digital Resources/Online E-Resources |
| 14 |
Material Type: Article
|
|
Human immunodeficiency virus (HIV) infection patterns and risk behaviours in different population groups and provinces in Viet NamBulletin of the World Health Organization, 2007-01, Vol.85 (1), p.35-41 [Peer Reviewed Journal]2007 INIST-CNRS ;COPYRIGHT 2007 World Health Organization ;Copyright World Health Organization Jan 2007 ;World Health Organization (WHO) 2007. All rights reserved. 2007 ;ISSN: 0042-9686 ;EISSN: 1564-0604 ;DOI: 10.2471/BLT.05.026153 ;PMID: 17242756 ;CODEN: BWHOA6Full text available |
| 15 |
Material Type: Article
|
|
Human Plasmodium knowlesi infections in young children in central VietnamMalaria journal, 2009-10, Vol.8 (1), p.249-249, Article 249 [Peer Reviewed Journal]Copyright © 2009 Eede et al; licensee BioMed Central Ltd. 2009 Eede et al; licensee BioMed Central Ltd. ;ISSN: 1475-2875 ;EISSN: 1475-2875 ;DOI: 10.1186/1475-2875-8-249 ;PMID: 19878553Full text available |
| 16 |
Material Type: Article
|
|
Human immunodeficiency virus (HIV) infection patterns and risk behaviours in different population groups and provinces in Viet NamBulletin of the World Health Organization, 2007-01, Vol.85 (1), p.35-41 [Peer Reviewed Journal]ISSN: 0042-9686 ;EISSN: 1564-0604 ;DOI: 10.1590/S0042-96862007000100010Full text available |
| 17 |
Material Type: Article
|
|
Partial mitochondrial DNA sequences suggest the existence of a cryptic species within the Leucosphyrus group of the genus Anopheles (Diptera: Culicidae), forest malaria vectors, in northern VietnamParasites & vectors, 2010-04, Vol.3 (1), p.41-41 [Peer Reviewed Journal]COPYRIGHT 2010 BioMed Central Ltd. ;Copyright ©2010 Takano et al; licensee BioMed Central Ltd. 2010 Takano et al; licensee BioMed Central Ltd. ;ISSN: 1756-3305 ;EISSN: 1756-3305 ;DOI: 10.1186/1756-3305-3-41 ;PMID: 20433694Full text available |
| 18 |
Material Type: Article
|
|
Plasmodium knowlesi malaria in Vietnam: some clarificationsMalaria journal, 2010-01, Vol.9 (1), p.20-20, Article 20 [Peer Reviewed Journal]COPYRIGHT 2010 BioMed Central Ltd. ;2010. This work is licensed under http://creativecommons.org/licenses/by/2.0 (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;Copyright ©2010 Eede et al; licensee BioMed Central Ltd. 2010 Eede et al; licensee BioMed Central Ltd. ;ISSN: 1475-2875 ;EISSN: 1475-2875 ;DOI: 10.1186/1475-2875-9-20 ;PMID: 20082717Full text available |
| 19 |
Material Type: Reports
|
|
Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2005Digital Resources/Online E-Resources |
| 20 |
Material Type: Article
|
|
Magnetic and sensitive magnetoelastic properties of Finemet nanostructured ribbonJournal of physics. Conference series, 2009-09, Vol.187 (1), p.012062 [Peer Reviewed Journal]Copyright IOP Publishing Sep 2009 ;ISSN: 1742-6596 ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/187/1/012062Digital Resources/Online E-Resources |
Results 1 - 20 of 67 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Creation Date
- Before 2003 (2)
- 2003 To 2004 (14)
- 2005 To 2006 (19)
- 2007 To 2009 (26)
- After 2009 (9)
-
More options
New Records
Resource Type
- Articles (45)
- Conference Proceedings (7)
- Reports (5)
- magazinearticle (5)
- Book Chapters (2)
- Newspaper Articles (1)
- Thesises (postgraduate) (1)
- Books (1)
-
More options
Subject
- Vietnam (16)
- Science & Technology (11)
- Life Sciences & Biomedicine (9)
- Vietnam - Epidemiology (5)
- Humans (5)
- Economic Conditions (5)
- Social Policy (4)
- Nationalism (4)
- Tropical Medicine (4)
- History (4)
- Parasitology (4)
- Infectious Diseases (4)
- Economic Development (4)
- Politics (4)
- Studies (4)
- Foreign Relations (4)
- International Relations (4)
- Telecommunications Industry (4)
- Alliances (3)
- Adult (3)
-
More options
Databases
- ProQuest Central (38)
- DOAJ Directory of Open Access Journals (17)
- Lirias (KU Leuven Association) (11)
- PubMed (Medline) (8)
- Geneva Foundation Free Medical Journals at publisher websites (8)
- ROAD: Directory of Open Access Scholarly Resources (6)
- MEDLINE (5)
- Springer Nature OA Free Journals (5)
- Ebook Central - Academic Complete (3)
- ProQuest One Psychology (2)
- HighWire Press (Free Journals) (1)
- arXiv.org (1)
- Free E- Journals (1)
- Institute of Physics Open Access Journal Titles (1)
- LSHTM Research Library (1)
- SciELO (1)
- SWEPUB Freely available online (1)
-
More options
Language
- English (57)
- Vietnamese (6)
- Japanese (2)
- Portuguese (1)
- Dutch (1)
- French (1)
- German (1)
-
More options
Journal Title
- Apctp-Asean Workshop On Advanced Materials Science And Nanotechnology (1)
- Bulletin Of The World Health Organization (2)
- Contemporary Southeast Asia (2)
- European Journal Of East Asian Studies (2)
- Journal Of Southeast Asian Studies (2)
- Malaria Journal (3)
- Southeast Asian Affairs (2)
- Tạp Chí Khoa Học Đại Học Cần Thơ (6)
- Tạp Chí Khoa Học Đại Học Mở Thành Phố Hồ Chí Minh - Khoa Học Xã Hội (2)
- Vietnam Investment Review (11)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||