Ngôn ngữ:
Kết quả 1 - 10 của 45 trong Tất cả tài nguyên
Chỉ hiển thị
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Bài báo
|
|
Taming electromagnetic metamaterials for isotropic perfect absorbersAIP advances, 2015-07, Vol.5 (7), p.077119-077119-8 [Tạp chí có phản biện]ISSN: 2158-3226 ;EISSN: 2158-3226 ;DOI: 10.1063/1.4926656Tài liệu số/Tài liệu điện tử |
| 2 |
Material Type: Bài báo
|
|
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 [Tạp chí có phản biện]ISSN: 2616-4760 ;EISSN: 2616-4760 ;DOI: 10.5455/jabet.2021.d102Tài liệu số/Tài liệu điện tử |
| 3 |
Material Type: Report
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 69540Tài liệu số/Tài liệu điện tử |
| 4 |
Material Type: Web Resource
|
|
Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sedimentsTài liệu số/Tài liệu điện tử |
| 5 |
Material Type: Luận văn/Luận án
|
|
|
| 6 |
Material Type: Kỷ yếu hội nghị
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 383200Tài liệu số/Tài liệu điện tử |
| 7 |
Material Type: Kỷ yếu hội nghị
|
|
Polytool: Proving termination automatically based on polynomial interpretationpublic 69543Tài liệu số/Tài liệu điện tử |
| 8 |
Material Type: Chương sách
|
|
Polytool: Proving Termination Automatically Based on Polynomial InterpretationsLogic-Based Program Synthesis and Transformation, p.210-218 [Tạp chí có phản biện]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_15Tài liệu số/Tài liệu điện tử |
| 9 |
Material Type: Bài báo
|
|
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/S1471068410000025Tài liệu số/Tài liệu điện tử |
| 10 |
Material Type: Report
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 86245Tài liệu số/Tài liệu điện tử |
Chủ đề của tôi
Refine Search Results
Mở rộng kết quả tìm kiếm
Chỉ hiển thị
Lọc kết quả
Năm xuất bản
- Trước2007 (7)
- 2007 đến 2009 (9)
- 2010 đến 2012 (6)
- 2013 đến 2019 (8)
- Sau 2019 (15)
-
Lựa chọn khác
Tài liệu mới
Dạng tài nguyên
- Bài báo (26)
- Kỷ yếu hội nghị (7)
- Book Chapters (5)
- Báo cáo thực tập (4)
- Web Resources (1)
- Sáng chế (1)
- Luận văn/Luận án (1)
-
Lựa chọn khác
Chủ đề
- Science & Technology (21)
- Life Sciences & Biomedicine (10)
- Technology (10)
- Computer Science (9)
- Computer Science, Theory & Methods (7)
- Computer Science, Software Engineering (5)
- Humans (5)
- Pregnancy (4)
- Female (4)
- Termination Analysis (4)
- Polynomial Interpretations (4)
- General & Internal Medicine (4)
- Medicine, General & Internal (4)
- Acceptability (3)
- Environmental Sciences & Ecology (3)
- Environmental Sciences (3)
- Adult (3)
- Science & Technology - Other Topics (3)
- Vietnam (3)
- Logic Programming (3)
-
Lựa chọn khác
Cơ sở dữ liệu
- ProQuest Central (12)
- 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)
- Public Library of Science (PLoS) (1)
- Freely Accessible Journals (1)
-
Lựa chọn khác
Nhan đề tạp chí
- Aip Advances (1)
- Annals Of Medicine And Surgery (1)
- arXiv.org (1)
- Communications In Physics (4)
- Electronic Journal Of General Medicine (1)
- Environmental Microbiology (2)
- Environmental Science And Pollution Research (1)
- Environmental Science And Pollution Research International (1)
- Medicine (2)
- Theory And Practice Of Logic Programming (2)
-
Lựa chọn khác
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||