201.  Monographie Codes and cryptography / Dominic WelshType de document: Monographie.Éditeur: Oxford : Clarendon Press, 1989 Disponibilité: Pour le prêt: CMI[94 WEL] (1). Actions: Add to Cart
202. Thèse Codes correcteurs d'erreurs à haut pouvoir de correction / Nicolas SendrierType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1991 Disponibilité: Pour le prêt: CMI[Thèses SEN] (1). Actions: Add to Cart
203.  Monographie La cohérence dans les bases de connaissances / Marc Ayel, Marie-Christine RoussetType de document: Monographie. Collection: Intelligence artificielle Éditeur: Toulouse : Cépaduès, 1990 Disponibilité: Pour le prêt: CMI[68 AYE] (1). Actions: Add to Cart
204. Article La cohérence des expressions en VAT 70 / André Arnold Type de document: Article.Collection: Publications du laboratoire de calcul de l'Université des sciences et techniques de Lille ; 23Éditeur: Lille : Université des Sciences et Techniques de Lille, 1970 Disponibilité: Pour le prêt: CMI[Publications LIL] (2). Actions: Add to Cart No cover image available
205.  Monographie Coherent systems / Karl SchlechtaType de document: Monographie.Collection: Studies in logic and practical reasoning ; 2Éditeur: Amsterdam : Elsevier, 2004En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[03 SCH] (1). Actions: Add to Cart
206.  Congrès Colloque d'algèbre : 20-24 mai 1985 . Fascicule 4 / Institut de recherche mathématique de Rennes, Université de Rennes IType de document: Congrès. Collection: Publications de l'Institut de recherche de mathématiques de Rennes Éditeur: Rennes : IRMAR, 1985 Disponibilité: Pour le prêt: CMI[Séminaires REN] (1). Actions: Add to Cart No cover image available
207.  Congrès Colloque sur l'histoire de l'informatique en France : Grenoble 3 - 5 mai, 1988. Volume 1 / P. ChatelinType de document: Congrès.Éditeur: Grenoble : Philippe Chatelin, 1988 Disponibilité: Pour le prêt: CMI[68-06 CHA] (1). Actions: Add to Cart
208.  Congrès Colloque sur l'histoire de l'informatique en France : Grenoble 3 - 5 mai, 1988. Volume 2 / P. ChatelinType de document: Congrès.Éditeur: Grenoble : Philippe Chatelin, 1988 Disponibilité: Pour le prêt: CMI[68-06 CHA] (1). Actions: Add to Cart
209. Thèse Combinatoire des structures de données / par Jean FrançonType de document: Thèse.Collection: Publication de l'Institut de recherche mathématique avancée. Séries de mathématiques pures et appliquées, Thèses d'EtatÉditeur: Strasbourg : IRMA, 1979 Disponibilité: Pour le prêt: CMI[Thèses FRA] (1). Actions: Add to Cart No cover image available
210.  Monographie Combinatorial algorithms for computers and calculators / Albert Nijenhuis and Herbert S. WilfType de document: Monographie. Collection: Computer science and applied mathematics Éditeur: Orlando : Academic Press, 1978 Disponibilité: Pour le prêt: CMI[68 NIJ] (1). Actions: Add to Cart
211.  Monographie Combinatorial optimization : algorithms and complexity / Christos H. Papadimitriou, Kenneth SteiglitzType de document: Monographie.Éditeur: Englewood : Prentice-Hall, 1982 Disponibilité: Pour le prêt: CMI[90 PAP] (1). Actions: Add to Cart
212. Livre numérique Combinatorics of Coxeter groups / Anders Björner, Francesco BrentiType de document: Livre numérique.Collection: Graduate texts in mathematics ; 231Éditeur: New York : Springer, cop. 2005En-ligne: Springerlink | zbMath | MSNDisponibilité: Pas de copie disponible Actions: Add to Cart
213.  Monographie Combinatorics on words / M. LothaireType de document: Monographie.Collection: Encyclopedia of mathematics and its applications ; 17Éditeur: Reading : Addison-Wesley, 1983 Disponibilité: Pour le prêt: CMI[20 LOT] (1). Actions: Add to Cart
214. Thèse Commande des variables dans une situation didactique pour provoquer l'élargissement de procédures en vue d'étudier le rôle du schéma / Annie Bessot, Françoise RichardType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1979 Disponibilité: Pour le prêt: CMI[Thèses BES] (1). Actions: Add to Cart No cover image available
215.  Monographie Communicating and mobile systems : the [pi]-calculus / Robin MilnerType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 1999 Disponibilité: Pour le prêt: CMI[68 MIL] (1). Actions: Add to Cart
216.  Monographie Communicating sequential processes / C. A. R. HoareType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Hempstead : Prentice-Hall, 1985 Disponibilité: Pour le prêt: CMI[68 HOA] (1). Actions: Add to Cart
217.  Monographie Communication and concurrency / Robin MilnerType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1989 Disponibilité: Pour le prêt: CMI[68 MIL] (1). Actions: Add to Cart
218.  Monographie Communication complexity / Eyal Kushilevitz, Noam NisanType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 1997 En-ligne: Aperçu Google 2006 Disponibilité: Pour le prêt: CMI[68 KUS] (1). Actions: Add to Cart
219.  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
220. Article Communication protocols in multiprocessor system / A. Arnold, B. DegrendelType de document: Article.Collection: Publications du laboratoire de calcul de l'Université des sciences et techniques de Lille ; 80Éditeur: Lille : Université des Sciences et Techniques de Lille, 1977 Disponibilité: Pour le prêt: CMI[Publications LIL] (1). Actions: Add to Cart No cover image available
221.  Monographie Compilateurs : principes, techniques et outils / Alfred V. Aho, Ravi Sethi, Jeffrey D. UllmanType de document: Monographie.Éditeur: Paris : InterEditions, 1989 Disponibilité: Pour le prêt: CMI[68 AHO] (1). Lost (1). Actions: Add to Cart
222. Thèse Compilation de programmes TYPOL par attributs sémantiques / Isabelle AttaliType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses ATT] (1). Actions: Add to Cart
223. Thèse Compilation et vérification de programmes LOTOS / par Hubert GaravelType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses GAR] (2). Actions: Add to Cart
224.  Monographie Compiler construction : theory and practice / William A. Barrett, ... [et al.]Type de document: Monographie.Éditeur: Chicago : Science Research Associates, 1986 Disponibilité: Pour le prêt: CMI[68 BAR] (2). Actions: Add to Cart
225.  Monographie Compiler construction : an advanced course / F. L. Bauer, F. L. De Remer, A. P. Ershov... [et al.]Type de document: Monographie.Éditeur: New York : Springer-Verlag, 1976 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68 BAU] (1). Actions: Add to Cart
226.  Congrès Compiler construction : 4th international conference, CC '92, Paderborn, Germany, October 5-7, 1992 proceedings / U. Kastens, P. PfahlerType de document: Congrès.Collection: Lecture notes in computer science ; 641Éditeur: Berlin : Springer-Verlag, 1992 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 KAS] (1). Actions: Add to Cart
227.  Monographie Compilers : principles, techniques and tools / Alfred V. Aho, Ravi Sethi, Jeffrey D. UllmanType de document: Monographie.Éditeur: Reading, MA : Addison-Wesley, 1986 Disponibilité: Pour le prêt: CMI[68 AHO] (1). Actions: Add to Cart
228.  Monographie Compiling with continuations / Andrew W. AppelType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 1992 Disponibilité: Pour le prêt: CMI[68 APP] (1). Actions: Add to Cart
229.  Monographie Complements of discriminants of smooth maps : topology and applications / V. A. VassilievType de document: Monographie.Collection: Translations of mathematical monographs ; 98Éditeur: Providence : American Mathematical Society, 1992En-ligne: Zentralblatt | MathSciNet | AMS Disponibilité: Pour le prêt: CMI[55 VAS] (1). Actions: Add to Cart
230.  Monographie Complements of discriminants of smooth maps : topology and applications / V. A. VassilievType de document: Monographie.Collection: Translations of mathematical monographs ; 98Éditeur: Providence : American Mathematical Society, 1994En-ligne: Zentralblatt | MathSciNet | AMS Disponibilité: Pour le prêt: CMI[55 VAS] (1). Actions: Add to Cart
231.  Monographie Complexité algorithmique et problèmes de communications / J.-P. Barthélemy, G. Cohen, A. LobsteinType de document: Monographie. Collection: Collection technique et scientifique des télécommunications Éditeur: Paris : Masson, 1992 Disponibilité: Pour le prêt: CMI[68 BAR] (1). Actions: Add to Cart
232.  Monographie Complexité et décidabilité / Patrick DehornoyType de document: Monographie.Collection: Mathématiques et applications ; 12Éditeur: Paris : Springer, 1993En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[Séries SMA] (2). Actions: Add to Cart
233. Thèse Complexité structurelle et algorithmique des pavages et des automates cellulaires / par Julien CervelleType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2002 Disponibilité: Pour le prêt: CMI[Thèses CER] (1). Actions: Add to Cart No cover image available
234.  Monographie Complexity and real computation / Lenore Blum, Felipe Cucker, Michael Shub, ...[et al.]Type de document: Monographie.Éditeur: New York : Springer-Verlag, 1998 Disponibilité: Pour le prêt: CMI[68 BLU] (1). Actions: Add to Cart
235.  Monographie Complexity classifications of Boolean constraint satisfaction problems / Nadia Creignou, Sanjeev Khanna, Madhu SudanType de document: Monographie.Collection: SIAM monographs on discrete mathematics and applications ; 7Éditeur: Philadelphia : Society for Industrial and Applied Mathematics, 2001 Disponibilité: Pour le prêt: CMI[68 CRE] (1). Actions: Add to Cart
236.  Monographie Complexity of robot motion planning / John CannyType de document: Monographie. Collection: ACM doctoral dissertation awards Éditeur: Cambridge (Mass.) : MIT Press, cop. 1988En-ligne: MIT Press | MathSciNet Disponibilité: Pour le prêt: CMI[68 CAN] (1). Actions: Add to Cart
237. Thèse Composition de phrases assistée : un système d'aide à la communication pour handicapés / Nathalie RichardetType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1998 Disponibilité: Pour le prêt: CMI[Thèses RIC] (1). Actions: Add to Cart No cover image available
238. Thèse La compréhension de programmes informatiques par l'expert : un modèle en termes de schémas / par Françoise DétienneType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1986 Disponibilité: Pour le prêt: CMI[Thèses DET] (1). Actions: Add to Cart
239.  Monographie Comprendre les méthodes formelles : panorama et outils logiques / Jean-François MoninType de document: Monographie. Collection: Collection technique et scientifique des télécommunications Éditeur: Paris : Masson, 1996 Disponibilité: Pour le prêt: CMI[68 MON] (1). Actions: Add to Cart
240.  Monographie Compressed sensing : theory and applications / edited by Yonina C. Eldar, Gitta KutyniokType de document: Monographie.Éditeur: New York : Cambridge University Press, cop. 2012 En-ligne: CUP Disponibilité: Pour le prêt: CMI[94 ELD] (1). Actions: Add to Cart
241.  Monographie La compression de données : texte, images, sons / Mark NelsonType de document: Monographie. Collection: Science informatique Éditeur: Paris : Dunod, 1993 Disponibilité: Pour le prêt: CMI[68 NEL] (1). Actions: Add to Cart
242.  Monographie Computability and complexity : from a programming perspective / Neil D. JonesType de document: Monographie. Collection: Foundations of computing Éditeur: Cambridge : MIT Press, 1997 Disponibilité: Pour le prêt: CMI[68 JON] (1). Actions: Add to Cart
243.  Monographie Computability and Randomness / André NiesType de document: Monographie.Collection: Oxford logic guides ; 51Éditeur: Oxford : Oxford University Press, 2009 Disponibilité: Pour le prêt: CMI[03 NIE] (1). Actions: Add to Cart
244.  Monographie Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Elaine J. WeyukerType de document: Monographie. Collection: Computer science and applied mathematics Éditeur: San Diego : Academic Press, 1983 Disponibilité: Pour le prêt: CMI[03 DAV] (1). Actions: Add to Cart
245. Livre numérique Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. part II / M. M. Richter, E. Börger, W. Oberschelp... [et al.]Type de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1104Éditeur: Berlin : Springer-Verlag, 1984 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
246.  Monographie Computation structures / Stephen A. Ward, Robert H. Halstead, JrType de document: Monographie. Collection: The Mit electrical engineering and computer science series Éditeur: Cambridge : MIT Press, 1997 Disponibilité: Pour le prêt: CMI[68 WAR] (1). Actions: Add to Cart
247.  Congrès Computational algebraic geometry / Frédéric Eyssette, André GalligoType de document: Congrès.Collection: Progress in mathematics ; 109Éditeur: Boston : Birkhauser, 1993En-ligne: Numir | Springerlink Disponibilité: Pour le prêt: CMI[14-06 EYS] (1). Actions: Add to Cart
248.  Monographie Computational category theory / David E. Rydeheard, Rod M. BurstallType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1988 Disponibilité: Pour le prêt: CMI[18 RYD] (1). Actions: Add to Cart
249.  Monographie Computational complexity / Christos H. PapadimitriouType de document: Monographie.Éditeur: Reading, MA : Addison-Wesley, 1994 Disponibilité: Pour le prêt: CMI[68 PAP] (2). Actions: Add to Cart
250.  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
Languages: English | Français | |