17 Results for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Archival Material / Manuscripts
|
|
Review of: Combinatorics of Permutations by Miklós BónaDigital Resources/Online E-Resources |
| 2 |
Material Type: Archival Material / Manuscripts
|
|
|
| 3 |
Material Type: Archival Material / Manuscripts
|
|
Notions of Computation Determine MonadsISSN: 0302-9743 ;EISSN: 1611-3349Digital Resources/Online E-Resources |
| 4 |
Material Type: Archival Material / Manuscripts
|
|
Computational effects and operations: an overviewDigital Resources/Online E-Resources |
| 5 |
Material Type: Archival Material / Manuscripts
|
|
Adequacy for Algebraic EffectsDigital Resources/Online E-Resources |
| 6 |
Material Type: Archival Material / Manuscripts
|
|
Bialgebraic Semantics and RecursionDigital Resources/Online E-Resources |
| 7 |
Material Type: Archival Material / Manuscripts
|
|
|
| 8 |
Material Type: Archival Material / Manuscripts
|
|
Logical Full Abstraction and PCFDigital Resources/Online E-Resources |
| 9 |
Material Type: Archival Material / Manuscripts
|
|
From Action Calculi to Linear LogicISSN: 0302-9743 ;EISSN: 1611-3349Digital Resources/Online E-Resources |
| 10 |
Material Type: Archival Material / Manuscripts
|
|
|
| 11 |
Material Type: Archival Material / Manuscripts
|
|
An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPCDigital Resources/Online E-Resources |
| 12 |
Material Type: Archival Material / Manuscripts
|
|
Concrete DomainsDigital Resources/Online E-Resources |
| 13 |
Material Type: Archival Material / Manuscripts
|
|
A Semantics for Static Type InferenceDigital Resources/Online E-Resources |
| 14 |
Material Type: Archival Material / Manuscripts
|
|
On Functors Expressible in the Polymorphic Typed Lambda CalculusDigital Resources/Online E-Resources |
| 15 |
Material Type: Archival Material / Manuscripts
|
|
Review of: Discrete Mathematics by Lászlo Lovász, Józef Pelikán, and Katalin K. VesztergombiDigital Resources/Online E-Resources |
| 16 |
Material Type: Archival Material / Manuscripts
|
|
Review of: Advances in Dynamic Equations on Time Scales by Martin Bohner and Allan PetersonDigital Resources/Online E-Resources |
| 17 |
Material Type: Archival Material / Manuscripts
|
|
Review of: Graph Theory by Reinhard DiestelDigital Resources/Online E-Resources |
Personalize your results
Refine Search Results
Expand My Results
Refine My Results
Creation Date
- Before 1994 (3)
- 1994 To 1997 (2)
- 1998 To 1999 (2)
- 2000 To 2002 (6)
- After 2002 (4)
-
More options
Subject
- Laboratory For Foundations Of Computer Science (13)
- Mathematics And Computer Science (4)
- Reviews (3)
- Nonfiction (3)
- Katalin K (1)
- Graph Theory (1)
- Laszlo (1)
- Mathematics (1)
- Pelikan (1)
- Combinatorics (1)
- Allan (1)
- Equations (1)
- Lovasz (1)
- Permutations (1)
- Diestel (1)
- Bohner (1)
- Josef (1)
- Martin (1)
- Discrete Mathematics (1)
- Advances In Dynamic Equations On Time Scales (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 | ||