1.  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
2.  Monographie Algorithms in invariant theory / Bernd SturmfelsType de document: Monographie. Collection: Texts and monographs in symbolic computation Éditeur: Wien : Springer-Verlag, 1993 Disponibilité: Pour le prêt: CMI[13 STU] (1). Actions: Add to Cart
3.  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
4.  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
5.  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
6.  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
7.  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
8.  Monographie The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates / Manuel Kauers, Peter PauleType de document: Monographie. Collection: Texts and monographs in symbolic computation Éditeur: Wien : Springer, cop. 2011En-ligne: Sommaire | Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[05 KAU] (1). Actions: Add to Cart
9.  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
10.  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 | |