Your search returned 633 results. Subscribe to this search

|
501.  Monographies, textes Software metrics [] : a rigorous approach / Norman E. FentonPublication : London, New York : Chapman & Hall, cop. 1991Description : 1 vol. (XII, 337 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-432] (1).
502.  Monographies, textes Software requirements & specifications [] : a lexicon of practice, principles, and prejudices / Michael JacksonPublication : Harlow, Reading, Menlo Park [etc.] : ACM Press : Addison-Wesley, 1995Description : 1 vol. (XVI-228 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1775] (1).
503.  Monographies, textes Software reuse [] : architecture process and organization for business success / Ivar Jacobson, Martin Griss, Patrik JonssonPublication : New York, NY : ACM Press, Harlow, England, Reading, MA : Addison Wesley Longman, c1997Description : XXVIII-497 p. : ill. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C03/N 4132] (1).
504.  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).
505.  Monographies, textes Software testing techniques [] / Boris BeizerPublication : New York (N. Y.) : Van Nostrand Reinhold, Boston (Mass.) : International Thomson computer press, cop. 1990Description : 1 vol. (xxvi-550 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-736] (1).
506. Solution de guidage-navigation-pilotage pour véhicules autonomes hétérogènes en vue d'une mission collaborative / par David Vissière ; sous la direction de Nicolas PetitPublication : 2008Description : 1 vol. (169 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 153.956 CCL. TH. 1221] (2).
507. Thèses Solution de guidage-navigation-pilotage pour véhicules autonomes hétérogènes en vue d'une mission collaborative [Ressource électronique] / par David Vissière ; sous la direction de Nicolas PetitPublication : Paris : MINES ParisTech, 2008Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00004492] (1).
508. Thèses Source code optimization techniques for data flow dominated embedded software [Texte imprimé] / Heiko Falk ; Peter MarwedelPublication : Boston : Kluwer Academic Publishers, cop. 2004Description : 1 vol. (XX-226 p.) ; 25 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 5580] (1).
510. Congrès Static analysis [ [Texte imprimé]] : 15th International symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings ; María Alpuente, Germán Vidal (Eds.)Publication : Berlin, New York : Springer, 2008Description : 1 vol. (X-377 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[VAL 08] (1).
511. Congrès Static Analysis [] : 21th International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings / Markus Müller-Olm, Helmut Seidl (eds.)Publication : Cham, Heidelberg : Springer, cop. 2014Description : 1 vol. (XVIII-337 p.) : fig., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUN 14] (1).
512. Congrès Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : Proceedings ; Sandrine Blazy, Thomas Jensenl (eds.)Publication : Berlin, Heidelberg : Springer-Verlag, cop. 2015Description : 1 vol. (331 p.) : fig., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[Saint-MAL 15] (1).
513.  Monographies, textes Static dependence analysis and control for loop scheduling / Christine Eisenbeis, William JalbyPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, [1990]Description : 21 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-159] (1).
514.  Monographies, textes Statistiques avec R [ [Texte imprimé]] / Pierre-André Cornillon, Arnaud Guyader, François Husson... [et al.]Publication : Rennes : Presses universitaires de Rennes, 2008Description : 1 vol. (V-257 p.) : fig., tabl., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Géostatistique[L-1755] (2).
515.  Monographies, textes Statistiques en sciences humaines avec R : sciences sociales et psychologie / Jean-Herman GuayPublication : [Louvain-la-Neuve] : De Boeck, [Québec] : [Presses universitaires de Laval], DL 2014, cop. 2014Description : 1 vol. (XIII-238 p.) : ill., couv. ill. ; 25 cmAvailability: Copies available for loan: Bib. Paris[300.72 GUA s] (1).
516.  Monographies, textes Statistiques et probabilités avec l'ordinateur [] / par Alain ThomazoPublication : Boulogne, 99, B Jean-Jaurès, 92100 : Éditions d'informatique, Paris : Scodel, [1981], 91-Le Pré-Saint-Gervais : impr. BarbouDescription : 1 vol. (85 p.) : ill., couv. ill ; 25 cmAvailability: Copies available for loan: Bib. Paris[EMP 106.766] (1).
517.  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).
518.  Monographies, textes Supercompilers for parallel and vector computers [] / Hans Zima, Barbara ChapmanPublication : New York, N.Y. : ACM Press, Wokingham, England, Reading, Mass. : Addison-Wesley, cop. 1991Description : 1 vol. (XV-376 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[ZIM] (3).
519.  Monographies, textes Symbolic analysis for parallelizing compilers [] / Mohammad R. Haghighat,...Publication : Boston, London, Dordrecht : Kluwer Academic, cop. 1995Description : XXIII-137 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1729] (1).
520.  Monographies, textes Synopses of information processing systems and software : projects, exploratory actions and special actions [] / Directorate-General XIII, Information Technologies and Industries, and Telecommunications, RTD: Information TechnologiesPublication : Bruxelles : Commission of the European Communities, c1992Description : 1 vol.(xliii, 571 p.) ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1002] (1).
521.  Monographies, textes SystemC [] : methodologies and applications / ed. Wolfgang Müller, Wolfgang Rosenstiel, Jürgen Ruf ; préf. Grant Martin, Thorstein GrötkerPublication : Boston, Dordrecht, London : Kluwer Academic Publishers, 2003Description : 1 vol. (XIII-349 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[004.2 MUL s] (1).
522.  Monographies, textes Le système X Window [] / Oliver Jones ; texte français de Bruno Terseur ; avec la collab. de Chantal Saint-Cast ; préf. de Jean-Paul Rigault,...Translation of : Introduction to the X Window systemPublication : Paris : InterÉditions, DL 1992, 05-Gap : Impr. Louis-JeanDescription : 1 vol. (602 p.) : ill., couv. ill. en coul. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-999] (2).
523.  Monographies, textes Les Systèmes d'information sur mini ordinateur / étude réalisée par la STERIA [Société de réalisation en informatique et en automatique]Publication : Paris, 63 bis, rue du Cardinal-Lemoine, 75005 : Association française des documentalistes et bibliothécaires spécialisés, 1976Description : 117 p. multigr ; 21 cmAvailability: Copies available for loan: Bib. Paris[EMP C 90] (1).
524.  Monographies, textes Les systèmes de gestion de bibliothèques [] : les logiciels disponibles sur le marché français : description, utilisation / Annie Gourdier, Marc MaisonneuvePublication : Paris : À Jour, cop. 1991, 28-Luisant : Impr. DurandDescription : 1 vol. (1112 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GOU] (1).
525.  Monographies, textes Systèmes énergétiques, Tome 1, Méthodologie d'analyse, bases de thermodynamique, composants, Thermoptim / Renaud GicquelPublication : Paris : Presses de l'École des Mines de Paris, 2001Description : 1 vol. (XI-264 p.) : ill. en noir, couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 3908(79)] (1), Bib. Paris[536.7 GIC s(1)] (3). Copies available for reference: Bib. Evry[EMC 4076.1] (1).

Powered by Koha