301.  Monographie Construire les algorithmes : les améliorer, les connaitre, les évaluer / Claude Pair, Roger Mohr, René SchottType de document: Monographie.Collection: Dunod informatique ; 26Éditeur: Paris : Dunod, 1988 Disponibilité: Pour le prêt: CMI[68 PAI] (1). Actions: Add to Cart
302. Thèse Consultation en français d'une banque de données sur fichier et mise en place du système PROLOG nécessaire / Liliane PérichaudType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1981 Disponibilité: Pour le prêt: CMI[Thèses PER] (1). Actions: Add to Cart No cover image available
303. Thèse Contribution à l'algorithmique non numérique parallèle : parallélisations de méthodes de recherche arborescentes / Bernard MansType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1992 Disponibilité: Pour le prêt: CMI[Thèses MAN] (1). Actions: Add to Cart No cover image available
304. Thèse Contribution à l'algorithmique parallèle et distribuée : application à l'optimisation combinatoire / Ivan LavalléeType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1986 Disponibilité: Pour le prêt: CMI[Thèses LAV] (1). Actions: Add to Cart
305. Thèse Contribution à l'amélioration de la robustesse des systèmes de reconnaissance automatique de mots isolés / par Jean-Claude JunquaType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses JUN] (1). Actions: Add to Cart
306. Thèse Contribution à l'étude de la cohérence des données d'une base de données réparties : application au contexte d'un réseau satellite / Didier BoudigueType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1984 Disponibilité: Pour le prêt: CMI[Thèses BOU] (1). Actions: Add to Cart
307. Thèse Contribution à la classification de données binaires et qualitatives / Franck MarchettiType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses MAR] (1). Actions: Add to Cart
308. Thèse Contribution à la construction automatique d'analyseurs lexicographiques et syntaxiques / Pierre BoullierType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1984 Disponibilité: Pour le prêt: CMI[Thèses BOU] (1). Actions: Add to Cart
309. Thèse Contribution à la réalisation d'une spécification formelle pour PROLOG / Gilles RichardType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses RIC] (1). Actions: Add to Cart
310. Thèse Contribution à la restauration d'images et à l'analyse de séquences : approches variationnelles et solutions de viscosité / par Pierre KornprobstType de document: Thèse.Éditeur: Université de Nice-Sophia Antipolis, 1998 Disponibilité: Pour le prêt: CMI[Thèses KOR] (1). Actions: Add to Cart No cover image available
311. Thèse Contribution à la spécification et à la preuve formelle de systèmes informatiques / Laurence PierreType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1999 Disponibilité: Pour le prêt: CMI[Thèses PIE] (1). Actions: Add to Cart No cover image available
312. Thèse Contribution au partitionnement matériel/logiciel des systèmes temps réel pour les applications de contrôle d'expériences / par Romain KamdemType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1999 Disponibilité: Pour le prêt: CMI[Thèses KAM] (1). Actions: Add to Cart No cover image available
313. Thèse Contribution au service des polices de caractères dans le système de fenêtres X / par Daniel DardaillerType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses DAR] (1). Actions: Add to Cart
314. Thèse Contribution de l'analyse d'algorithmes à l'évaluation de protocoles de communication / par Philippe JacquetType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses JAC] (1). Actions: Add to Cart
315. Thèse Le Contrôle de concurrence et la résistance aux pannes dans une architecture bases de données mono et multiprocesseurs / Rodolphe MichelType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1987 Disponibilité: Pour le prêt: CMI[Thèses MIC] (1). Actions: Add to Cart
316.  Congrès Coordination languages and models : second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 / David Garlan, Daniel Le MétayerType de document: Congrès.Collection: Lecture notes in computer science ; 1282Éditeur: Berlin : Springer, 1997 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 GAR] (1). Actions: Add to Cart
317.  Congrès Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 / George J. Milne, Laurence PierreType de document: Congrès.Collection: Lecture notes in computer science ; 683Éditeur: Berlin : Springer-Verlag, 1993 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 MIL] (1). Actions: Add to Cart
318.  Congrès Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME '95, Frankfurt, Germany, October 1995 / Paolo E. Camurati, Hans EvekingType de document: Congrès.Collection: Lecture notes in computer science ; 987Éditeur: Berlin : Springer, 1995 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 CAM] (1). Actions: Add to Cart
319.  Monographie Cours d'informatique : langages et programmation / P.-C. Scholl, M.-C. Fauvet, F. Lagnier,... [et al.]Type de document: Monographie. Collection: Manuels informatiques Masson Éditeur: Paris : Masson, 1993 Disponibilité: Pour le prêt: CMI[68 SCH] (1). Actions: Add to Cart
320.  Monographie Cours de calcul formel : algorithmes fondamentaux / Philippe Saux PicartType de document: Monographie. Collection: Mathématiques pour le 2ème cycle Éditeur: Paris : Ellipses, 1999 Disponibilité: Pour le prêt: CMI[Manuels SAU] (1). Actions: Add to Cart
321.  Monographie Cours de logique mathématique. Partie III : langages à contexte libre / C. CarrezType de document: Monographie. Collection: Publications du laboratoire de calcul de l'Université des sciences et techniques de Lille Éditeur: Lille : Université des Sciences et Techniques de Lille, s. d. Disponibilité: Pour le prêt: CMI[Publications LIL] (1). Actions: Add to Cart No cover image available
322. Thèse Cubes émergents pour l'analyse des renversements de tendances dans les bases de données multidimensionnelles / Sébastien NedjarType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2009 En-ligne: tel Disponibilité: Pour le prêt: CMI[Thèses NED] (1). Actions: Add to Cart No cover image available
323.  Monographie Data mining : concepts and techniques / Jiawei Han, Micheline KamberType de document: Monographie. Collection: The Morgan Kaufmann series in data management systems Éditeur: San Francisco : Morgan Kaufmann, 2001 Disponibilité: Pour le prêt: CMI[68 HAN] (1). Actions: Add to Cart
324.  Monographie Data on the Web : from relations to semistructured data and xml / Serge Abiteboul, Peter Buneman, Dan SuciuType de document: Monographie.Éditeur: San Francisco : Morgan Kaufmann, 2000 Disponibilité: Pour le prêt: CMI[68 ABI] (1). Actions: Add to Cart
325.  Monographie Data structures and algorithms / Alfred V. Aho, John E. Hopcroft, Jeffrey D. UllmanType de document: Monographie. Collection: Addison-Wesley series in computer science and information processing Éditeur: Reading, MA : Addison-Wesley, 1985 Disponibilité: Pour le prêt: CMI[68 AHO] (2). Actions: Add to Cart
326.  Monographie Data structures and algorithms. 1 : sorting and searching / Kurt MehlhornType de document: Monographie.Collection: EATCS monographs on theoretical computer science ; 5Éditeur: Berlin : Springer-Verlag, 1984 Disponibilité: Pour le prêt: CMI[68 MEL] (1). Actions: Add to Cart
327.  Monographie Data structures and network algorithms / Robert Endre TarjanType de document: Monographie.Collection: CBMS-NSF regional conference series in applied mathematics ; 44Éditeur: Philadelphia, PA : Society for Industrial and Applied Mathematics, 1983 Disponibilité: Pour le prêt: CMI[68 TAR] (1). Actions: Add to Cart
328.  Monographie Data structures and network algorithms / Robert Endre TarjanType de document: Monographie.Collection: CBMS-NSF regional conference series in applied mathematics ; 44Éditeur: Philadelphia, PA : Society for Industrial and Applied Mathematics, 1991 Disponibilité: Pour le prêt: CMI[68 TAR] (1). Actions: Add to Cart
329.  Congrès Data types and persistence / Malcolm P. Atkinson, Peter Buneman, Ronald MorrisonType de document: Congrès. Collection: Topics in information systems Éditeur: Berlin : Springer-Verlag, 1988 Disponibilité: Pour le prêt: CMI[68-06 ATK] (1). Actions: Add to Cart
330.  Monographie Database systems : the complete book / Hector Garcia-Molina, Jeffrey D. Ullman, Jennifer WidomType de document: Monographie.Éditeur: Upper Saddle River : Prentice Hall, 2002 Disponibilité: Pour le prêt: CMI[68 GAR] (1). Actions: Add to Cart
331.  Congrès Database theory - ICDT'95 : 5th International conference, Prague, Czech Republic, January 11-13, 1995 / Georg Gottlob, Moshe Y. VardiType de document: Congrès.Collection: Lecture notes in computer science ; 893Éditeur: Berlin : Springer-Verlag, 1995 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 GOT] (1). Actions: Add to Cart
332.  Monographie Databases and database systems : concepts and issues / Elizabeth OxborrowType de document: Monographie. Collection: A Chartwell-Bratt student text Éditeur: Lund : Chartwell-Bratt, 1986 Disponibilité: Pour le prêt: CMI[68 OXB] (1). Actions: Add to Cart
333. Thèse Débogage en environnement orienté-objet persistant / Patrick PfefferType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1990 Disponibilité: Pour le prêt: CMI[Thèses PFE] (1). Actions: Add to Cart
334.  Monographie La découverte de l'applesoft. Tome 1 : initiation au Basic / Dominique Schraen et Frédéric LévyType de document: Monographie.Collection: Matériels ; 1Éditeur: Lagny-sur-Marne : Editions du PSI, 1982 Disponibilité: Pour le prêt: CMI[Info SCH] (1). Actions: Add to Cart
335.  Monographie Découvrez Pascal sur Apple II / John ColibriType de document: Monographie.Éditeur: St. Maur des Fossés : Mnemodyne, 1983 Disponibilité: Pour le prêt: CMI[Info COL] (1). Actions: Add to Cart No cover image available
336. Thèse Démonstration automatique dans le calcul des constructions / par Gilles DowekType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1991En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[Thèses DOW] (1). Actions: Add to Cart
337.  Monographie Denotational semantics : the Scott-Strachey approach to programming language theory / Joseph E. StoyType de document: Monographie.Collection: The MIT press series in computer science ; 1Éditeur: Cambridge : MIT Press, 1987 Disponibilité: Pour le prêt: CMI[68 STO] (1). Actions: Add to Cart
338.  Congrès Dependable computing, EDCC-3 : Third European dependable computing conference, Prague, Czech Republic, September 15-17, 1999 / Jan Hlavicka, Erik Maehle, Andras PatariczaType de document: Congrès.Collection: Lecture notes in computer science ; 1667Éditeur: Berlin : Springer, 1999 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 HLA] (1). Actions: Add to Cart
339. Thèse La designation et l'édition de liens dans les systèmes d'exploitation repartis / José Legatheaux MartinsType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1986 Disponibilité: Pour le prêt: CMI[Thèses LEG] (1). Actions: Add to Cart No cover image available
340. Thèse Deux arguments pour les arbres infinis en Prolog / par Solange Coupet-GrimalType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses COU] (1). Actions: Add to Cart No cover image available
341.  Monographie Developing bioinformatics computer skills : an introduction to software tools for biological applications / Cynthia Gibas and Per JambeckType de document: Monographie.Éditeur: Sebastopol (Calif.) : O'Reilly, 2001 Disponibilité: Pour le prêt: CMI[92 GIB] (1). Actions: Add to Cart
342.  Monographie Développement d'applications avec objective Caml / Emmanuel Chailloux, Pascal Manoury, Bruno PaganoType de document: Monographie.Éditeur: Paris : O'Reilly, 2000 Disponibilité: Pour le prêt: CMI[Info CHA] (1). Actions: Add to Cart
343.  Monographie Dictionary for computer languages / Hans BreuerType de document: Monographie.Collection: APIC studies in data processing ; 6Éditeur: London : Academic Press, 1966 Disponibilité: Pour le prêt: CMI[68 BRE] (1). Actions: Add to Cart No cover image available
344. Livre numérique Difference equations : from rabbits to chaos / Paul Cull, Mary Flahive, Robby RobsonType de document: Livre numérique.Collection: Undergraduate texts in mathematics, (Online)Éditeur: New York : Springer, 2005En-ligne: Springerlink | Zentralblatt | MathSciNetDisponibilité: Pas de copie disponible Actions: Add to Cart
345. Thèse Différenciation d'ensembles structurés : applications aux cas du monoïde libre et de la forêt des arbres finis et étiquetés / par François FrilleyType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses FRI] (1). Actions: Add to Cart
346.  Monographie Digital computer design : logic, circuitry and synthesis / Edward L. BraunType de document: Monographie.Éditeur: New York : Academic Press, 1963 Disponibilité: Pour le prêt: CMI[68 BRA] (1). Actions: Add to Cart No cover image available
347.  Monographie Digital image processing / Rafael C. Gonzalez, Paul WintzType de document: Monographie.Éditeur: Reading : Addison-Wesley, 1987 Disponibilité: Pour le prêt: CMI[68 GON] (1). Actions: Add to Cart
348.  Monographie Digital image processing : concepts, algorithms and scientific applications / Bernd JahneType de document: Monographie.Éditeur: Berlin : Springer-Verlag, 1995En-ligne: Springerlink - ed. 1997 | Springerlink - ed. 2005 Disponibilité: Pour le prêt: CMI[68 JAH] (1). Actions: Add to Cart
349.  Monographie Digital image processing / Rafael C. Gonzalez, Richard E. WoodsType de document: Monographie. Collection: Addison-Wesley world student series Éditeur: Reading : Addison-Wesley, 1993 Disponibilité: Pour le prêt: CMI[68 GON] (1). Actions: Add to Cart
350.  Monographie Digital image processing / Rafael C. Gonzalez, Richard E. WoodsType de document: Monographie.Éditeur: Upper Saddle River : Prentice Hall, 2002 Disponibilité: Pour le prêt: CMI[68 GON] (1). Actions: Add to Cart
Languages: English | Français | |