1.  Monographie A la découverte de Maple : les mathématiques en images / Sylvain DamourType de document: Monographie.Éditeur: Paris : Ellipses, 2005 En-ligne: Cliquez ici Disponibilité: Pour le prêt: CMI[Info DAM] (1). Actions: Add to Cart
2. Livre numérique A primer on scientific programming with Python / Hans Petter LangtangenType de document: Livre numérique.Collection: Texts in computational science and engineering, (Online) ; 6Éditeur: Berlin : Springer, 2009 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
3.  Monographie Aide-mémoire Maple V / Albert LévineType de document: Monographie.Éditeur: Paris : Ellipses, 1997 Disponibilité: Pour le prêt: CMI[Info LEV] (1). Actions: Add to Cart
4. Thèse Algèbres touffues : application au typage polymorphe des objets enregistrements dans les langages fonctionnels / Didier RémyType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1990 Disponibilité: Pour le prêt: CMI[Thèses REM] (1). Actions: Add to Cart
5. Article Algorithmes abstraits et fermeture de diagrammes / Calvin C. ElgotType de document: Article.Collection: Logique à l'usage du calculateur ; 13Éditeur: Paris : Institut Blaise Pascal, 1966 Disponibilité: Pour le prêt: CMI[68 ELG] (1). Actions: Add to Cart No cover image available
6.  Monographie Algorithms / Robert SedgewickType de document: Monographie. Collection: Addison-Wesley series in computer science Éditeur: Reading, MA : Addison-Wesley, 1983 Disponibilité: Pour le prêt: CMI[68 SED] (1). Actions: Add to Cart
7.  Monographie Algorithms / Robert SedgewickType de document: Monographie.Éditeur: Reading, MA : Addison-Wesley, 1988 Disponibilité: Pour le prêt: CMI[68 SED] (1). Actions: Add to Cart
8.  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
9.  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
10.  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
11.  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
12.  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
13.  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
14.  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
15.  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
16.  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
17. 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
18.  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
19.  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
20.  Monographie Compiling with continuations / Andrew W. AppelType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 1992 Disponibilité: Pour le prêt: CMI[68 APP] (1). Actions: Add to Cart
21. Thèse Composition de phrases assistée : un système d'aide à la communication pour handicapés / Nathalie RichardetType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1998 Disponibilité: Pour le prêt: CMI[Thèses RIC] (1). Actions: Add to Cart No cover image available
22.  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
23.  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
24. 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
25. 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
26.  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
27.  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
28. 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
29. 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
30.  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
31. 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
32.  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
33.  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
34. Livre numérique Embedding Perl in HTML with Mason / Dave Rolsky, Ken WilliamsType de document: Livre numérique.Éditeur: O'Reilly, 2003 En-ligne: OA - accès libre Disponibilité: Pas de copie disponible Actions: Add to Cart
35.  Monographie Essential Maple : an introduction for scientific programmers / Robert M. CorlessType de document: Monographie.Éditeur: New York : Springer, 1995 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[Info COR] (1). Actions: Add to Cart
36. Thèse Etude et implantation d'un glaneur de cellules adaptatif pour LISP / Eric SpirType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses SPI] (1). Actions: Add to Cart
37. 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
38. 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
39. 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
40.  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
41.  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
42. Livre numérique Handbook for automatic computation. Volume I. Part a : description of Algol 60 / Heinz RutishauserType de document: Livre numérique.Collection: Grundlehren der mathematischen wissenschaften ; 135Éditeur: Berlin : Springer-Verlag, 1967 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
43. Livre numérique Handbook for automatic computation. Volume I. Part b : translation of Algol 60 / A. A. Grau, U. Hill, H. LangmaackType de document: Livre numérique.Collection: Grundlehren der mathematischen wissenschaften ; 137Éditeur: Berlin : Springer-Verlag, 1967 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
44.  Monographie Implementations of Prolog / J. A. CampbellType de document: Monographie. Collection: Ellis Horwood series in artificial intelligence Éditeur: Chichester : Ellis Horwood, 1984 Disponibilité: Pour le prêt: CMI[Info CAM] (1). Actions: Add to Cart
45.  Monographie Input language for automatic programming systems / A. P. Yershov, G. I. Kozhukhin and U. M. VoloshinType de document: Monographie.Collection: APIC studies in data processing ; 3Éditeur: London : Academic Press, 1963 Disponibilité: Pour le prêt: CMI[68 YER] (1). Actions: Add to Cart No cover image available
46. Thèse Intégration de fonctionnalités logiques dans un langage fonctionnel fortement typé : MLOG une extension de ML / Vincent PoirriezType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1991 Disponibilité: Pour le prêt: CMI[Thèses POI] (1). Actions: Add to Cart
47. Thèse Intégration de paramètres formels d'intonation à l'analyse syntaxique automatique dans une perspective d'aide à la désambiguisation syntaxique / Sylvain Abraham N'guémaType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1998 Disponibilité: Pour le prêt: CMI[Thèses NGU] (1). Actions: Add to Cart No cover image available
48.  Monographie Introduction à java : manuel d'apprentissage pour développeurs Java / Patrick Niemeyer, Jonathan KnudsenType de document: Monographie.Éditeur: Paris : O'Reilly, 2002Disponibilité: Pas de copie disponible En prêt (1). Actions: Add to Cart
49.  Monographie Introduction à l'algorithmique numérique et à la programmation en PASCAL : cours et exercices corrigés / Patrick CousotType de document: Monographie. Collection: Informatique Éditeur: Paris : McGraw-Hill, 1988 Disponibilité: Pour le prêt: CMI[Info COU] (3). Actions: Add to Cart
50.  Monographie Introduction à Perl / Randal L. SchwartzType de document: Monographie.Éditeur: Paris : O'Reilly, 1995 Disponibilité: Pour le prêt: CMI[Info SCH] (2). Actions: Add to Cart
1 2 3 Next >>
Languages: English | Français | |