10 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:
resource type:
Conference Proceedings
| 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 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 |
| 2 |
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 |
| 3 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphspublic 528673 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-78769-3_2Digital Resources/Online E-Resources |
| 4 |
Material Type: Conference Proceeding
|
|
The Optical DisdrometerThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2017, p.28Digital Resources/Online E-Resources |
| 5 |
Material Type: Conference Proceeding
|
|
Device for measuring parameters of the meteorological precipitationThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2017, p.1Digital Resources/Online E-Resources |
| 6 |
Material Type: Conference Proceeding
|
|
Inter-Carrier Interference suppression combined with channel estimation for mobile OFDM systemThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2016, p.61Digital Resources/Online E-Resources |
| 7 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationpublic 69543Digital Resources/Online E-Resources |
| 8 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 383200Digital Resources/Online E-Resources |
| 9 |
Material Type: Conference Proceeding
|
|
Program specialisation as a preprocessing step for termination analysispublic 69544; 352615Digital Resources/Online E-Resources |
| 10 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphspublic 69542Digital Resources/Online E-Resources |
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Creation Date
- Before 2005 (1)
- 2005 To 2005 (2)
- 2006 To 2006 (2)
- 2007 To 2008 (3)
- After 2008 (3)
-
More options
Subject
- Rain (2)
- Computer Science (2)
- Diaphragms (2)
- Computer Science, Theory & Methods (2)
- Precipitation (2)
- Polynomial Interpretations (2)
- Science & Technology (2)
- Laboratory Tests (2)
- Technology (2)
- Photodiodes (2)
- Computer Science, Software Engineering (1)
- Acceptability (1)
- Mathematical Analysis (1)
- Proofs (1)
- Pair Framework (1)
- Parameter Estimation (1)
- Hail (1)
- Logic Programs (1)
- Measuring Instruments (1)
- Optical Components (1)
-
More options
Databases
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||