Your search returned 16 results. Subscribe to this search

|
1.  Monographies, textes Algorithmique [] : construction, preuve et évaluation des programmes / par Pierre Berlioux,... Philippe Bizard,...Publication : Paris : Dunod, DL 1983Description : 1 vol. (X-179 p.) : ill. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 1894] (1). Copies available for reference: Centre de recherche en informatique[BER] (2).
2.  Monographies, textes La bataille du logiciel libre [] : dix clés pour comprendre / Perline, Thierry NoisettePublication : Paris : La Découverte, impr. 2004, cop. 2004, 18-Saint-Amand-Montrond : Impr. Bussière CamedanDescription : 1 vol. (128 p.) : couv. ill. en coul. ; 19 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 5480] (1). Copies available for reference: Centre de recherche en informatique[PER] (1).
3.  Monographies, textes Building Embedded Linux Systems [] / Karim YaghmourPublication : Sebastopol (Calif.) : O'Reilly, impr. 2003Description : 1 vol. (XXII-391 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[YAG] (1), Sophia Antipolis[EMS 110-C/N 5200] (1).
4.  Monographies, textes Calculabilité effective et algorithmique théorique [] / Patrick Vollat,...Publication : Paris : Eyrolles, 1989, 45-Saint-Jean-de-Bray : Impr. nouvelleDescription : 1 vol. (186 p.) ; 24 cm.Availability: Copies available for loan: Bib. Paris[EMP 108.818] (1), Sophia Antipolis[EMS 110-C03/N 2677] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI6440] (1).
5.  Monographies, textes Conception et programmation par objets [] : pour du logiciel de qualité / Bertrand Meyer,... ; traduit de l'américain et mis à jour par Robert MahlTranslation of : , Object-oriented software construction[Texte imprimé] / Bertrand Meyer,... = cop. 1988Publication : Paris : InterÉditions, 1990, 28-Meaucé : Impr. Arts graphiques du PercheDescription : 1 vol. (622 p.) : ill., couv. ill. en coul. ; 23 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3935(5)] (1), Bib. Paris[EMP 110.511] (1), Sophia Antipolis[EMS 110-C/N 2850] (1). Copies available for reference: Centre de recherche en informatique[MEY] (2).
6.  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).
7. Thèses Gérer et comprendre l'open source [] : une modélisation en termes de régimes / Nordine BenkeltoumPublication : Paris : Presses des Mines-Transvalor, impr. 2011, cop. 2011Description : 1 vol. (231 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3924(195)] (1), Bib. Paris[338.761 BEN g] (2). Copies available for reference: Bib. Fontainebleau[BEN] (1), Centre de Gestion Scientifique[BAH00091] (1), Sophia Antipolis[EMS N 2011-583(CEP)] (1).
8. Thèses De la sémantique opérationnelle à la spécification formelle de compilateurs [Texte imprimé] : l'exemple des boucles en Esterel / par Olivier Tardieu ; sous la direction de Gérard BerryPublication : [S.l.] : [s.n.], 2004Description : 1 vol. (130 p.) ; 30 cmAvailability: Click here to access online Copies available for reference: Centre de recherche en informatique[04 TAR] (1), Sophia Antipolis[EMS T-CMA-055] (1).
9.  Monographies, textes LaTex [] : a document preparation system / Leslie Lamport,... ; illustrations by Duane BibbyPublication : Reading, Mass., Menlo Park, Calif., Don Mills, Ont. [etc.] : Addison-Wesley, cop. 1986Description : 1 vol. (XIV-242 p.) : ill. ; 24 cm + 1 dépliantAvailability: Copies available for loan: Bib. Paris[EMP 109.654] (1), Sophia Antipolis[EMS 110-C03/N 2391] (1). Copies available for reference: Centre de recherche en informatique[LAM] (1), Sophia Antipolis[EMS 110-C03/N 11035] (2).
10.  Monographies, textes Object-oriented software construction [] / Bertrand Meyer,...Publication : New York (N. Y.) [etc.] : Prentice Hall, cop. 1988Description : 1 vol. (XVIII-534 p.) ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 2585] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI6756] (1).
11. Congrès Programmation en mathématiques numériques [Texte imprimé] : Besançon, 7-14 Septembre 1966 / Colloques internationaux du Centre national de la recherche scientifique ; [Organisé par M. J. Kuntzmann,... et M. J. L. Rigal,...]Publication : Paris : Éditions du Centre national de la recherche scientifique, 1968Description : 1 vol. (391 p.) : Ill. ; 25 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 127] (1). Copies available for reference: Centre de recherche en informatique[EM AI CC0111] (1).
12.  Monographies, textes Systems and software verification [] : model-checking techniques and tools / B. Bérard, M. Bidoit, A. Finkel... [et al.] ; [traduction par] Pierre McKenzieTranslation of : Vérification de logicielsPublication : Berlin, New York, Paris : Springer, cop. 2001Description : 1 vol. (XII-190 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 5375] (1). Copies available for reference: Centre de recherche en informatique[BER] (1).
13.  Monographies, textes The LaTeX companion / Michel Goossens,... Frank Mittelbach,... Alexander Samarin,...Publication : Reading, (Mass.), Don Mills, Paris : Addison-Wesley, copyright 1994Description : 1 vol. (XXX-528 p.) : graph., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 111.920] (4). Copies available for reference: Centre de recherche en informatique[EM AI CI200-1446] (4).
14.  Monographies, textes The LaTeX graphics companion : illustrating documents with TEX and PostScript / Michel Goossens,... Sebastian Rahtz,... Frank Mittelbach,...Publication : Boston (Mass.), Paris [etc.] : Addison-Wesley, copyright 1997Description : 1 vol. (XXV-554 p.- XVI p. de pl. en coul.) : ill. en noir et en coul., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Fontainebleau[F22273-8] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI200-2252] (1).
15.  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 loan: Sophia Antipolis[EMS 110-C/N 4438] (1). Copies available for reference: Centre de recherche en informatique[BOO] (1).
16.  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).

Powered by Koha