20 Results 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:
New Records:
New From Last Month
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Predictors of persistent postpartum hypertension among women with hypertensive disorders of pregnancy: A prospective cohort studyClinical epidemiology and global health, 2024-07, Vol.28, p.101650, Article 101650 [Peer Reviewed Journal]2024 The Authors ;ISSN: 2213-3984 ;EISSN: 2213-3984 ;DOI: 10.1016/j.cegh.2024.101650Full text available |
| 2 |
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]ISSN: 1471-0684 ;EISSN: 1475-3081Full text available |
| 3 |
Material Type: Article
|
|
Retrosternal herniation of transverse colon following minimal invasive esophagectomy causing dysphagia: A case reportInternational journal of surgery case reports, 2024-07, Vol.120, p.109804, Article 109804 [Peer Reviewed Journal]2024 The Authors ;Copyright © 2024. Published by Elsevier Ltd. ;ISSN: 2210-2612 ;EISSN: 2210-2612 ;DOI: 10.1016/j.ijscr.2024.109804 ;PMID: 38796940Full text available |
| 4 |
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 |
| 5 |
Material Type: Article
|
|
Synthesis, structure and in vitro cytotoxicity testing of some 1,3,4-oxadiazoline derivatives from 2-hydroxy-5-iodobenzoic acidACTA CRYSTALLOGRAPHICA SECTION C-STRUCTURAL CHEMISTRY, 2018-07, Vol.74 (Pt 7), p.839-+ [Peer Reviewed Journal]ISSN: 2053-2296 ;EISSN: 2053-2296Full text available |
| 6 |
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 |
| 7 |
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 |
| 8 |
Material Type: Thesises (postgraduate)
|
|
Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)Digital Resources/Online E-Resources |
| 9 |
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 |
| 10 |
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 |
| 11 |
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 |
| 12 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphsPre-proceedings of LOPSTR07, 2007, p.12-26Digital Resources/Online E-Resources |
| 13 |
Material Type: Reports
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2009Digital Resources/Online E-Resources |
| 14 |
Material Type: Reports
|
|
Termination Analysis of Logic Programs based on Dependency GraphsCW Reports, 2007, p.15-15Digital Resources/Online E-Resources |
| 15 |
Material Type: Article
|
|
Crystal structure of (E)-N '-[1-(4-aminophenyl)-ethylidene]-2-hydroxy-5-iodobenzohydrazide methanol monosolvateACTA CRYSTALLOGRAPHICA SECTION E-CRYSTALLOGRAPHIC COMMUNICATIONS, 2018-07, Vol.74 (Pt 7), p.910-+ [Peer Reviewed Journal]ISSN: 2056-9890 ;EISSN: 2056-9890Full text available |
| 16 |
Material Type: Article
|
|
Crystal structure of 4-amino-3-(thiophen-3-yl-methyl)-1H-1,2,4-triazole-5(4H)-thioneActa Crystallographica E, Structure Reports Online, 2017, Vol.73 (Pt 9), p.1389 [Peer Reviewed Journal]ISSN: 2056-9890 ;EISSN: 2056-9890Full text available |
| 17 |
Material Type: Article
|
|
Green synthesis and crystal structure of 3-(benzothiazol-2-yl)thiopheneActa Crystallographica E, Structure Reports Online, 2017, Vol.73 (Pt 11), p.1647 [Peer Reviewed Journal]ISSN: 2056-9890 ;EISSN: 2056-9890Full text available |
| 18 |
Material Type: Reports
|
|
Retrosternal herniation of transverse colon following minimal invasive esophagectomy causing dysphagia: A case reportInternational journal of surgery case reports, 2024, Vol.120, p.109804-109804ISSN: 2210-2612 ;EISSN: 2210-2612 ;DOI: 10.1016/j.ijscr.2024.109804Full 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: Book Chapter
|
|
Law and Development in 'The Market Place': An East Asian perspectiveLaw, Capitalism and Power in Asia, 1999, p.100-1271999 Selection and editorial matter Kanishka Jayasuriya; individual chapters © the contributors ;ISBN: 9780415197434 ;ISBN: 0415197430 ;ISBN: 9780415197427 ;ISBN: 0415197422 ;EISBN: 1134738269 ;EISBN: 9780203015278 ;EISBN: 9781134738250 ;EISBN: 1134738250 ;EISBN: 9781134738267 ;EISBN: 0203015274 ;DOI: 10.4324/9780203015278-6Full text available |
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Creation Date
- Before 2005 (2)
- 2005 To 2006 (5)
- 2007 To 2008 (4)
- 2009 To 2017 (5)
- After 2017 (5)
-
More options
Resource Type
- Conference Proceedings (7)
- Articles (7)
- Reports (4)
- Thesises (postgraduate) (1)
- Book Chapters (1)
-
More options
Subject
- Hypertensive Disorders Of Pregnancy (1)
- Transverse Colon (1)
- Persistent Postpartum Hypertension (1)
- Esophagectomy (1)
- Predictors (1)
- Herniation (1)
- Case Reports (1)
- Substernal (1)
-
More options
Databases
Language
- English (19)
- Dutch (1)
-
More options
Journal Title
- Acta Crystallographica E, Structure Reports Online (2)
- Acta Crystallographica Section C-Structural Chemistry (1)
- Acta Crystallographica Section E-Crystallographic Communications (1)
- Clinical Epidemiology And Global Health (1)
- International Journal Of Surgery Case Reports (1)
- Theory And Practice Of Logic Programming (1)
-
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 | ||