Search Results facets
Search Results List
0
selected titles
Reached limit!
Clear basket
Search result number | Book jacket cover art | Item details and Actions | ||||||||
---|---|---|---|---|---|---|---|---|---|---|
31. |
|
Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings
![]()
|
||||||||
32. |
|
Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings
![]()
|
||||||||
33. |
|
Abstraction, Refinement and Proof for Probabilistic Systems
![]()
|
||||||||
34. |
|
Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings
![]()
|
||||||||
35. |
|
Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
![]()
|
||||||||
36. |
|
Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
![]()
|
||||||||
37. |
|
Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings
![]()
|
||||||||
38. |
|
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
![]()
|
||||||||
39. |
|
Transactions on Petri Nets and Other Models of Concurrency VII
![]()
|
||||||||
40. |
|
Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
![]()
|