Suchergebnisse für ""Zhaohui Luo""
4 Artikel gefunden
Suchfilter
Cover Computation and Reasoning - A Type Theory for Computer Science
Zhaohui Luo, Zhaohui …
Computation and Reasoning - A Type …
Buch

108,99 €
Cover Formal Semantics in Modern Type Theories (eBook, ePUB)
Stergios …
Formal Semantics in Modern Type …
eBook

139,99 €
Cover Formal Semantics in Modern Type Theories (eBook, PDF)
Stergios …
Formal Semantics in Modern Type …
eBook

139,99 €
Cover Types for Proofs and Programs
Paul Callaghan / …
Types for Proofs and Programs
Buch

39,99 €

Ähnliche Artikel

Cover Handbook of Logic in Computer Science
Abramsky, Gabbay, …
Handbook of Logic in Computer Science
Buch

481,99 €
Cover Handbook of Logic in Computer Science
Samson Abramsky, T S …
Handbook of Logic in Computer Science
Buch

481,99 €
Cover Computable Models
Raymond Turner 
Computable Models
Buch

52,99 €
Cover The Domain Theory in Computer Science
 
The Domain Theory in Computer Science
Buch

168,99 €
Cover The Pillars of Computation Theory
Arnold L. …
The Pillars of Computation Theory
Buch

38,99 €
Cover Advances in Modal Logic, Volume 3
 
Advances in Modal Logic, Volume 3
Buch

139,99 €
Cover Computable Models
Raymond Turner 
Computable Models
Buch

38,99 €
Cover Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, …
Abstraction, Refinement and Proof for …
Buch

113,99 €
Cover What Is a Logical System?
D. M. Gabbay …
What Is a Logical System?
Buch

220,99 €
Cover Fibring Logics
Dov M Gabbay 
Fibring Logics
Buch

157,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON

Filter