401. Thèse Etudes préliminaires à la compilation d'Algol 68 / par Jean BuffetType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1972 Disponibilité: Pour le prêt: CMI[Thèses BUF] (1). Actions: Add to Cart No cover image available
402. Thèse Evaluation des fonctions élémentaires : algorithmes et implémentations / par Laurent ImbertType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2000 Disponibilité: Pour le prêt: CMI[Thèses IMB] (1). Actions: Add to Cart No cover image available
403. Thèse Evaluation paresseuse des filtrages avec priorité application au langage ML / Alain LavilleType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses LAV] (1). Actions: Add to Cart
404. Thèse Examples of hard tautologies and worst-case complexity results for propositional proof systems / Balakrishnan KrishnamurthyType de document: Thèse.Éditeur: Ann Arbor (Mich.) : University Microfilms International, 1993 Disponibilité: Pour le prêt: CMI[Thèses KRI] (1). Actions: Add to Cart No cover image available
405.  Monographie Exercices d'algorithmique : oraux d'ENS / Jean-Claude Bajard, Hubert Comon, Claire Kenion... [et al.]Type de document: Monographie. Collection: Passeport pour l'informatique Éditeur: Paris : International Thomson publ. France, impr. 1997 Disponibilité: Pour le prêt: CMI[Exercices BAJ] (1). Actions: Add to Cart
406.  Monographie Exercices d'assembleur et de macro-assembleur / Jacques RivièreType de document: Monographie.Collection: Dunod informatique, Phase formation ; 10Éditeur: Paris : Dunod, 1982 Disponibilité: Pour le prêt: CMI[Exercices RIV] (2). Actions: Add to Cart
407.  Monographie Exercices de reconnaissance des formes par ordinateur : avec solutions commentées programmes d'application et rappels de cours / Philippe FabreType de document: Monographie. Collection: Manuels informatiques Masson Éditeur: Paris : Masson, 1989 Disponibilité: Pour le prêt: CMI[Exercices FAB] (1). Actions: Add to Cart
408.  Congrès Expert database systems : proceedings from the first international workshop / Larry KerschbergType de document: Congrès.Éditeur: Menlo Park, CA : Cummings, 1986 Disponibilité: Pour le prêt: CMI[68-06 KER] (1). Actions: Add to Cart
409.  Monographie Expert systems : techniques, tools and applications / Philip Klahr and Donald A. WatermanType de document: Monographie.Éditeur: Reading, MA : Addison-Wesley, 1986 Disponibilité: Pour le prêt: CMI[68 KLA] (1). Actions: Add to Cart
410. Thèse L'expertise en conception de programme, approche à partir de la notion de satisfaction de contraintes / Philippe VerdretType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses VER] (1). Actions: Add to Cart
411. Thèse Extensibilité et performance d'un gérant d'objets pour applications bases de données / Philippe PucheralType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses PUC] (1). Actions: Add to Cart
412. Thèse Extensions du hachage digital : hachage digital multiniveaux hachage digital avec représentations séquentielles / Djamel EddineType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses ZEG] (1). Actions: Add to Cart
413. Thèse Extraction d'informations symboliques en imagerie SPOT : réseaux de communication et agglomérations / Mary Alin SerenderoType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses SER] (1). Actions: Add to Cart
414. Thèse Extraction de programmes dans le calcul des constructions / Christine Paulin-MohringType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 En-ligne: Tel Disponibilité: Pour le prêt: CMI[Thèses PAU] (1). Actions: Add to Cart
415.  Monographie Factorization and primality testing / David M. BressoudType de document: Monographie. Collection: Undergraduate texts in mathematics Éditeur: New York : Springer, 1989 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[11 BRE] (1). Actions: Add to Cart
416.  Monographie Factorizations of bn + 1 : b=2,3,5,6,7,10,11,12 up to high powers / John Brillhart, D. H. Lehmer, J. L. Selfridge, ... [et al]Type de document: Monographie.Collection: Contemporary mathematics ; 22Éditeur: Providence : American Mathematical Society, 1983En-ligne: Zentralblatt | MathSciNet Disponibilité: Pour le prêt: CMI[11 BRI] (1). Actions: Add to Cart
417.  Monographie FAQ LaTeX française / Marie-Paule KluthType de document: Monographie. Collection: Vuibert informatique Éditeur: Paris : Vuibert, DL 1999 Disponibilité: Pour le prêt: CMI[Info KLU] (1). Actions: Add to Cart
418.  Monographie Fast Fourier transform and convolution algorithms / Henri J. NussbaumerType de document: Monographie.Collection: Springer series in information sciences ; 2Éditeur: Berlin : Springer-Verlag, 1982 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[65 NUS] (1). Actions: Add to Cart
419.  Congrès Feasible mathematics. II / Peter Clote, Jeffrey RemmelType de document: Congrès.Collection: Progress in computer science and applied logic ; 13Éditeur: Boston : Birkhäuser , 1995 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03-06 CLO] (1). Actions: Add to Cart
420.  Congrès Fifth annual IEEE symposium on logic in computer science : June 4-7, 1990, Philadelphia, PA / the IEEE Technical Committee on Mathematical Foundations of ComputingType de document: Congrès.Éditeur: Los Alamitos : IEEE Computer Society Press, 1990 Disponibilité: Pour le prêt: CMI[68-06 IEE] (1). Actions: Add to Cart
421.  Monographie File organization for database design / Gio WiederholdType de document: Monographie. Collection: McGraw-Hill computer science series Éditeur: New York : McGraw-Hill, 1988 Disponibilité: Pour le prêt: CMI[68 WIE] (1). Actions: Add to Cart
422.  Monographie Finite model theory / Heinz-Dieter Ebbinghaus, Jorg FlumType de document: Monographie. Collection: Perspectives in mathematical logic Éditeur: Berlin : Springer-Verlag, 1995 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[03 EBB] (1). Actions: Add to Cart
423. Article FM8501 : a verified microprocessor / Warren A. HuntType de document: Article.Collection: Technical report ; 47Éditeur: Austin, TX : University of Texas, 1986 Disponibilité: Pour le prêt: CMI[68 HUN] (3). Actions: Add to Cart No cover image available
424.  Monographie Fondements mathématiques de la reconnaissance des structures / Monique PavelType de document: Monographie.Collection: Actualités scientifiques et industrielles ; 1342Éditeur: Paris : Hermann, 1969 Disponibilité: Pour le prêt: CMI[68 PAV] (2). Actions: Add to Cart No cover image available
425. Article Forêts algébriques strictes et bimorphismes / André Arnold et Max DauchetType de document: Article.Collection: Publications du laboratoire de calcul de l'Université des sciences et techniques de Lille ; 62É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
426.  Congrès Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, September 1996 : proceedings / Bengt Jonsson, Joachim ParrowType de document: Congrès.Collection: Lecture notes in computer science ; 1135Éditeur: Berlin : Springer-Verlag, 1996 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 JON] (1). Actions: Add to Cart
427.  Monographie Formal verification of hardware design / Michael YoeliType de document: Monographie.Éditeur: Los Alamitos : IEEE Computer Society Press, 1990 Disponibilité: Pour le prêt: CMI[68 YOE] (1). Actions: Add to Cart
428. Thèse Formalisation des démonstrations mathématiques / André ArnoldType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1968 Disponibilité: Pour le prêt: CMI[Thèses ARN] (1). Actions: Add to Cart No cover image available
429.  Monographie FORTRAN 90 explained / Michael Metcalf, John ReidType de document: Monographie. Collection: Oxford science publications Éditeur: Oxford : Oxford University Press, 1992 Disponibilité: Pour le prêt: CMI[Info MET] (2). Actions: Add to Cart
430. Livre numérique Foundations and applications of MIS : a model theory approach / Yasuhiko Takahara and Yongmei LiuType de document: Livre numérique.Collection: IFSR International series on systems science and engineering ; 24Éditeur: Berlin : Springer, 2006 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
431.  Monographie Foundations for programming languages / John C. MitchellType de document: Monographie. Collection: Foundations of computing Éditeur: Cambridge : MIT Press, 1996 Disponibilité: Pour le prêt: CMI[68 MIT] (1). Actions: Add to Cart
432.  Congrès Foundations of computer science IV : distributed systems. part 1 : algorithms and complexity / J. W. de Bakker, J. Van LeeuwenType de document: Congrès.Collection: Mathematical centre tracts ; 158Éditeur: Amsterdam : Mathematisch Centrum, 1983 Disponibilité: Pour le prêt: CMI[68-06 BAK] (1). Actions: Add to Cart
433.  Congrès Foundations of computer science IV : distributed systems. part 2 : semantics and logic / J. W. de Bakker, J. Van LeeuwenType de document: Congrès.Collection: Mathematical centre tracts ; 159Éditeur: Amsterdam : Mathematisch Centrum, 1983 Disponibilité: Pour le prêt: CMI[68-06 BAK] (1). Actions: Add to Cart
434.  Monographie Foundations of constraint satisfaction / Edward TsangType de document: Monographie. Collection: Computation in cognitive science Éditeur: London : Academic Press, 1993Disponibilité: Pas de copie disponible En prêt (1). Actions: Add to Cart
435.  Monographie Foundations of deductive databases and logic programming / Jack MinkerType de document: Monographie.Éditeur: Los Altos, CA : Morgan Kaufmann, 1988 Disponibilité: Pour le prêt: CMI[68 MIN] (1). Actions: Add to Cart
436.  Congrès Foundations of genetic algorithms / Gregory J. E. RawlinsType de document: Congrès.Éditeur: San Mateo, CA : Morgan Kaufmann, 1991 Disponibilité: Pour le prêt: CMI[65-06 RAW] (1). Actions: Add to Cart
437. Livre numérique Foundations of logic and mathematics : applications to computer science and cryptography / Yves NievergeltType de document: Livre numérique.Éditeur: Boston : Birkhäuser, cop. 2002En-ligne: Springerlink | MSN | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
438.  Congrès Foundations of software science and computation structures : first international conference, FoSSaCS '98, held as part of the joint European conferences on theory and practice of software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 / Maurice NivatType de document: Congrès.Collection: Lecture notes in computer science ; 1378Éditeur: Berlin : Springer, 1998 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 NIV] (2). Actions: Add to Cart
439.  Congrès Foundations of software science and computation structures : Second International Conference, FOSSACS '99 held as part of the joint European conferences on theory and practice of software, ETAPS '99, Amsterdam, The Netherland, March 22-28 1999 / Wolfgang ThomasType de document: Congrès.Collection: Lecture notes in computer science ; 1578Éditeur: Berlin : Springer, 1999 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 THO] (1). Actions: Add to Cart
440.  Congrès Fourteenth annual IEEE symposium on logic in computer science : July 2-5, 1999, Trento, Italy / the IEEE Technical Committee on Mathematical Foundations of ComputingType de document: Congrès.Éditeur: Los Alamitos : IEEE Computer Society Press, 1999 Disponibilité: Pour le prêt: CMI[68-06 IEE] (1). Actions: Add to Cart
441.  Monographie Free lattices / Ralph Freese, Jaroslav Jezek, J.B. NationType de document: Monographie.Collection: Mathematical surveys and monographs ; 42Éditeur: Providence : American Mathematical Society, 1995En-ligne: Zentralblatt | MathScinet | AMS Disponibilité: Pour le prêt: CMI[06 FRE] (1). Actions: Add to Cart
442.  Congrès From HDL descriptions to guaranteed correct circuit designs : the IFIP WG 10.2 working conference, Grenoble, France, 9-11 September, 1986 / Dominique BorrioneType de document: Congrès.Éditeur: Amsterdam : North-Holland, 1987 Disponibilité: Pour le prêt: CMI[68-06 BOR] (1). Actions: Add to Cart
443.  Monographie Functional programming : application and implementation / Peter HendersonType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Englewood : Prentice-Hall, 1980 Disponibilité: Pour le prêt: CMI[68 HEN] (1). Actions: Add to Cart
444.  Monographie Functional programming : application and implementation / Peter HendersonType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: London : Prentice-Hall, 1980 Disponibilité: Pour le prêt: CMI[68 HEN] (1). Actions: Add to Cart
445.  Congrès Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002 / Ralf-Detlef Kutsche, Herbert WeberType de document: Congrès.Collection: Lecture notes in computer science ; 2306Éditeur: Berlin : Springer, 2002 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 KUT] (1). Actions: Add to Cart
446.  Monographie Fundamental concepts of programming systems / Jeffrey D. UllmanType de document: Monographie. Collection: Addison-Wesley series in computer science and information processing Éditeur: Reading, MA : Addison-Wesley, 1976 Disponibilité: Pour le prêt: CMI[68 ULL] (1). Actions: Add to Cart
447. Livre numérique Fundamental problems of algorithmic algebra / Chee YapType de document: Livre numérique.Éditeur: Oxford University Press, 2000 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart
448.  Monographie Fundamental structures of computer science / William. A. Wulf ... [et al.]Type de document: Monographie.Éditeur: Reading, MA : Addison-Wesley, 1981 Disponibilité: Pour le prêt: CMI[68 WUL] (1). Actions: Add to Cart
449.  Monographie Fundamentals of artificial intelligence : an advanced course / W. Bibel and Ph. JorrandType de document: Monographie.Collection: Lecture notes in computer science ; 232Éditeur: Berlin : Springer-Verlag, 1986 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68 BIB] (1). Actions: Add to Cart
450.  Monographie Fundamentals of data structures / Ellis Horowitz, Sartaj SahniType de document: Monographie. Collection: Computer software engineering series Éditeur: Marshfield, MA : Pitman, 1976 Disponibilité: Pour le prêt: CMI[68 HOR] (1). Actions: Add to Cart
Languages: English | Français | |