Your search returned 55 results. Subscribe to this search

|
1. Congrès 2001 International Workshop on System-Level Interconnect Prediction : Sonoma, California, USA March 31-April 1, 2001 / @International Workshop on System-Level Interconnect PredictionPublication : New York, N.Y. : ACM, c2001Description : vii, 205 p. : ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[SON 01] (1).
2. Congrès ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems [Texte imprimé] : Doubletree Hotel, Monterey, California, USA, December 2-3, 2002 / sponsored by ACM SIGDA...Publication : New York, N.Y. : Association for Computing Machinery,$ccop. 2002Description : VII-148 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[MON 02] (1).
3.  Monographies, textes Analyse Expérimentale et Numérique des Contraintes Thermomécaniques Induites lors des Procédés Émergents de Fabrication de Puces Électroniques au moyen des Capteurs Embarqués / Komi Atchou Ewuame ; sous la direction de Karim Inal et de Pierre-Olivier BouchardPublication : 2016Availability: Accès au texte intégral | Click here to access online | Click here to access online
4.  Monographies, textes Asynchronous circuits [] / Janusz A. Brzozowski, Carl-Johan H. Seger ; with a foreword by Charles E. MolnarPublication : New York, Berlin, Heidelberg [etc.] : Springer-Verlag, cop. 1995Description : 1 vol. (XVI-404 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de Morphologie Mathématique[L-51/96/MM] (1).
5.  Monographies, textes Le câblage des algorithmes [] / Jean-Noël ContensouPublication : Paris : Hermès, impr. 1995, 53-Mayenne : Impr. FlochDescription : 1 vol. (404 p) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1797] (1).
6.  Monographies, textes Caractérisation in operando de l'endommagement par électromigration des interconnexions 3D : Vers un modèle éléments finis prédictif / Simon Gousseau ; sous la direction de Pierre Montmitonnet et de Karim InalPublication : 2015Availability: Accès au texte intégral | Click here to access online | Click here to access online Copies available for reference: En ligne[https://pastel.archives-ouvertes.fr/tel-01213669] (1).
7.  Monographies, textes Circuits intégrés en arséniure de gallium [] : physique, technologie et règles de conception / R. Castagné, J.-P. Duchemin, M. Gloanec... [et al.] ; préface du Pr. Pierre GrivetPublication : Paris, Milan, Barcelone [etc.] : Masson, 1989Description : 1 vol. (XII-591 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 110.178] (1).
8.  Monographies, textes Circuits intégrés et techniques numériques [] / par R. Delsol,...Publication : Toulouse : Cepaduès, DL 1989Description : 1 vol. (398 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 110.780] (1).
9.  Monographies, textes Circuits intégrés JFET-MOS-CMOS : principes et applications / H. LilenPublication : Paris : Ed. Radio, 1979Description : 416 p : ill., couv. ill. en coul ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 106.108] (1). Copies available for reference: Centre de recherche en informatique[EM AI CC0884] (1).
10.  Monographies, textes Circuits intégrés linéaires [] : principes et applications : technologie, principes et fonctionnement des circuits intégrés, shémas d'utilisation / H. LilenPublication : Paris : Radio, 1978Description : 446 p. : fig. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 106.119] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI0891] (1).
11.  Monographies, textes Circuits intégrés numériques : principes et applications des circuits intégrés numériques, familles, fonctions, utilisations / H. LilenPublication : Paris : Ed. Radio, 1978Description : 383 p : ill ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 106.109] (1).
12.  Monographies, textes Circuits logiques intégrés [] / par R. Lyon-Caen,... ; introduction de P. Chavance,...Publication : Paris : Masson, 1968Description : 1 vol. (IX-201 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 101.681] (1).
13.  Monographies, textes Circuits logiques M.S.I. [middle scale integration] et L.S.I. [large scale integration] [] / par R. Lyon-Caen,... ; préface du Pr.P.AigrainPublication : Paris, New York, Barcelone : Masson, 1976, 28-Luisant : impr. DurandDescription : 1 vol. (X-190 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 105.373] (1).
14.  Monographies, textes Circuits micro-électroniques et technique numérique [] / I. Boukréev, B. Mansourov, V. GoriatchevTranslation of : Mikroelektronnye skhemli cifrovykh ustrojstvPublication : Moscou : Mir, cop. 1975Description : 1 vol. (390 p.) ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 104.047] (1).
15.  Monographies, textes Composants, dispositifs et circuits actifs en micro-ondes [] / par Paul F. Combes,... Jacques Graffeuil, Jean-François Sautereau,...Publication : Paris : Dunod, DL 1985Description : 1 vol. (VIII-239 p.) : fig. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 107.576] (1).
16.  Monographies, textes Computational aspects of VLSI [] / Jeffrey D. UllmanPublication : Rockville (Md.) : Computer Science Press, cop. 1984Description : 1 vol. (X-495 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[ULL] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI2971] (1).
17. Congrès Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.)Publication : Berlin, London : Springer, c1998Description : ix, 552 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
18. Congrès Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999proceedings / Nicolas Halbwachs, Doron Peled (Eds.)Publication : Berlin, London : Springer, c1999Description : xii, 506 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TRE 99] (1).
19. Congrès Computer aided verification [Texte imprimé] : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings / Aarti Gupta, Sharad Malik (Eds.)Publication : Berlin, New York : Springer, cop. 2008Description : 1 vol. (XVII-558 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PRI 08] (1).
20. Congrès Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000proceedings [ [Texte imprimé]] ; E. Allen Emerson, A. Prasad Sistla (eds.)Publication : Berlin, London : Springer, c2000Description : 1 vol. (X, 582 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[CHI 00] (1).
21. Congrès Computer aided verification [] : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.)Publication : Berlin : Springer, cop. 2001Description : 1 vol. (XIII-520 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PAR 01] (1).
22. Congrès Computer aided verification [ [Texte imprimé]] : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings ; Warren A. Hunt, Jr., Fabio Somenzi (eds.)Publication : Berlin, New York : Springer, cop. 2003Description : 1 vol. (XII-462 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BOU 03] (1).
23. Congrès Computer aided verification [ [Texte imprimé]] : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004proceedings ; Rajeev Alur, Doron A. Peled (eds.)Publication : Berlin, New York : Springer, cop. 2004Description : 1 vol. (XII-536 p.) : Ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BOS 04] (1).
24. Congrès Computer aided verification [ [Texte imprimé]] : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings ; Kousha Etessami, Sriram Rajamani (Eds.)Publication : Berlin, New York, NY : Springer, 2005Description : 1 vol. (XV-564 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 05] (1).
25. Congrès Computer aided verification [ [Texte imprimé]] : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings ; Thomas Ball, Robert B. Jones (eds.)Publication : Berlin, New York : Springer, 2006Description : 1 vol. (XV-564 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SEA 06] (1).

Powered by Koha