Your search returned 633 results. Subscribe to this search

|
576.  Monographies, textes D'UML à C++ [] : passage d'une conception UML à une implémentation C++ / Alexandre GuidetPublication : Paris : Ellipses, impr. 2013, cop. 2013Description : 1 vol. (384 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Paris[005.432 UML g] (1).
577.  Monographies, textes UML en action [] : de l'analyse des besoins à la conception en Java / Pascal Roques, Franck ValléePublication : Paris : Eyrolles, impr. 2000Description : 1 vol. (IV-385 p.) ; 23 cm + 1 CD-ROMAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 4424] (1).
578.  Monographies, textes UML for real [] : design of embedded real-time systems / edited by Luciano Lavagno, Grant Martin, Bran SelicPublication : Boston : Kluwer Academic Publishers, 2003Description : XIII-370 p. : ill. ; 25 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 5190] (1).
579.  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).
580.  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).
581.  Monographies, textes Unix administration [] / Jean-Michel Moreno,...Publication : Paris : Édiscience international, 1995, 05-Gap : Impr. Louis-JeanDescription : 1 vol. (XVIII-679 p.) : couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MOR] (1).
582.  Monographies, textes UNIX power tools [] / Shelley Powers ... [et al.]Publication : Sebastopol, CA : O'Reilly, c2003Description : 1 vol. (XXXVIII-1116 p.) : ill. ; 24 cm.Availability: Copies available for loan: Bib. Paris[005.432 UNI p] (1).
583.  Monographies, textes Unix power tools [] / Jerry Peek...; and other authors of the nutshell handboks including Linda Mui...[et al.]Publication : Sebastopol(Calif) : O'Reilly, New York : Random House, cop. 1997Description : 1 vol. (xliii-1073 p.) ; 24 cm + 1 Cd RomAvailability: Copies available for reference: Centre de recherche en informatique[PEE] (1).
584.  Monographies, textes Using MPI : Portable Parallel Programming with the Message-Passing Interface / William Gropp, Ewing Lusk, Anthony SkjellumPublication : Cambridge, Mass. : MIT Press, cop. 2014Description : 1 vol. (XXIII-308 p.) : ill. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRO] (1).
585.  Monographies, textes Using rewriting techniques to produce code-generators and proving them correct / Annie Despland, Monique Mazaud, Raymond RakotozafyPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989Description : 31 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6361] (1).
586.  Monographies, textes Utilisation des langages objets pour le prototypage [] / Philippe Krief,... ; préface de Harald WertzPublication : Paris, Milan, Barcelone [etc.] : Masson, 1992, Impr. en BelgiqueDescription : 1 vol. (XVII-248 p.) : ill., couv. ill. ; 25 cmAvailability: Copies available for loan: Bib. Paris[EMP 110.680] (1).
587. Thèses Utilisation des techniques de l'intelligence artificielle pour la gestion des réseaux informatiques / par Stéphane PouillotPublication : Description : [3]-106 p. : fig., tabl. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 155B (94NJ00104)] (1).
588.  Monographies, textes Utilitaires de mesure de performances pour le CRAY = Performance utilities for the CRAY / Souffez YPublication : Clamart : diff. EDF-DER, cop. 1993Description : 84 p ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 155B (93NJ00005)] (1).
589.  Monographies, textes Utopie du logiciel libre [] : du bricolage informatique à la réinvention sociale / Sébastien Broca ; préface de Christopher M. KeltyPublication : Neuvy-en-Champagne : le Passager clandestin, DL 2013, cop. 2013Description : 1 vol. (282 p.) : couv. ill. ; 20 cmAvailability: Copies available for loan: Bib. Paris[303.483 BRO u] (1).
590.  Monographies, textes VDM [] : une méthode rigoureuse pour le développement du logiciel / Cliff B. Jones ; trad. de la 2e ed. par Michel LemoineTranslation of : , Systematic software development using VDM[Texte imprimé] / Cliff B. Jones : 2nd ed. = 1990Publication : Paris : Masson, London : Prentice Hall, 1993Description : 1 vol. (XIV-290 p.) ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 4013] (1).
591. 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).
592. Congrès VEE '15 : Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments : March 14-15, 2015, Istanbul, Turkey / sponsored by: ACM SIGPLAN and ACM SIGOPSSet Level : , SIGPLAN notices, vol. 50, n°7Publication : New York : ACM Press, 2015Description : 1 vol. (VIII-229 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[IST 15] (1).
593. Congrès VEE '16 : Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments : April 1-3, 2016, Atlanta, Georgia, USA / sponsored by: ACM SIGPLAN and ACM SIGOPS. In-cooperation with: UsenixSet Level : , SIGPLAN notices, vol. 51, n°7Publication : New York : ACM Press, 2016Description : 1 vol. (VIII-178 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[ATL 16] (1).
594. Congrès VEE '17 : Proceedings of the 2017 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments : April 8th-9th 2017, Xian, China / sponsored by: ACM SIGPLAN and ACM SIGOPS. In-cooperation with: UsenixSet Level : , SIGPLAN notices, vol. 52, n°7Publication : New York : ACM Press, 2017Description : 1 vol. (ii-257 p.) ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI 200-4510] (1).
595.  Monographies, textes Verification [] : theory and practice : essays dedicaced to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)Publication : Berlin, Heidelberg, New York : Springer, cop.2003Description : XV-782 p. : couv. ill. en coul., 1 portr. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[DER] (1).
596. Thèses Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique [Texte imprimé] / par Boutheïna Chetali ; [sous la dir. de Pierre Lescanne]Publication : [Le Chesnay] : [INRIA], [1996]Description : XIV-252 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1977] (1).
597. Congrès Verification, model checking, and abstract interpretation [Texte imprimé] : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds)Publication : Berlin, New York : Springer, cop. 2004Description : XI-324 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VEN 04] (1).
598. Congrès Verification, model checking, and abstract interpretation [Texte imprimé] : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings / Radhia Cousot (Ed.)Publication : Berlin, Heidelberg : Springer, cop. 2005Description : XI-481 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 05] (1).
599. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings ; Ranjit Jhala, David Schmidt (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2011Description : 1 vol. (XI-418 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[AUS 11] (1).
600.  Monographies, textes Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings ; Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (Eds.)Publication : Heidelberg, Dordrecht, London, New York : Springer, cop. 2013Description : 1 vol. (XI-556 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[ROM 13] (1).

Powered by Koha