101.  Monographie Programmation réseau en Java / Elliotte Rusty HaroldType de document: Monographie.Éditeur: Paris : O'Reilly, 1997Disponibilité: Pas de copie disponible En prêt (1). Actions: Add to Cart
102.  Monographie Programmer avec JavaScript / Danny GoodmanType de document: Monographie.Éditeur: Paris : Sybex, 1996 Disponibilité: Pour le prêt: CMI[Info GOO] (1). Actions: Add to Cart
103.  Monographie Programmer avec Maple V / M. B. Monagan, Keith O. Geddes, K. M. Heal...[et al.]Type de document: Monographie.Éditeur: Berlin : Springer, 1997 Disponibilité: Pour le prêt: CMI[Info MON] (1). Actions: Add to Cart
104.  Monographie Programmer en langage C++ / Claude DelannoyType de document: Monographie.Éditeur: Paris : Eyrolles, 1997 Disponibilité: Pour le prêt: CMI[Info DEL] (1). Actions: Add to Cart
105.  Monographie Programmer en PASCAL / Daniel-Jean David et Jean-Luc DeschampsType de document: Monographie.Éditeur: Torcy : Editions du PSI, 1983 Disponibilité: Pour le prêt: CMI[Info DAV] (1). Actions: Add to Cart
106. Livre numérique Programming for computations – Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter LangtangenType de document: Livre numérique.Collection: Texts in computational science and engineering, (Online)Éditeur: Cham : Springer, 2016En-ligne: OA - Springerlink | MSN | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
107. Livre numérique Programming for computations - MATLAB/Octave : a gentle introduction to numerical simulations with MATLAB/Octave / Svein Linge, Hans Petter LangtangenType de document: Livre numérique.Collection: Texts in computational science and engineering, (Online) ; 14Éditeur: Cham : Springer, 2016En-ligne: OA - Springerlink | MSN | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
108.  Monographie Programming language theory and its implementation : applicative and imperative paradigms / Michael J. C. GordonType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1988 Disponibilité: Pour le prêt: CMI[68 GOR] (1). Actions: Add to Cart
109.  Monographie Programming languages : concepts and constructs / Ravi SethiType de document: Monographie.Éditeur: Reading (Mass.) : Addison-Wesley, 1996 Disponibilité: Pour le prêt: CMI[68 SET] (1). Actions: Add to Cart
110.  Congrès Programming languages and systems : 8th European symposium on programming, ESOP '99, held as part of the joint European conferences on theory and practice of software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 / S. Doaitse SwierstraType de document: Congrès.Collection: Lecture notes in computer science ; 1576Éditeur: Berlin : Springer, 1999 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 SWI] (1). Actions: Add to Cart
111.  Congrès Programming languages and systems : Third Asian symposium, APLAS 2005 / Kwangkeun YiType de document: Congrès.Collection: Lecture notes in computer science ; 3780Éditeur: Berlin : Springer, 2005 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 Yi] (1). Actions: Add to Cart
112.  Monographie Programming Perl / Larry Wall, Tom Christiansen, Randal L. SchwartzType de document: Monographie.Éditeur: Sebastopol : O'Reilly, 1996 Disponibilité: Pour le prêt: CMI[Info WAL] (1). Actions: Add to Cart
113.  Monographie Prolog / F. Giannesini, K. Kanoni, R. Pasero, ...[et al.]Type de document: Monographie.Éditeur: Paris : InterEditions, 1985 Disponibilité: Pour le prêt: CMI[Info GIA] (2). Actions: Add to Cart
114. Thèse Protocoles de communication et programmation par objets, l'exemple de SOS / Mesaac Mounchili MakpangouType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses MAK] (1). Actions: Add to Cart
115.  Monographie Python : précis & concis / Mark LutzType de document: Monographie.Éditeur: Paris : Editions O'Reilly, 2002 Disponibilité: Pour le prêt: CMI[Info LUT] (1). Actions: Add to Cart
116. Livre numérique Python scripting for computational science : with 62 figures / Hans Petter LangtangenType de document: Livre numérique.Collection: Texts in computational science and engineering, (Online) ; 3Éditeur: Berlin : Springer, 2008 En-ligne: Springerlink Disponibilité: Pas de copie disponible Actions: Add to Cart
117. Thèse Les raisons des choix dans la définition formelle du langage ADA / par Véronique Donzeau-GougeType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1982 Disponibilité: Pour le prêt: CMI[Thèses DON] (1). Actions: Add to Cart
118. Thèse Réalisation d'un décompilateur d'arbre abstrait spécifié à l'aide de la grammaire paragraphée / Eve-Rose LebonType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1983 Disponibilité: Pour le prêt: CMI[Thèses LEB] (1). Actions: Add to Cart
119. Thèse SAMSON : un simulateur pour systèmes répartis et temps-réel / Laurent ToutainType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1991 Disponibilité: Pour le prêt: CMI[Thèses TOU] (1). Actions: Add to Cart
120. Thèse Sésame : un système multibase pour les stations de travail / Abdelmalek ZeroualType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses ZER] (1). Actions: Add to Cart
121. Livre numérique Solving PDEs in Python : the FEniCS tutorial I / Hans Petter Langtangen, Anders LoggType de document: Livre numérique.Collection: Simula SpringerBriefs on computing ; 3Éditeur: Cham : Springer, 2016En-ligne: OA - Springerlink | MSN | zbMathDisponibilité: Pas de copie disponible Actions: Add to Cart
122. Thèse Système SAM : métacompilation très efficace à l'aide d'opérateurs, sémantiques / Pierre WeisType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1987 Disponibilité: Pour le prêt: CMI[Thèses WEI] (1). Actions: Add to Cart
123.  Monographie The C++ programming language / Bjarne StroustrupType de document: Monographie. Collection: Addison-Wesley series in computer science Éditeur: Reading : Addison-Wesley, 1987 Disponibilité: Pour le prêt: CMI[Info STR] (1). Actions: Add to Cart
124.  Monographie The elements of artificial intelligence : an introduction using LISP / Steven L. TanimotoType de document: Monographie.Collection: Principles of computer science series ; 11Éditeur: Rockville, MD : Computer Science Press, 1987 Disponibilité: Pour le prêt: CMI[68 TAN] (1). Actions: Add to Cart
125.  Monographie The formal semantics of programming languages : an introduction / Glynn WinskellType de document: Monographie. Collection: Foundations of computing Éditeur: Cambridge : MIT Press, 1996 Disponibilité: Pour le prêt: CMI[68 WIN] (1). Actions: Add to Cart
126.  Monographie The implementation of functional programming languages / Simon L. Peyton JonesType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1987 Disponibilité: Pour le prêt: CMI[68 PEY] (1). Actions: Add to Cart
127.  Monographie The Java application programming interface. Volume 1 : core packages / James Gosling, Frank YellinType de document: Monographie. Collection: Java series Éditeur: Reading, MA : Addison-Wesley, 1996 Disponibilité: Pour le prêt: CMI[Info GOS] (1). Actions: Add to Cart
128.  Monographie The Java application programming interface. Volume 2 : Window toolkit and applets / James Gosling, Frank YellinType de document: Monographie. Collection: Java series Éditeur: Reading, MA : Addison-Wesley, 1996 Disponibilité: Pour le prêt: CMI[Info GOS] (1). Actions: Add to Cart
129.  Monographie The Python standard library by example / Doug HellmannType de document: Monographie. Collection: Developer's library Éditeur: Upper Saddle River (N.J.) : Addison-Wesley, 2011 En-ligne: Cliquez ici Disponibilité: Pour le prêt: CMI[Info HEL] (1). Actions: Add to Cart
130.  Monographie The Spin model checker : primer and reference manual / Gerard J. HolzmannType de document: Monographie.Éditeur: Boston, MA : Addison-Wesley, 2004 Disponibilité: Pour le prêt: CMI[68 HOL] (1). Actions: Add to Cart
131.  Séminaire Théorie des algorithmes des langages et de la programmation / IRIAType de document: Séminaire. Collection: Séminaires IRIA Éditeur: Rocqencourt : IRIA, 1974 Disponibilité: Pour le prêt: CMI[68 IRI] (1). Actions: Add to Cart
132.  Séminaire Théorie des algorithmes des langages et de la programmation / IRIAType de document: Séminaire. Collection: Séminaires IRIA Éditeur: Rocqencourt : IRIA, 1973 Disponibilité: Pour le prêt: CMI[68 IRI] (1). Actions: Add to Cart No cover image available
133. Thèse Théorie et pratique de SQIL un langage intermédaire pour la compilation des langes fonctionnels / Nitsan SeniakType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1991 Disponibilité: Pour le prêt: CMI[Thèses SEN] (1). Actions: Add to Cart
134. Thèse Traitement de la prosodie dans les systèmes de reconnaissance automatique de la parole / Philippe LanglaisType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1995 Disponibilité: Pour le prêt: CMI[Thèses LAN] (1). Actions: Add to Cart No cover image available
135. Thèse Transformations automatiques de spécifications sémantiques, applications : un vérificateur de types incrémental / par Laurent HascoëtType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1987 Disponibilité: Pour le prêt: CMI[Thèses HAS] (1). Actions: Add to Cart
136. Thèse Transformations evaluation incrémentale et optimisations des grammaires attribuées, le système FNC-2 / Didier ParigotType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses PAR] (1). Actions: Add to Cart
137.  Monographie TURBO PASCAL 4-0 : guide de référence / Borland internationalType de document: Monographie.Éditeur: Velizy : Borland International, 1988 Disponibilité: Pour le prêt: CMI[Info BOR] (1). Actions: Add to Cart No cover image available
138.  Monographie TURBO PASCAL 4-0 : manuel d'utilisation / Borland InternationalType de document: Monographie.Éditeur: Velizy : Borland International, 1988 Disponibilité: Pour le prêt: CMI[Info BOR] (1). Actions: Add to Cart No cover image available
139.  Monographie Turbo Pascal approfondi / Frank DuttonType de document: Monographie.Éditeur: Paris : Sybex, 1988 Disponibilité: Pour le prêt: CMI[Info DUT] (1). Actions: Add to Cart
140.  Monographie Turbo Pascal tutor : cours d'auto-formation à Turbo Pascal / Borland InternationalType de document: Monographie.Éditeur: Tours : Fraciel, 1985 Disponibilité: Pour le prêt: CMI[Info BOR] (1). Actions: Add to Cart No cover image available
141. Thèse Typage d'un système de modules paramétriques avec partage : une application de l'unification dans les théories équationnelles / Maria Virginia AponteType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1992 Disponibilité: Pour le prêt: CMI[Thèses APO] (1). Actions: Add to Cart
142.  Monographie Type theory and functional programming / Simon ThompsonType de document: Monographie. Collection: International computer science series Éditeur: Wokingham : Addison-Wesley, 1991 Disponibilité: Pour le prêt: CMI[68 THO] (1). Actions: Add to Cart
143. Thèse D'un paragrapheur à un éditeur syntaxique et graphique pour le langage ESTEREL / Colas NahabooType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses NAH] (1). Actions: Add to Cart
144. Thèse Vérification formelle de descriptions VHDL comportementales / Félix NicoliType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1999 Disponibilité: Pour le prêt: CMI[Thèses NIC] (1). Actions: Add to Cart No cover image available
Languages: English | Français | |