251.  Congrès Computational geometry : proceedings of the fifth annual symposium on computational geometry Saabruchen, West Germany, june 5-7, 1989 / ACMType de document: Congrès.Éditeur: New York : ACM Press, 1989 Disponibilité: Pour le prêt: CMI[68-06 ACM] (1). Actions: Add to Cart
252.  Monographie Computer aided design : fundamentals and system architectures / José Encarnacao, Rolf Lindner, Ernst G. SchlechtendahlType de document: Monographie.Collection: Symbolic computation, Computer graphics-systems and applicationsÉditeur: Berlin : Springer-Verlag, 1990 Disponibilité: Pour le prêt: CMI[68 ENC] (1). Actions: Add to Cart
253.  Monographie Computer algebra : systems and algorithms for algebraic computation / J. H. Davenport, Y. Siret, E. TournierType de document: Monographie.Éditeur: San Diego, CA : Academic Press, 1989 Disponibilité: Pour le prêt: CMI[68 DAV] (1). Actions: Add to Cart
254.  Monographie Computer algebra in applied mathematics : an introduction to MACSYMA / R.H. RandType de document: Monographie.Collection: Research notes in mathematics ; 94Éditeur: Boston : Pitman, 1984 Disponibilité: Pour le prêt: CMI[68 RAN] (1). Actions: Add to Cart
255.  Monographie Computer graphics : a programming approach / Steven HarringtonType de document: Monographie.Éditeur: New York : McGraw-Hill, 1986 Disponibilité: Pour le prêt: CMI[68 HAR] (1). Actions: Add to Cart
256.  Congrès Computer graphics and mathematics / B. Falcidieno, I. Herman, C. PienoviType de document: Congrès. Collection: Focus on computer graphics Éditeur: Berlin : Springer-Verlag, 1992 Disponibilité: Pour le prêt: CMI[68-06 FAL] (1). Actions: Add to Cart
257. Thèse Computer implementation of the finite element method / by J. Alan GeorgeType de document: Thèse.Éditeur: Ann Arbor (Mich.) : University Microfilm International, 1971 En-ligne: PDF Disponibilité: Pour le prêt: CMI[Thèses GEO] (1). Actions: Add to Cart No cover image available
258.  Monographie Computer networks / Andrew S. TanenbaumType de document: Monographie.Éditeur: Upper Saddle River : Prentice-Hall, 1996 Disponibilité: Pour le prêt: CMI[Info TAN] (1). Actions: Add to Cart
259.  Séminaire Computer programming and formal systems / P. Braffort and D. HirschbergType de document: Séminaire. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1970 Disponibilité: Pour le prêt: CMI[68 BRA] (1). Actions: Add to Cart No cover image available
260.  Monographie Computer programming for science and engineering / B. A. M. MoonType de document: Monographie.Éditeur: London : Butterworths, 1966 Disponibilité: Pour le prêt: CMI[68 MOO] (1). Actions: Add to Cart No cover image available
261.  Monographie Computer programming fundamentals / Herbert D. Leeds, Gerald M. WeinbergType de document: Monographie.Éditeur: New York : McGraw-Hill, 1961 Disponibilité: Pour le prêt: CMI[68 LEE] (1). Actions: Add to Cart No cover image available
262.  Congrès Computer science logic : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 / Jerzy Marcinkowski, Andrzej TarleckiType de document: Congrès.Collection: Lecture notes in computer science ; 3210Éditeur: Berlin : Springer, 2004 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 MAR] (1). Actions: Add to Cart
263.  Monographie Computer solution of ordinary differential equations : the initial value problem / L. F. Shampine, M. K. GordonType de document: Monographie.Éditeur: San Francisco : W. H. Freeman, 1975 Disponibilité: Pour le prêt: CMI[65 SHA] (1). Actions: Add to Cart
264. Livre numérique Computer vision / Xiong ZhihuiType de document: Livre numérique.Éditeur: InTech, 2008 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart
265.  Congrès Computer Vision - ECCV 2002 : 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002. Part III / Anders Heyden, Gunnar Sparr, Mads Nielsen, ...[et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 2352Éditeur: Berlin : Springer-Verlag, 2002En-ligne: Springerlink - part III | Springerlink - part IV Disponibilité: Pour le prêt: CMI[68-06 HEY] (1). Actions: Add to Cart
266.  Congrès Computers and computing / Patrick Chenin, Claire Di Crescenzo, François RobertType de document: Congrès.Collection: Etudes et recherches en informatique ; 7Éditeur: Chichester : Wiley, 1986 Disponibilité: Pour le prêt: CMI[68-06 CHE] (1). Actions: Add to Cart
267.  Monographie Computers and intractability : a guide to the theory of NP-completeness / Michael R. Garey, David S. JohnsonType de document: Monographie. Collection: A series of books in the mathematical sciences Éditeur: New York : W. H. Freeman, 1979 Disponibilité: Pour le prêt: CMI[68 GAR] (1). Actions: Add to Cart
268.  Congrès Computers in number theory : proceedings of the Science Research Council atlas symposium n°2 held at Oxford, August 18-23, 1969 / A. O. L. Atkin, B. J. BirchType de document: Congrès.Éditeur: London : Academic Press, 1971 Disponibilité: Pour le prêt: CMI[11-06 ATK] (1). Actions: Add to Cart
269.  Monographie Computing with logic : logic programming with Prolog / David Maier, David S. WarrenType de document: Monographie.Éditeur: Menlo Park, CA : Benjamin, 1988 Disponibilité: Pour le prêt: CMI[Info MAI] (1). Actions: Add to Cart
270.  Monographie Conception et programmation par objets : pour du logiciel de qualité / Bertrand MeyerType de document: Monographie.Éditeur: Paris : InterEditions, 1990 Disponibilité: Pour le prêt: CMI[68 MEY] (1). Actions: Add to Cart
271. Thèse Conception et réalisation d'un langage de manipulation de données relationnelles à syntaxe libre / Fabrice PasquerType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1985 Disponibilité: Pour le prêt: CMI[Thèses PAS] (1). Actions: Add to Cart
272. Thèse Conception et réalisation d'une machine de stéréoscopie trinoculaire passive temps réel / Gregory RandallType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1991 Disponibilité: Pour le prêt: CMI[Thèses RAN] (1). Actions: Add to Cart
273. Thèse Conception et réalisation du système de gestion de multibases de données muse-architecture du schéma multibase et gestion du catalogue des données / Maria del Rosario Sandoval GomezType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses SAN] (1). Actions: Add to Cart
274.  Monographie Conception orientée objet : pratique de la méthode Hood / Michel LaiType de document: Monographie.Collection: Dunod informatique ; 26Éditeur: Paris : Dunod, 1991 Disponibilité: Pour le prêt: CMI[68 LAI] (1). Actions: Add to Cart
275.  Monographie Conceptual information processing / Roger C. SchankType de document: Monographie.Collection: Fundamental studies in computer science ; 3Éditeur: Amsterdam : North-Holland, 1984 Disponibilité: Pour le prêt: CMI[68 SCH] (1). Actions: Add to Cart
276.  Monographie Concrete mathematics : a foundation for computer science / Ronald L. Graham, Donald E. Knuth, Oren PatashnikType de document: Monographie.Éditeur: Reading : Addison-Wesley, 1989En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[68 GRA] (2). Actions: Add to Cart
277.  Congrès CONCUR 2000 - Concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 / Catuscia PalamidessiType de document: Congrès.Collection: Lecture notes in computer science ; 2352Éditeur: Berlin : Springer, 2000 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 PAL] (1). Actions: Add to Cart
278.  Congrès CONCUR 2001 - Concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001. Proceedings / Kim G. Larsen, Mogens NielsenType de document: Congrès.Collection: Lecture notes in computer science ; 2154Éditeur: Berlin : Springer, cop. 2001 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 LAR] (1). Actions: Add to Cart
279.  Congrès CONCUR 2002 - concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 / Lubos Brim, ... [et al.]Type de document: Congrès.Collection: Lecture notes in computer science ; 2421Éditeur: Berlin : Springer, 2002 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 BRI] (1). Actions: Add to Cart
280.  Congrès CONCUR 2003 - Concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 / Roberto Amadio, Denis LugiezType de document: Congrès.Collection: Lecture notes in computer science ; 2761Éditeur: Berlin : Springer, 2003 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 AMA] (2). Actions: Add to Cart
281.  Congrès CONCUR 2004 - concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 / Philippa Gardner, Nobuko YoshidaType de document: Congrès.Collection: Lecture notes in computer science ; 3170Éditeur: Berlin : Springer, 2004 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 GAR] (2). Actions: Add to Cart
282.  Congrès CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 / Martín Abadi, Luca de AlfaroType de document: Congrès.Collection: Lecture notes in computer science ; 3653Éditeur: Berlin : Springer, 2005 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 ABA] (1). Actions: Add to Cart
283. Livre numérique CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 / Joost-Pieter Katoen, Barbara KönigType de document: Livre numérique.Collection: Lecture notes in computer science ; 6901Éditeur: Berlin : Springer, 2011 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
284.  Congrès CONCUR '93 : 4th International conference on concurrency theory, Hildesheim, Germany, August 23-26, 1993 / Eike BestType de document: Congrès.Collection: Lecture notes in computer science ; 715Éditeur: Berlin : Springer-Verlag, 1993 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 BES] (1). Actions: Add to Cart
285.  Congrès CONCUR '96 - concurrency theory : 7th international conference, Pisa, Italy, August 26-29, 1996 / Ugo Montanari, Vladimiro SassoneType de document: Congrès.Collection: Lecture notes in computer science ; 1119Éditeur: Berlin : Springer, 1996 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 MON] (1). Actions: Add to Cart
286.  Congrès CONCUR '98 - Concurrency theory : 9th international conference, Nice, France, September 8-11, 1998 / Davide Sangiorgi, Robert de SimoneType de document: Congrès.Collection: Lecture notes in computer science ; 1466Éditeur: Berlin : Springer, 1998 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 SAN] (1). Actions: Add to Cart
287.  Congrès CONCUR '99 - Concurrency theory : 10th international conference, Eindhoven, The Netherlands, August 24-27, 1999 / Jos C.M. Baeten, Sjouke MauwType de document: Congrès.Collection: Lecture notes in computer science ; 1664Éditeur: Berlin : Springer, 1999 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 BAE] (1). Actions: Add to Cart
288. Article Cônes rationnels commutatifs / Michel LatteuxType de document: Article.Collection: Publications du laboratoire de calcul de l'Université des sciences et techniques de Lille ; 86É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
289. Article Cônes rationnels commutativement clos / Michel LatteuxType de document: Article.Collection: Publications du laboratoire de calcul de l'Université des sciences et techniques de Lille ; 63Éditeur: Lille : Université des Sciences et Techniques de Lille, 1975 Disponibilité: Pour le prêt: CMI[Publications LIL] (1). Actions: Add to Cart No cover image available
290.  Congrès Conference record of POPL 2001 : the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages / ACMType de document: Congrès.Éditeur: New York : Association for computing machinery, 2001 En-ligne: Accès au texte intégral via BiblioStic Disponibilité: Pour le prêt: CMI[68-06 ACM] (1). Actions: Add to Cart
291.  Congrès Conference record of POPL 2004 : the 31th ACM SIGPLAN-SIGACT symposium on principles of programming languages / ACMType de document: Congrès.Éditeur: New York : Association for computing machinery, 2004 En-ligne: Accès au texte intégral via BiblioStic Disponibilité: Pour le prêt: CMI[68-06 ACM] (1). Actions: Add to Cart
292.  Monographie Constraint logic programming using Eclipse / Krzysztof R. Apt and Mark WallaceType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 2007 Disponibilité: Pour le prêt: CMI[68 APT] (1). Actions: Add to Cart
293.  Monographie Constraint processing : selected papers / Manfred MeyerType de document: Monographie.Collection: Lecture notes in computer science ; 923Éditeur: Berlin : Springer-Verlag, 1995 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68 MEY] (1). Actions: Add to Cart
294.  Monographie Constraint processing / Rina DechterType de document: Monographie.Éditeur: San Francisco : Morgan Kaufmann, 2003Disponibilité: Pas de copie disponible En prêt (1). Actions: Add to Cart
295.  Monographie Constraints, language and computation / C. J. Rupp, M. A. Rosner and R. L. JohnsonType de document: Monographie. Collection: Computation in cognitive science Éditeur: San Diego, CA : Academic Press, 1994 Disponibilité: Pour le prêt: CMI[68 RUP] (1). Actions: Add to Cart
296.  Congrès Construction, amélioration et vérification de programmes : Arc-et-Sénans 1-2-3 juillet 1975 / IRIAType de document: Congrès. Collection: Colloques IRIA Éditeur: Rocqencourt : Institut de Recherche d'Informatique et d'Automatique, 1975 Disponibilité: Pour le prêt: CMI[68-06 IRI] (1). Actions: Add to Cart
297.  Monographie La construction de programmes structurés / Jacques ArsacType de document: Monographie.Collection: Dunod informatique, Phase formation ; 1Éditeur: Paris : Dunod, 1977 Disponibilité: Pour le prêt: CMI[68 ARS] (1). Actions: Add to Cart
298.  Monographie La construction du datawarehouse : du datamart au dataweb / Jean-François GoglinType de document: Monographie. Collection: Nouvelles technologies informatiques Éditeur: Paris : Hermès, 1998 Disponibilité: Pour le prêt: CMI[68 GOG] (1). Actions: Add to Cart
299. Thèse Construction et fusion de représentations visuelles 3D : applications à la robotique mobile / Nicholas AyacheType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses AYA] (1). Actions: Add to Cart
300.  Congrès Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] / Manfred BroyType de document: Congrès.Collection: NATO ASI series. Series F, Computer and systems sciences ; 55Éditeur: Berlin : Springer-Verlag, 1989 Disponibilité: Pour le prêt: CMI[68-06 BRO] (1). Actions: Add to Cart
Languages: English | Français | |