Results 101 - 117 of 117 for All Library Resources
Sorted by:
Sorted by:
Date-newestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 101 |
Material Type: Thesises (postgraduate)
|
|
Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)Digital Resources/Online E-Resources |
| 102 |
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 |
| 103 |
Material Type: Newspaper Article
|
|
Exquisite portrait of Vietnam: ONT EditionToronto star, 2007-07-06Copyright (c) 2007 Toronto Star. All Rights Reserved. ;ISSN: 0319-0781Digital Resources/Online E-Resources |
| 104 |
Material Type: Reports
|
|
Termination Analysis of Logic Programs based on Dependency GraphsCW Reports, 2007, p.15-15Digital Resources/Online E-Resources |
| 105 |
Material Type: Newsletter Article
|
|
Results of men's 62kg at Asian Weightlifting ChampionshipsXinhua News Agency - CEIS, 2007, p.1Copyright Xinhua News Agency Apr 22, 2007Digital Resources/Online E-Resources |
| 106 |
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 |
| 107 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphsPre-proceedings of LOPSTR07, 2007, p.12-26Digital Resources/Online E-Resources |
| 108 |
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 |
| 109 |
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 |
| 110 |
Material Type: Reports
|
|
Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2005Digital Resources/Online E-Resources |
| 111 |
Material Type: Article
|
|
Police nab crafty steel thieves in building scamVietnam investment review, 2005-03 (699), p.18COPYRIGHT 2005 Vietnam Investment Review Ltd. ;ISSN: 1021-318X ;EISSN: 1607-3576Full text available |
| 112 |
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 |
| 113 |
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 |
| 114 |
Material Type: magazinearticle
|
|
Cost cuts to fuel boom in mobile sectorVietnam investment review, 2004-07ISSN: 1021-318X ;EISSN: 1607-3576Full text available |
| 115 |
Material Type: magazinearticle
|
|
Fees freedom sparks spatVietnam investment review, 2004-03ISSN: 1021-318X ;EISSN: 1607-3576Full text available |
| 116 |
Material Type: Book Chapter
|
|
The Dependency Triple Framework for Termination of Logic ProgramsLogic-Based Program Synthesis and Transformation, p.37-51 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 0302-9743 ;ISBN: 3642125913 ;ISBN: 9783642125911 ;EISSN: 1611-3349 ;EISBN: 9783642125928 ;EISBN: 3642125921 ;DOI: 10.1007/978-3-642-12592-8_4Digital Resources/Online E-Resources |
| 117 |
Material Type: Web Resources
|
|
Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sedimentsDigital Resources/Online E-Resources |
Results 101 - 117 of 117 for All Library Resources
Sorted by:
Sorted by:
Date-newestOr 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 2007 (9)
- 2007 To 2010 (10)
- 2011 To 2015 (13)
- 2016 To 2020 (47)
- After 2020 (38)
-
More options
New Records
Resource Type
- Newsletter Articles (35)
- Newspaper Articles (33)
- Articles (30)
- Conference Proceedings (7)
- Reports (5)
- magazinearticle (3)
- Book Chapters (1)
- Patents (1)
- Thesises (postgraduate) (1)
- Web Resources (1)
-
More options
Subject
- Investments (21)
- Science & Technology (16)
- Construction (16)
- Joint Stock Companies (15)
- Earnings Per Share (10)
- Life Sciences & Biomedicine (10)
- Profit Margins (10)
- Equity (10)
- Corporate Profits (10)
- Stock Exchanges (9)
- Boards Of Directors (8)
- Stockholders (8)
- Dividends (7)
- Present Value (7)
- Technology (7)
- Labor Unions (7)
- Chief Executive Officers (6)
- Employees (6)
- Capital Gains (6)
- Corporate Profiles (5)
-
More options
Databases
- ProQuest Central (88)
- Lirias (KU Leuven Association) (12)
- DOAJ Directory of Open Access Journals (9)
- ROAD: Directory of Open Access Scholarly Resources (8)
- PubMed Central (7)
- MEDLINE (7)
- Journals@Ovid Open Access Journal Collection Rolling (4)
- GFMER Free Medical Journals (2)
- IngentaConnect Free/Open Access Journals (2)
- Wolters Kluwer Open Health (2)
- esp@cenet (1)
- Cambridge Wholly Gold Open Access Journals (1)
- arXiv.org (1)
- Europeana Collections (1)
- Free E- Journals (1)
- Public Library of Science (1)
-
More options
Language
- English (116)
- Japanese (2)
- Dutch (1)
- German (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 | ||