151.  Congrès Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-SpaccamelaType de document: Congrès.Collection: Lecture notes in computer science ; 1256Éditeur: Berlin : Springer, 1997 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 DEG] (1). Actions: Add to Cart
152.  Congrès Automata, languages and programming : 29th International colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 / Peter Widmayer, Stephan Eidenbenz, Francisco Triguero, ...[et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 2380Éditeur: Berlin : Springer, 2002 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 WID] (1). Actions: Add to Cart
153.  Congrès Automata, languages and programming : 31st International colloquium, ICALP 2004, Turku, Finland, July 2004 / Josep Diaz, Juhani Karhumaki, Arto Lepisto... [et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 3142Éditeur: Berlin : Springer, 2004 Disponibilité: Pour le prêt: CMI[68-06 DIA] (1). Actions: Add to Cart
154.  Congrès Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 / Luis Caires ... [et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 3580Éditeur: Berlin : Springer, 2005 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 CAI] (1). Actions: Add to Cart
155.  Monographie Automata on infinite objects and Church's problem / Michael RabinType de document: Monographie.Collection: Regional conference series in mathematics ; 13Éditeur: Providence : American Mathematical Society, 1972 Disponibilité: Pour le prêt: CMI[03 RAB] (1). Actions: Add to Cart
156.  Congrès Automata theory / E. R. CaianielloType de document: Congrès.Éditeur: New York : Academic Press, 1966 Disponibilité: Pour le prêt: CMI[68-06 CAI] (1). Actions: Add to Cart No cover image available
157.  Monographie Automated planning : theory and practice / Ghallab Malik, Dana Nau, Paolo TraversonType de document: Monographie.Éditeur: San Francisco : Elsevier, 2004 En-ligne: Elsevier Disponibilité: Pas de copie disponible En prêt (1). Actions: Add to Cart
158.  Monographie Automated reasoning : 33 basic research problems / Larry WosType de document: Monographie.Éditeur: Englewood : Prentice-Hall, 1988 Disponibilité: Pour le prêt: CMI[68 WOS] (1). Actions: Add to Cart
159. Thèse Automates cellulaires : dynamique directionnelle et asymptotique typique / par Martin DelacourtType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2011 En-ligne: Thèse.fr Disponibilité: Pour le prêt: CMI[Thèses DEL] (1). Actions: Add to Cart No cover image available
160. Thèse Automates finis et équirépartition modulo un / Christian MauduitType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1984 Disponibilité: Pour le prêt: CMI[Thèses MAU] (1). Actions: Add to Cart No cover image available
161.  Monographie Automatic generation of morphological set recognition algorithms / Robert C. VogtType de document: Monographie. Collection: Springer series in perception engineering Éditeur: New York : Springer, 1989 Disponibilité: Pour le prêt: CMI[68 VOG] (1). Actions: Add to Cart
162. Thèse Automatic generation of triangulations for piecewise polynomial approximation / Edward Granville SewellType de document: Thèse.Éditeur: Ann Arbor (Mich.) : University Microfilms International, 1980 Disponibilité: Pour le prêt: CMI[Thèses SEW] (1). Actions: Add to Cart No cover image available
163.  Monographie Automatic sequences : theory, applications, generalizations / Jean-Paul Allouche, Jeffrey ShallitType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 2003 Disponibilité: Pour le prêt: CMI[11 ALL] (1). Actions: Add to Cart
164.  Congrès Les avancées en programmation : Journées AFCET-GROPLAN, Nice, 24-25 janvier 1990 / org. par le CERISI, le GRECO-PRC PAOIA et l'IRITType de document: Congrès.Collection: Bigre ; 70Éditeur: Rennes : IRISA, 1990 Disponibilité: Pour le prêt: CMI[68-06 AFC] (1). Actions: Add to Cart No cover image available
165.  Monographie Bases d'informations généralisées / Claude-Yves Chrisment, Jean-Bernard Crampes, Gilles ZurfluhType de document: Monographie.Collection: Dunod informatique ; 10Éditeur: Paris : Dunod, 1985 Disponibilité: Pour le prêt: CMI[68 CHR] (1). Actions: Add to Cart
166.  Monographie Bases de données : des systèmes relationnels aux systèmes à objets / Claude Delobel, Christophe Lécluse, Philippe RichardType de document: Monographie. Collection: I.I.A. Informatique intelligence artificielle Éditeur: Paris : InterEditions, 1991 Disponibilité: Pour le prêt: CMI[68 DEL] (1). Actions: Add to Cart
167.  Monographie Les bases de données en géomatique / Robert Laurini, Françoise Milleret-RaffortType de document: Monographie.Collection: Traité des nouvelles technologies, Série géographie assistée par ordinateurÉditeur: Paris : Hermès, 1993 Disponibilité: Pour le prêt: CMI[68 LAU] (1). Actions: Add to Cart
168.  Monographie Bases de données et Internet avec PHP et MySql : cours, étude de cas et exercices corrigés / Magali ContensinType de document: Monographie. Collection: Sciences sup Éditeur: Paris : Dunod, 2004 En-ligne: Cliquez ici Disponibilité: Pour le prêt: CMI[Info CON] (2). En prêt (1). Actions: Add to Cart
169.  Monographie Bases de données et systèmes relationnels / Claude Delobel et Michel AdibaType de document: Monographie.Collection: Dunod informatique ; 8Éditeur: Paris : Dunod, 1982 Disponibilité: Pour le prêt: CMI[68 DEL] (1). Actions: Add to Cart
170. Thèse Bases de données géographiques réactives : le prototype SAPRISTI II (Système d'Aide à la PRédiction Intelligente des Sols par Traitements Informatiques) / Christophe LedreuxType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1996 Disponibilité: Pour le prêt: CMI[Thèses LED] (1). Actions: Add to Cart No cover image available
171. Thèse Bases de données relationnelles et analyse de données : conception et réalisation d'un système de données / par Omar Abdelaziz KezouitType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1987 Disponibilité: Pour le prêt: CMI[Thèses KEZ] (1). Actions: Add to Cart
172.  Monographie Les bases de la classification automatique / I. C. LermanType de document: Monographie. Collection: Collection programmation Éditeur: Paris : Gauthier-Villars, 1970 Disponibilité: Pour le prêt: CMI[68 LER] (1). Actions: Add to Cart No cover image available
173.  Monographie Bioinformatics for dummies / Jean-Michel Claverie and Cedric NotredameType de document: Monographie. Collection: For dummies Éditeur: New York : Wiley, 2003 En-ligne: OA Disponibilité: Pour le prêt: CMI[92 CLA] (1). Actions: Add to Cart
174.  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
175. Livre numérique Bounded variable logics and counting : a study in finite models / Martin OttoType de document: Livre numérique.Collection: Lecture notes in logic ; 9Éditeur: Berlin : Springer-Verlag, 1997En-ligne: OA - accès libre | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
176.  Monographie Brains, machines and mathematics / Michael A. ArbibType de document: Monographie.Éditeur: New York : Springer-Verlag, 1987 Disponibilité: Pour le prêt: CMI[68 ARB] (1). Actions: Add to Cart
177.  Monographie Calcul de formes par ordinateur / John WoodwarkType de document: Monographie.Collection: Manuels informatiques Masson ; 67Éditeur: Paris : Masson, 1988 Disponibilité: Pour le prêt: CMI[68 WOO] (1). Actions: Add to Cart
178. Thèse Calcul de produits cartésiens minimaux d'intervalles : application au problème d'ordonnancement d'atelier / Jianyang ZhouType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1997 Disponibilité: Pour le prêt: CMI[Thèses ZHO] (1). Actions: Add to Cart No cover image available
179.  Monographie Calcul des parties cachées : approximation des courbes par la méthode de Bézier et des B-splines / Robert DonyType de document: Monographie.Collection: Méthode + programmes ; 24Éditeur: Paris : Masson, 1986 Disponibilité: Pour le prêt: CMI[68 DON] (1). Actions: Add to Cart
180.  Monographie Calcul et arithmétique des ordinateurs / Jean-Claude Bajard, Jean-Michel MullerType de document: Monographie. Collection: Informatique et systèmes d'information Éditeur: Paris : Lavoisier, 2004 Disponibilité: Pour le prêt: CMI[68 BAJ] (2). Actions: Add to Cart
181.  Monographie Calcul formel : systèmes et algorithmes de manipulations algébriques / J. Davenport, Y. Siret, E. TournierType de document: Monographie.Collection: Etudes et recherches en informatique ; 8Éditeur: Paris : Masson, 1987 Disponibilité: Pour le prêt: CMI[68 DAV] (1). Actions: Add to Cart
182.  Monographie Calcul formel : mode d'emploi : exemples en Maple / Claude Gomez, Bruno Salvy, Paul ZimmermannType de document: Monographie.Collection: Logique mathématiques informatique ; 13Éditeur: Paris : Masson, 1995 Disponibilité: Pour le prêt: CMI[Info GOM] (3). Actions: Add to Cart
183. Thèse Calcul symbolique avec des diagrammes de Penrose / Anne MassolType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1997 Disponibilité: Pour le prêt: CMI[Thèses MAS] (1). Actions: Add to Cart No cover image available
184.  Monographie Calculabilité et décidabilité : une introduction / J.-M. AutebertType de document: Monographie. Collection: Manuels informatiques Masson Éditeur: Paris : Masson, 1992 Disponibilité: Pour le prêt: CMI[68 AUT] (1). Actions: Add to Cart
185. Article Caractérisation des C-langages déterministes en termes de grammaires / M. LatteuxType de document: Article.Collection: Publications du laboratoire de calcul de l'Université des sciences et techniques de Lille ; 37Éditeur: Lille : Université des Sciences et Techniques de Lille, 1972 Disponibilité: Pour le prêt: CMI[Publications LIL] (1). Actions: Add to Cart No cover image available
186. Usuel Catalogue des prototypes de recherche en logiciel pour l'analyse des données / Association nationale du logicielType de document: Usuel.Éditeur: Le Chesnay : INRIA, [1985] Disponibilité: Pour le prêt: CMI[68 ANL] (1). Actions: Add to Cart No cover image available
187. Usuel Catalogue des prototypes de recherche en logiciel pour l'analyse des données : additif / Association nationale du logicielType de document: Usuel.Éditeur: Le Chesnay : INRIA, [1985] Disponibilité: Pour le prêt: CMI[68 ANL] (1). Actions: Add to Cart No cover image available
188.  Monographie Cellular automata / E. F. CoddType de document: Monographie. Collection: ACM monograph series Éditeur: New York : Academic Press, 1968 Disponibilité: Pour le prêt: CMI[68 COD] (1). Actions: Add to Cart No cover image available
189.  Monographie Cellular automata : a discrete universe / Andrew IlachinskiType de document: Monographie.Éditeur: River Edge, NJ : World Scientific, 2001 Disponibilité: Pour le prêt: CMI[68 ILA] (1). Actions: Add to Cart
190.  Monographie CGI programming : on the world wide web / Shishir GundavaramType de document: Monographie.Éditeur: Sebastopol : O'Reilly, 1996 En-ligne: Cliquez ici Disponibilité: Pour le prêt: CMI[Info GUN] (1). Actions: Add to Cart
191. Livre numérique Chaînes de Markov sur les permutations / Jacques-Edouard DiesType de document: Livre numérique.Collection: Lecture notes in mathematics, (Online) ; 1010Éditeur: Berlin : Springer-Verlag, 1983En-ligne: Springerlink | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
192.  Monographie Chaos and fractals : the mathematics behind the computer graphics / Robert L. Devaney and Linda KeenType de document: Monographie.Collection: Proceedings of symposia in applied mathematics ; 39Éditeur: Providence : American Mathematical Society, 1989 Disponibilité: Pour le prêt: CMI[37-06 DEV] (1). Actions: Add to Cart
193.  Monographie Chip-level modeling with VHDL / James R. ArmstrongType de document: Monographie.Éditeur: Englewood : Pretice-Hall, 1989 Disponibilité: Pour le prêt: CMI[68 ARM] (1). Actions: Add to Cart
194.  Monographie Circuits intégrés et techniques numériques / R. DelsolType de document: Monographie.Éditeur: Toulouse : Cépaduès, 1983 Disponibilité: Pour le prêt: CMI[68 DEL] (1). Actions: Add to Cart
195.  Monographie Classical mechanics with Maple / Ronald L. GreeneType de document: Monographie.Éditeur: New York : Springer, 1995 Disponibilité: Pour le prêt: CMI[70 GRE] (1). Actions: Add to Cart
196.  Congrès Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993 / David S. Johnson, Michael A. TrickType de document: Congrès.Collection: DIMACS series in discrete mathematics and theoretical computer science ; 26Éditeur: Providence : American Mathematical Society, 1996 Disponibilité: Pour le prêt: CMI[68-06 JOH] (1). Actions: Add to Cart
197.  Congrès Coalgebraic methods in computer science : CMCS'98, Lisbon, Portugal, March 28-29, 1998 / Bart Jacobs, Larry Moss, Horst Reichel,...[et al.]Type de document: Congrès.Collection: Electronic notes in theoretical computer science ; 11Éditeur: Amsterdam : Elsevier, 1998 Disponibilité: Pour le prêt: CMI[68-06 JAC] (1). Actions: Add to Cart No cover image available
198.  Monographie Codage universel et identification d'ordre par sélection de modèles / Elisabeth GassiatType de document: Monographie.Collection: Cours spécialisés ; 21Éditeur: Paris : Société Mathématique de France, cop. 2014En-ligne: Résumé SMF | Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[Séries COSP] (1). Actions: Add to Cart
199.  Monographie Un code pour les graphes planaires et ses applications / Robert CoriType de document: Monographie.Collection: Astérisque ; 27Éditeur: Paris : Société Mathématique de France, 1975 Disponibilité: Pour le prêt: CMI[Séries SMF 027] (1). Actions: Add to Cart No cover image available
200. Livre numérique Codes : an introduction to information communication and cryptography / Norman L. BiggsType de document: Livre numérique. Collection: Springer undergraduate mathematics series Éditeur: London : Springer, 2008En-ligne: Springerlink | ZentralblattDisponibilité: Pas de copie disponible Actions: Add to Cart
Languages: English | Français | |