Your search returned 149 results. Subscribe to this search

|
126.  Monographies, textes Software Systems Safety ; edited by Orna Grumberg, Helmut Seidl, Maximilian IrlbeckPublication : Amsterdam, Washington, DC : IOS Press, cop. 2014Description : 1 vol. (VII-445 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[SOF] (1).
127. Revues : n° spéciaux Special issue on Systems-on-chip [[Texte imprimé]] : design and integration / guest ed.: Graham Jullien, Magdy BayoumiPublication : New York : IEEE, 2006Description : p. 1045-1069 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI22428] (1).
128.  Monographies, textes Subversion [] : Pratique des projets collaboratifs avec SVN / Mike Mason ; adapté par Isabelle Hurbain ; relecture d'Anne BougnouxTranslation of : Pragmatic version control using subversionPublication : Paris : Eyrolles, DL 2006Description : 1 vol. (XIII-191 p.) : ill., couv. ill. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[MAS] (1).
129.  Monographies, textes Sur la stabilisation par retour d'état instationnaire / par Pascal Morin ; [sous la dir. de Claude Samson]Publication : [Le Chesnay] : [INRIA], [1996]Description : 1 vol. (215 p.) : ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 144.443 CCL.TH.846] (1). Copies available for reference: Bib. Paris[EMP 144.442 CCL.TH.846] (1), Centre de recherche en informatique[EM AI CI200-1949] (1).
130.  Monographies, textes Le test des logiciels [] / Spyros Xanthakis ; Pascal Régnier, Constantin KarapouliosPublication : Paris : Hermès, DL 2000Description : 1 vol. (329 p.) : ill. graph. tabl. ; 23 cmAvailability: No copies available Checked out (1).
131.  Monographies, textes The Chicago manual of style [] / The University of Chicago pressPublication : Chicago, London : University of Chicago press, 2003Description : 1 vol. (XVII-956 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHI] (1).
132.  Monographies, textes The essential CORBA [] : systems integration using distributed objects / Thomas J. Mowbray, Ron ZahaviPublication : New York, Chichester [etc.] : J. Wiley, cop. 1995Description : XVI-316 p : ill ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1913] (1).
133.  Monographies, textes The Specification of complex systems / B. Cohen, W.T. Harwood, M.I. JacksonPublication : Wokingham, England, Reading, Mass. : Addison-Wesley, 1986Description : xii, 143 p. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3316] (1).
134.  Monographies, textes The unified modeling language user guide [] / Grady Booch, James Rumbaugh, Ivar Jacobson,...Publication : Reading (Mass.), Harlow, England, Menlo Park, Calif. : Addison-Wesley, cop. 1999Description : 1 vol. (XXII-482 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[BOO] (1), Sophia Antipolis[EMS 110-C/N 4438] (1).
135.  Monographies, textes The use of computers in business organizations [] : [decision, acquisition, implementation] / Frederic G. WithingtonPublication : Reading (Mass.) [etc.] : Addison-Wesley, cop. 1966Description : 1 vol. (viii-245 p.) ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0179] (1).
136. Congrès Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.)Publication : New York, heidelberg : Springer, cop. 2002Description : 1 vol. (XIII-482 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
137. Congrès Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.)Publication : Berlin, New York : Springer, cop. 2003Description : XVI-604 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).
138.  Monographies, textes Tutorial on software design techniques [] / [edited by] Peter Freeman, Anthony I. WassermanPublication : Silver Spring, MD : IEEE Computer Society Press, Los Angeles, CA : Order from IEEE Computer Society, cop.1983Description : 1 vol. (ix, 719 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2848] (1).
139.  Monographies, textes Twisted network programming essentials [] / Abe Fettig ; [foreword by Glyph Lefkowitz,...]Publication : Sebastopol (Calif.) : O'Reilly, 2005, cop. 2006Description : 1 vol. (xix-213 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[FET] (1).
140.  Monographies, textes UML [] : principes de modélisation / Rémy Fannader... Hervé Leroux..Publication : Paris : Dunod, impr. 1999Description : 1 vol. (XI-286 p.) : ill., couv. ill. en coul. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[FAN] (1).
141.  Monographies, textes UML 2 [] : guide de référence / James Rumbaugh, Ivar Jacobson, Grady Booch ; [traduit de l'américain par Emmanuelle Burr, Véronique Campillo et Véronique Warion]Translation of : , ˜The œunified modeling language reference manual[Texte imprimé] / James Rumbaugh, Ivar Jacobson, Grady Booch : 2nd edition = 2004, cop. 2005Publication : Paris : CampusPress : Pearson education France, impr. 2004Description : 1 vol. (VI-774 p.) : ill., couv. ill. en coul. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[RUM] (1).
142.  Monographies, textes UML 2 et les design patterns [] / Craig Larman,... ; traduction Emmanuelle Burr, Marie-Cécile Baland et Luc Carité ; [préface de Philippe Kruchten,... Pascal Roques (préface et relecture), ...]Translation of : Applying UML and patternsPublication : Paris : Pearson Education, DL 2005Description : 1 vol. (XXX-655 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[LAR] (1).
143.  Monographies, textes UML pour l'analyse d'un système d'information [] : le cahier des charges du maître d'ouvrage / Chantal Morley,... Jean Hugues,... Bernard Leblanc,... ; préface de Georges GardarinPublication : Paris : Dunod, cop. 2002Description : 1 vol. (XII-232 p.) : ill., couv. ill. en coul. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[MOR] (1).
144.  Monographies, textes Understanding UML : the developer's guide : with a Web-based application in Java / Paul Harmon, Mark WatsonPublication : San Francisco : Morgan Kaufmann Publishers, c1998Description : xvi, 367 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2385] (1).
145. Congrès VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)Publication : Berlin, New York : Springer-Verlag, c1990Description : xvii, 579 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6954] (1).
146. Congrès VERY LARGE DATA BASES.Publication : NEW-YORK : IEEE, 1981Description : 01 VOL.,584 P. : RF X ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1310] (2).
147.  Monographies, textes VLSI chip design with the hardware description language VERILOG [] : an introduction based on a large RISC processor design / Ulrich Golze ; with Peter Blinzer, Elmar Cochlovius, Michael Schäfers... [et al.]Publication : Berlin [etc.] : Springer, cop. 1996Description : 1 vol. (XIV-358 p.) : ill. ; 24 cm + 1 disquette (3 1/2 in.)Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1799] (1).
148.  Monographies, textes XForms essentials [] / Micah DubinkoPublication : Beijing, Cambridge, Paris [etc.] : O'Reilly, 2003Description : XIV-215 p. : ill. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[DUB] (2).
149.  Monographies, textes XML in a nutshell [] : manuel de référence / Elliotte Rusty Harold & W. Scott Means ; trad. de Thomas Broyer, Philippe Ensarguet, Frédéric Laurent... [et al.]Translation of : XML in a Nutshell : 2nd EditionPublication : Paris : O'Reilly, 2002Description : 1 vol. (XVIII-674 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[005.133 HAR x] (1). Copies available for reference: Centre de recherche en informatique[HAR] (1).

Powered by Koha