101.  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
102.  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
103.  Monographie An introduction to object-oriented programming and C++ / Richard S. Wiener, Lewis J. PinsonType de document: Monographie.Éditeur: Reading, MA : Addison-Wesley, 1988 Disponibilité: Pour le prêt: CMI[Info WIE] (1). Actions: Add to Cart
104.  Monographie An introduction to operating systems / Harvey M. DeitelType de document: Monographie. Collection: World student series Éditeur: Reading, MA : Addison-Wesley, 1984 Disponibilité: Pour le prêt: CMI[68 DEI] (1). Actions: Add to Cart
105.  Monographie An Introduction to support vector machines : and other kernel-based learning methods / Nello Cristianini, John Shawe-TaylorType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 2000 Disponibilité: Pour le prêt: CMI[68 CRI] (1). Actions: Add to Cart
106.  Monographie An introduction to support vector machines and other kernel-based learning methods / Nello Cristianini, John Shawe-TaylorType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 2004 Disponibilité: Pour le prêt: CMI[68 SHA] (1). Actions: Add to Cart
107.  Monographie An introduction to the analysis of algorithms / Robert Sedgewick, Philippe FlajoletType de document: Monographie.Éditeur: Reading, MA : Addison-Wesley, 1996 Disponibilité: Pour le prêt: CMI[68 SED] (1). Actions: Add to Cart
108.  Monographie Analogue computation : techniques and components / Raymond Wilson WilliamsType de document: Monographie.Éditeur: London : Heywood, 1961 Disponibilité: Pour le prêt: CMI[82 WIL] (1). Actions: Add to Cart No cover image available
109. Thèse Analyse de données symboliques pyramides d'héritage / Maria Paula de Pinho de Brito Duarte SilvaType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1991 Disponibilité: Pour le prêt: CMI[Thèses PIN] (1). Actions: Add to Cart
110.  Monographie Analyse des données et choix à critères multiples / par Jean-Louis GuigouType de document: Monographie.Collection: Finance et économie appliquée ; 45Éditeur: Paris : Dunod, 1974 Disponibilité: Pour le prêt: CMI[91 GUI] (1). Actions: Add to Cart
111. Thèse Analyse du mouvement à partir d'une séquence de scènes stéréoscopiques et applications à la robotique mobile / Zhengyou ZhangType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1990 Disponibilité: Pour le prêt: CMI[Thèses ZHA] (1). Actions: Add to Cart
112. Thèse Analyse et synthèse d'objets bi-dimensionnels par des méthodes stochastiques / Jacques Lévy VéhelType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses LEV] (1). Actions: Add to Cart
113.  Séminaire Analyse statique : journées de travail WSA'92, Bordeaux, Septembre 23-25, 1992 / M. Billaud, P. Casteran, M.M. Corsini, ... [et al.]Type de document: Séminaire.Collection: Bigre ; 81-82Éditeur: Rennes : IRISA, 1992 Disponibilité: Pour le prêt: CMI[68-06 BIL] (1). Actions: Add to Cart No cover image available
114.  Congrès Analyse statique en programmation équationnelle fonctionnelle et logique : JTASPEFL'91, Bordeaux, 9-11 octobre 1991 / M. Billaud, P. Casteran, M.M. Corsini, ...[et al.]Type de document: Congrès.Collection: Bigre ; 74Éditeur: Beaulieu : IRISA, 1991 Disponibilité: Pour le prêt: CMI[68-06 BIL] (1). Actions: Add to Cart No cover image available
115. Thèse Analyseurs syntaxiques et non-déterminisme / Sylvie BillotType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses BIL] (1). Actions: Add to Cart
116.  Congrès Annual review in automatic programming. 1 / Richard GoodmanType de document: Congrès.Collection: International tracts in computer science and technology and their applications ; 3Éditeur: Oxford : Pergamon Press, 1960 Disponibilité: Pour le prêt: CMI[68-06 GOO] (1). Actions: Add to Cart
117.  Congrès Annual review in automatic programming. 3 / Richard GoodmanType de document: Congrès.Collection: International tracts in computer science and technology and their applications ; 11Éditeur: Oxford : Pergamon Press, 1963 Disponibilité: Pour le prêt: CMI[68-06 GOO] (2). Actions: Add to Cart No cover image available
118.  Congrès Annual review in automatic programming. 2 / Richard GoodmanType de document: Congrès.Collection: International tracts in computer science and technology and their applications ; 6Éditeur: Oxford : Pergamon Press, 1961 Disponibilité: Pour le prêt: CMI[68-06 GOO] (1). Actions: Add to Cart
119.  Congrès Applica 90 : 2nd congrès européen multi-média, intelligence artificielle et formation, 24 au 26 septembre 1990, Parc des expositions, Lille. [Volume 1] : Actes de congrès / AFCETType de document: Congrès.Éditeur: [S.l.] : [s.n.], 1990 Disponibilité: Pour le prêt: CMI[68-06 AFC] (1). Actions: Add to Cart No cover image available
120.  Congrès Applica 90 : 2nd congrès européen multi-média, intelligence artificielle et formation, 24 au 26 septembre 1990, Parc des expositions, Lille. [Volume 2] : posters / AFCETType de document: Congrès.Éditeur: [S.l.] : [s.n.], 1990 Disponibilité: Pour le prêt: CMI[68-06 AFC] (1). Actions: Add to Cart No cover image available
121.  Congrès Applica 90 : 2nd congrès européen multi-média, intelligence artificielle et formation, 24 au 26 septembre 1990, Parc des expositions, Lille. [Volume 3] : supplément / AFCETType de document: Congrès.Éditeur: [S.l.] : [s.n.], 1990 Disponibilité: Pour le prêt: CMI[68-06 AFC] (1). Actions: Add to Cart No cover image available
122.  Monographie Applications of formal methods / Michael G. Hinchey and Jonathan P. BowenType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Hempstead : Prentice-Hall, 1995 Disponibilité: Pour le prêt: CMI[68 HIN] (1). Actions: Add to Cart
123.  Monographie Applications of fuzzy sets to systems analysis / C. V. Negoita, D. A. RalescuType de document: Monographie.Collection: Interdisciplinary systems research ; 11Éditeur: Basel : Birkauser, 1975 Disponibilité: Pour le prêt: CMI[94 NEG] (1). Actions: Add to Cart
124. Thèse Apport des cartes topographiques pour l'analyse de scène en imagerie aérienne : application à la détection du réseau routier / par Philippe GuérinType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1996 Disponibilité: Pour le prêt: CMI[Thèses GUE] (1). Actions: Add to Cart No cover image available
125.  Monographie Apprendre et maitriser MATLAB : versions 4 & 5 et SIMULINK / Mohand Mokhtari et Abdelhalim MesbahType de document: Monographie.Éditeur: Berlin : Springer-Verlag, 1997 Disponibilité: Pour le prêt: CMI[Info MOK] (1). Actions: Add to Cart
126.  Monographie Apprentissage artificiel : concepts et algorithmes / Antoine Cornuéjols, Laurent MicletType de document: Monographie. Collection: Algorithmes Éditeur: Paris : Eyrolles, 2003 Disponibilité: Pour le prêt: CMI[68 COR] (1). Actions: Add to Cart
127. Thèse Approche bimodale du traitement automatique de la parole : application à la reconnaissance du message et du locuteur / par Pierre JourlinType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1998 Disponibilité: Pour le prêt: CMI[Thèses JOU] (1). Actions: Add to Cart No cover image available
128.  Monographie Approche fonctionnelle de la programmation / Guy Cousineau et Michel MaunyType de document: Monographie. Collection: Collection informatique Éditeur: Paris : Ediscience International, 1995 Disponibilité: Pour le prêt: CMI[68 COU] (2). Actions: Add to Cart
129.  Monographie Approche logique de l'intelligence artificielle. 2 : de la logique modale à la logique des bases de données / André Thayse, Pascal Gribomont, Georges Louis, ... [et al.]Type de document: Monographie.Collection: Dunod informatique ; 27Éditeur: Paris : Dunod, 1989 Disponibilité: Pour le prêt: CMI[68 THA] (1). Actions: Add to Cart
130. Thèse Approche opérationnelle des bases de données / Nicolas SpyratosType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1981 Disponibilité: Pour le prêt: CMI[Thèses SPY] (1). Actions: Add to Cart No cover image available
131. Thèse Une approche système expert pour la reconnaissance automatique d'organismes marins à partir d'images monoculaires / par Marie-Hélène GandelinType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses GAN] (1). Actions: Add to Cart
132. Thèse Approches dynamiques en sémantique de la logique linéaire : jeux et géométrie de l'interaction / Patrick BaillotType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1999 En-ligne: Site de l'auteur Disponibilité: Pour le prêt: CMI[Thèses BAI] (1). Actions: Add to Cart No cover image available
133. Thèse Approches structurelles et coopératives pour la résolution des problèmes de satisfaction de contraintes / Cyril TerriouxType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2002 En-ligne: Site de l'auteur Disponibilité: Pour le prêt: CMI[Thèses TER] (1). Actions: Add to Cart No cover image available
134.  Monographie Approximation algorithms / Vijay V. VaziraniType de document: Monographie.Éditeur: Berlin : Springer, 2003 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68 VAZ] (1). Actions: Add to Cart
135.  Monographie Arbres, tables et algorithmes / Jacques Guyot et Christian VialType de document: Monographie.Éditeur: Paris : Eyrolles, 1986 Disponibilité: Pour le prêt: CMI[68 GUY] (1). Actions: Add to Cart No cover image available
136. Thèse Architecture d'un système de gestion de bases de données grande mémoire / Jean-Marc ThéveninType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses THE] (1). Actions: Add to Cart
137.  Monographie Architecture de l'ordinateur : du circuit logique au logiciel de base / Andrew TanenbaumType de document: Monographie.Éditeur: Paris : InterEditions, 1987 Disponibilité: Pour le prêt: CMI[Info TAN] (1). Actions: Add to Cart
138.  Monographie Arithmétique des ordinateurs : opérateurs et fonctions élémentaires / Jean-Michel MullerType de document: Monographie.Collection: Etudes et recherches en informatique ; 3Éditeur: Paris : Masson, 1989 Disponibilité: Pour le prêt: CMI[68 MUL] (1). Actions: Add to Cart
139.  Congrès Artificial evolution : 6th international conference, Evolution Artificielle, EA 2003, Marseille, France, October 27-30, 2003 / Pierre Liardet, Pierre Collet, Cyril Fonlupt, ... [et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 2936Éditeur: Berlin : Springer, 2004 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 LIA] (1). Actions: Add to Cart
140.  Monographie Artificial intelligence : tools, techniques and applications / Tim O'Shea, Marc EisenstadtType de document: Monographie.Éditeur: New York : Harper & Row, 1984 Disponibilité: Pour le prêt: CMI[68 OSH] (1). Actions: Add to Cart
141.  Monographie Artificial intelligence / Patrick Henry WinstonType de document: Monographie. Collection: Addison-Wesley series in computer science Éditeur: Reading : Addison-Wesley, 1984Disponibilité: Pas de copie disponible En prêt (1). Actions: Add to Cart
142.  Monographie Artificial intelligence / Elaine RichType de document: Monographie. Collection: McGraw-Hill series in artificial intelligence Éditeur: Singapore : McGraw-Hill, 1988 Disponibilité: Pour le prêt: CMI[68 RIC] (1). Actions: Add to Cart
143.  Monographie Artificial intelligence, an MIT perspective. Volume 1 : Expert problem solving, natural language understanding, intelligent computer coaches, representation and learning / Patrick Henry Winston and Richard Henry BrownType de document: Monographie. Collection: The MIT Press series in artificial intelligence Éditeur: Cambridge : MIT Press, 1988 Disponibilité: Pour le prêt: CMI[68 WIN] (1). Actions: Add to Cart
144.  Monographie Artificial intelligence programming / Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermottType de document: Monographie.Éditeur: Hillsdale : Lawrence Erlbaum, 1980 Disponibilité: Pour le prêt: CMI[Info CHA] (1). Actions: Add to Cart
145.  Monographie Artificial intelligence techniques in Prolog / Yoav ShohamType de document: Monographie.Éditeur: San Francisco : Morgan Kaufmann, 1994 Disponibilité: Pour le prêt: CMI[Info SHO] (1). Actions: Add to Cart
146. Thèse Aspects qualitatifs et quantitatifs des réseaux d'interconnexion multi-étages / par Alain Jean-MarieType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1987 Disponibilité: Pour le prêt: CMI[Thèses JEA] (1). Actions: Add to Cart
147.  Congrès ASPLOS II proceedings : Second international conference on architectural support for programming languages and operating systems, Palo Alto, CA, 5-8 october 1987 / IEEE Computer SocietyType de document: Congrès.Collection: SIGPLAN notices ; 22Éditeur: Washington, DC : Association for Computing Machinery, 1987 Disponibilité: Pour le prêt: CMI[68-06 IEE] (2). Actions: Add to Cart
148.  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
149.  Monographie Automata, languages and machines. Volume A / S. EilenbergType de document: Monographie.Collection: Pure and applied mathematics ; 59AÉditeur: New York : Academic Press, 1974 Disponibilité: Pour le prêt: CMI[68 EIL] (2). Actions: Add to Cart
150.  Monographie Automata, languages and machines. Volume B / Samuel EilenbergType de document: Monographie.Collection: Pure and applied mathematics ; 59BÉditeur: New York : Academic Press, 1976 Disponibilité: Pour le prêt: CMI[68 EIL] (2). Actions: Add to Cart
Languages: English | Français | |