Your search returned 10 results. Subscribe to this search

|
1.  Monographies, textes Analyse constructive et optimisation séquentielle des circuits générés à partir du langage synchrone réactif ESTEREL / Horia Alexandru Toma ; sous la direction de Gérard BerryPublication :Description : 1 vol. (199 p.) : ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 146.595 CCL.TH.907] (1). Copies available for reference: Bib. Paris[EMP 146.594 CCL.TH.907] (1), Centre de recherche en informatique[EM AI CI200-2267] (1), Sophia Antipolis[EMS T-CMA-042] (1).
2.  Monographies, textes L'automatique en classes préparatoires [] / Bernard Descotes-Genon,... Jean Le Bail,...Publication :Paris : Ellipses, cop. 1995, 37-Tours : Impr. MameDescription : 1 vol. (188 p.) : ill., couv. ill ; 26 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-D/N 4839] (1).
3.  Monographies, textes Combinatorial Methods in Density Estimation / Luc Devroye, Gábor LugosiPublication :New York : Springer-Verlag, 2001Description : 1 vol. (XII-208 p.) ; 25 cmAvailability: Copies available for reference: Sophia Antipolis[EMS N 2007-534(CEP)] (1).
4.  Monographies, textes Computers and intractability [] : A guide to the theory of NP-completeness / Michael R. Garey, David S. Johnson,...Publication :New York, N.Y : W. H. Freeman, cop. 1979Description : 1 vol. (X-340 p.) : ill., graph., couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3038] (1), Sophia Antipolis[EMS 110-C03/N 3206] (1).
5.  Monographies, textes Genetic Algorithms in Search, Optimization, and Machine Learning / David E. GoldbergPublication :Reading, Mass., Menlo Park, Cal., [etc.] : Addison-Wesley, cop. 1989Description : 1 vol. (XIII-412 p.) : ill. ; 24 cmAvailability: Copies available for reference: Sophia Antipolis[EMS N 99-435(CENERG)] (1). In transit (1).
6.  Monographies, textes Géométrie algorithmique [] / Jean-Daniel Boissonnat,... et Mariette Yvinec,...Publication :Paris : Ediscience international, cop. 1995, 05-Gap : Impr. Louis-JeanDescription : 1 vol. (XIX-540 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 19436-8] (1), Bib. Paris[EMP 113.794] (1). Copies available for reference: Sophia Antipolis[EMS 110-C/N 3937] (1).
7.  Monographies, textes Graphes et algorithmes [] / Michel Gondran,... Michel Minoux,...Publication :Paris : Eyrolles, 1990Description : xxvii-546 p. : fig. ; 25 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-C03/N 3196] (1).
8.  Monographies, textes Lambda-calcul [] : types et modèles / Jean-Louis Krivine,...Publication :Paris, Milan, Barcelone [etc.] : Masson, cop.1990, 53-Mayenne : Impr. FlochDescription : 1 vol. (VIII-176 p.) : couv. ill. en coul. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-061] (1), Sophia Antipolis[EMS 110-C/N 2821] (1).
9.  Monographies, textes Logique, réduction, résolution [] / René Lalement,... ; préf. de Michel DemazurePublication :Paris, Milan, Barcelone [etc.] : Masson, 1990, 61-Alençon : Normandie impr.Description : 1 vol. (xii-370 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-062] (1), Sophia Antipolis[EMS 110-C/N 2843] (1).
10.  Monographies, textes Principes de fonctionnement des ordinateurs [] / R. Dowsing, F. Woodhams ; trad. de l'anglais par Éric DavidTranslation of : Computer architecturePublication :Paris, New York, Barcelone : Masson, 1987, 14-Condé-sur-Noireau : Impr. CorletDescription : 154 p. : ill. ; 24 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-C/N 2445] (1).

Powered by Koha