Your search returned 668 results. Subscribe to this search

|
126.  Monographies, textes Construction et vérification de programmes [] / Roland C. Backhouse,... ; trad. par René QuiniouTranslation of : , Program construction and verification[Texte imprimé] / Roland C. Backhouse = c1986Publication : Paris : Masson, London : Prentice Hall, 1989, 53-Mayenne : Impr. FlochDescription : 1 vol. (276 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 110.131] (1), Sophia Antipolis[EMS 110-C03/N 2845] (1).
127.  Monographies, textes Les contrats de développement de logiciel sur mesure / Jan Hoorens, Paul Schoenmaeckers, Axel van LamsweerdePublication : Bruxelles : E. Story-Scientia, 1986Description : x, 250 p ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 109.037] (1).
128. Thèses Contribution à l'étude du comportement plastique des massifs rocheux [Texte imprimé] : développement du logiciel Plast3F, avec une application au cas d'exploitations souterraines / par Patricia PriouPublication : [S.l.] : [s.n.], 1983Description : 1 vol. (150 p.) ; 30 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 8555-8] (1).
129. Congrès COTS-based software systems [Texte imprimé] : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : Proceedings / John Dean, Andrée Gravel (eds.)Publication : Berlin, Heidelberg, New York : Springer, cop. 2002Description : XIV-255 p. : fig. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[ORL 02] (1).
130.  Monographies, textes Cours et exercices corrigés d'algorithmique [ [Texte imprimé]] : vérifier, tester et concevoir des programmes en les modélisant / Jacques Julliand ; préface de: Pierre BerliouxPublication : Paris : Vuibert, 2010Description : 1 vol. (VIII-264 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[JUL] (1).
131.  Monographies, textes Crafting a compiler / Charles N. Fischer, Richard J. LeBlanc, JrPublication : Menlo Park, Calif. : Benjamin/Cummings, c1988Description : xix, 811 p. : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3675] (1).
132.  Monographies, textes Creating Applications with Mozilla [] / David Boswell, Brian King, Ian Oeschger, Pete Collins, ... [et al.]Publication : Sebastopol, Calif., Farnham : O'Reilly, cop. 2002Description : 1 vol. (XVII-454p.) ; 23cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 4880] (1). Copies available for reference: Centre de recherche en informatique[BOS] (1).
133.  Monographies, textes Créer et modifier des PDF avec Acrobat 7 [] / Donna L. BakerTranslation of : Reviewing PDF documents in AcrobatPublication : Paris : Peachpit press, cop. 2005Description : 1 vol. (XIV-113 p.) : ill. en coul., couv. ill. en coul. ; 23 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 5776] (1).
134. Thèses Les critères ergonomiques [Texte imprimé] : un pas vers une aide méthodologique à l'évaluation des systèmes interactifs / par Joseph Maurice Christian Bastien ; sous la dir. de Jean-Claude Spérandio et Dominique L. ScapinPublication : [Le Chesnay] : [INRIA], [1997]Description : XII-372 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2183] (1).
135. Congrès CSCW 2004 [Texte imprimé] : computer supported cooperative work : conference proceedings, November 6-10, 2004, Chicago / sponsored by the ACM's Special Interest Group on Computer-Human Interaction (ACM SIGCHI) and the Special Interest Group on Supporting Group Work (ACM SIGGROUP)Publication : New York, N.Y. : ACM Press, cop. 2004Description : XIV-630 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHI 04] (1).
136.  Monographies, textes Custom memory management methodology [] : exploration of memory organisation for embedded multimedia system design / Francky Catthoor, ..., Sven Wuytack, ..., Eddy de Greef, ... [et al.]Publication : Boston : Kluwer Academic Publishers, 1998Description : XI-344 p. : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[CAT] (1).
137.  Monographies, textes CVS [] : configuration et mise en oeuvre / Frédéric LepiedPublication : Cambridge, Cologne, Paris : O'Reilly, DL 2000Description : 1 vol. (xi-192 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 4401] (2).
138.  Monographies, textes Debugging and performance tuning for parallel computing systems [] / Ann H. Hayes ... [et al.]Publication : Los Alamitos, Calif. : IEEE Computer Society Press, cop. 1996Description : 1 vol. (xi, 403 p.) : ill. ; 27 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2096] (1).
139. Congrès Debugging techniques in large systems : Courant Computer Science Symposium 1 : June 29 - July 1, 1970 [Texte imprimé] / Edited by Randall Rustin,...Publication : Englewood Cliffs, N.J. : Prentice-Hall, 1971Description : 1 vol. (148 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0728] (1).
140.  Monographies, textes Débuter avec Qt 3 [] / Jean-Luc BiordPublication : [S.l.] : [s.n.], 2004, Paris : impr. Jouve, 2004Description : 165 p. : ill. ; 21 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 5453] (1).
141.  Monographies, textes Décoder les développeurs : enquête sur une profession à l'avant-garde / [Benjamin Tainturier, Emmanuelle Duez] ; [avec] The Boson ProjectPublication : Paris : Eyrolles, DL 2017Description : 1 vol. (VII-129 p.) ; 22 cmAvailability: Copies available for loan: Bib. Paris[302.35 BOS d] (1).
142.  Monographies, textes Le défi du logiciel / par les rédacteurs des Ed. Time-Life ; [dir : Dominique Aubert, Michèle Le Baube] ; [trad. de l'anglais par Christine Denizon]Translation of : ˜The œsoftware challengePublication : Amsterdam : Time-Life, 1989Description : 126 p : ill ; 29 cmAvailability: Copies available for loan: Bib. Paris[EMP 502.228] (1).
143.  Monographies, textes Dependence analysis [] / Utpal BanerjeePublication : Boston : Kluwer Academic Publishers, c1997Description : 1 vol. (xvii, 214 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2046] (1).
144.  Monographies, textes Design patterns [] : catalogue de modèles de conception réutilisables / Erich Gamma, Richard Helm, Ralph Johnson... [et al.] ; traduction de Jean-Marie LasvergèresPublication : Paris : Vuibert, cop. 1999Description : 1 vol. (XVI-459 p.) : couv. ill. en coul. ; 24 cm + 1 cédéromAvailability: Copies available for loan: Bib. Paris[EMP 114.482] (1).
145.  Monographies, textes Design patterns [] : tête la première / Eric Freeman, Elisabeth Freeman ; avec Kathy Sierra, Bert Bates ; traduction de Marie-Cécile BalandTranslation of : Head first design patternsPublication : Paris : O'Reilly®, 2005Description : 1 vol. (XXXIV-639 p.) : ill., couv. ill. en noir et en coul ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 115.386] (1).
146.  Monographies, textes Design patterns and contracts [] / Jean-Marc Jézéquel, Michel Train, Christine MinginsPublication : Reading (Mass.), Menlo Park (Calif.), Harlow (England) : Addison-Wesley, 1999Description : 1 vol. (XV-348 p.) ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 4370] (1).
147.  Monographies, textes Designing embedded systems with the SIGNAL programming language : synchronous, reactive specification [] / by Abdoulaye GamatiéPublication : New York, London : Springer, cop. 2010Description : 1 vol. (XXIII-259 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GAM] (1).
148.  Monographies, textes Designing object-oriented C++ applications using the Booch method / Robert C. MartinPublication : Englewood Cliffs, N.J. : Prentice Hall, c1995Description : xxxi, 528 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1926] (1).
149.  Monographies, textes Designing user interfaces for hypermedia [] / W. Schuler, J. Hannemann, N. Streitz, edsPublication : Berlin, New York : Springer, c1995Description : 1 vol. (xi, 250 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1741] (1).
150.  Monographies, textes Designing Web navigation [] / James KalbachPublication : Beijing, Cambridge, Sebastopol : O'Reilly, cop. 2007Description : 1 vol. (XV-394 p.) : ill. en coul, couv. ill. en coul. ; 25 cmAvailability: Copies available for loan: Bib. Paris[004.78 KAL d] (1).

Powered by Koha