1.  Monographie A first course in formal logic and its applications in computer science / R. D. Dowsing, V. J. Rayward-Smith, C. D. WalterType de document: Monographie. Collection: Computer science texts Éditeur: Oxford : Blackwell, 1986 Disponibilité: Pour le prêt: CMI[03 DOW] (1). Actions: Add to Cart
2.  Monographie A practical introduction to denotational semantics / Lloyd AllisonType de document: Monographie.Collection: Cambridge computer science texts ; 23Éditeur: Cambridge : Cambridge University Press, 1986 Disponibilité: Pour le prêt: CMI[68 ALL] (1). Actions: Add to Cart
3.  Monographie A programming approach to computability / A. J. Kfoury, Robert N. Moll, Michael A. ArbibType de document: Monographie. Collection: Texts and monographs in computer science Éditeur: New York : Springer-Verlag, 1982 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 KFO] (1). Actions: Add to Cart
4.  Monographie An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A. J. KfouryType de document: Monographie. Collection: Texts and monographs in computer science Éditeur: New York : Springer-Verlag, 1988 Disponibilité: Pour le prêt: CMI[68 MOL] (1). Actions: Add to Cart
5.  Monographie An introduction to Kolmogorov complexity and its applications / Ming Li, Paul VitanyiType de document: Monographie. Collection: Graduate texts in computer science Éditeur: New York : Springer, 1997 Disponibilité: Pour le prêt: CMI[68 LI] (1). Actions: Add to Cart
6.  Monographie Automata and computability / Dexter C. KozenType de document: Monographie. Collection: Undergraduate texts in computer science Éditeur: New York : Springer, 1997 Disponibilité: Pour le prêt: CMI[68 KOZ] (1). Actions: Add to Cart
7.  Monographie Boolean functions and computation models / Peter Clote, Evangelos KranakisType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer, 2002 Disponibilité: Pour le prêt: CMI[94 CLO] (1). Actions: Add to Cart
8.  Monographie Communication complexity and parallel computing / Juraj HromkovicType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer, 1997 Disponibilité: Pour le prêt: CMI[68 HRO] (1). Actions: Add to Cart
9.  Monographie Computational geometry : an introduction / Franco P. Preparata, Michael Ian ShamosType de document: Monographie. Collection: Texts and monographs in computer science Éditeur: New York : Springer, 1985 Disponibilité: Pour le prêt: CMI[68 PRE] (1). Actions: Add to Cart
10.  Monographie Elements of finite model theory / Leonid LibkinType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer, 2004Disponibilité: Pas de copie disponible Lost (1). Actions: Add to Cart
11.  Monographie Elements of functional languages / Martin C. HensonType de document: Monographie. Collection: Computer science texts Éditeur: Oxford : Blackwell, 1987 Disponibilité: Pour le prêt: CMI[68 HEN] (1). Actions: Add to Cart
12.  Monographie Extremal combinatorics : with applications in computer science / Stasys JuknaType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer, 2001 Disponibilité: Pour le prêt: CMI[05 JUK] (1). Actions: Add to Cart
13.  Monographie Information and randomness : an algorithmic perspective / Cristian S. CaludeType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer-Verlag, 2002 Disponibilité: Pour le prêt: CMI[68 CAL] (1). Actions: Add to Cart
14.  Monographie Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot, Pierre CastéranType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer-Verlag, 2004 Disponibilité: Pour le prêt: CMI[68 BER] (1). Actions: Add to Cart
15.  Monographie Introduction to circuit complexity : a uniform approach / Heribert VollmerType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer-Verlag, 1999 Disponibilité: Pour le prêt: CMI[68 VOL] (1). Actions: Add to Cart
16.  Monographie Public-key cryptography / Arto SalomaaType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer, 1996 Disponibilité: Pour le prêt: CMI[68 SAL] (1). Actions: Add to Cart
17.  Monographie Software reliability methods / Doron A. PeledType de document: Monographie. Collection: Texts in computer science Éditeur: New York : Springer, 2001 Disponibilité: Pour le prêt: CMI[68 PEL] (2). Actions: Add to Cart
18.  Monographie Structural complexity. I / José Luis Balcazar, Josep Diaz, Joaquim GabarroType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer-Verlag, 1995 Disponibilité: Pour le prêt: CMI[68 BAL] (1). Actions: Add to Cart
19.  Monographie The complexity theory companion / Lane A. Hemaspaandra, Mitsunori OgiharaType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer-Verlag, 2002 Disponibilité: Pour le prêt: CMI[68 HEM] (1). Actions: Add to Cart
20.  Monographie The science of programming / David GriesType de document: Monographie. Collection: Texts and monographs in computer science Éditeur: New York : Springer-Verlag, 1981 Disponibilité: Pour le prêt: CMI[68 GRI] (1). Actions: Add to Cart
21.  Monographie Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication and cryptography / Juraj HromkovicType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer, 2004 Disponibilité: Pour le prêt: CMI[68 HRO] (1). Actions: Add to Cart
22.  Monographie Universal artificial intelligence : sequential decisions based on algorithmic probability / Marcus HutterType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer, 2005 Disponibilité: Pour le prêt: CMI[68 HUT] (2). Actions: Add to Cart
23.  Monographie Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger OlderogType de document: Monographie. Collection: Texts and monographs in computer science Éditeur: New York : Springer-Verlag, 1991 Disponibilité: Pour le prêt: CMI[68 APT] (1). Actions: Add to Cart
Languages: English | Français | |