Correct hardware design and verification methods : :: SCD d'Orléans

Correct hardware design and verification methods : [8th] IFIP WG 10.5 advanced research working conference, CHARME'95, Frankfurt, Germany, October 2-4, 1995 : proceedings

Correct hardware design and verification methods : [8th] IFIP WG 10.5 advanced research working conference, CHARME'95, Frankfurt, Germany, October 2-4, 1995 : proceedings

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995. The 20 revised full papers presented were carefully selected by the program committee and add...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	Advanced Research Working Conference on Correct Hardware Design and Verification Methods :1995
Beste egile batzuk:	Camurati, Paolo, 19..- (Argitalpenaren zuzendaria), Eveking, Hans (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science 987
Gaiak:	Génie logiciel Conception assistée par ordinateur Informatique Construction Ingénierie Ordinateurs > Équipement d'entrée-sortie Circuits intégrés à grande échelle Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Correct hardware design and verification methods, IFIP WG10.5 advanced research working conference, CHARME ¸95, Frankfurt, Germany, October 1995, proceedings, Paolo E. Camurati, Hans Eveking(eds.), Berlin, Springer, 1995, 1 vol. (VIII-342 p.), Lecture notes in computer science, 3-540-60385-9 • Correct Hardware Design and Verification Methods, Texte imprimé, 9783662170052

Antzeko izenburuak

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
nork: Geist, Daniel

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Formal hardware verification : methods and systems in comparison
nork: Kropf, Thomas, 1961-

Hardware and software architectures for fault tolerance : experiments and perspectives
nork: Banâtre, Michel

Integrated circuit design : Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Bringing telecommunication services to the people - IS&N '95 : Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16 19, 1995 : proceedings

Towards a Pan-European telecommunication service infrastructure - IS&N '94 : Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7 9, 1994 : proceedings

La liaison RS232
nork: André, Philippe, 19..-...., microélectronicien
Argitaratua: (1998)

Advances in cryptology - EUROCRYPT 85 : proceedings of a workshop on the theory and application of cryptographic techniques, Linz, Austria, April 1985

Advances in cryptology - CRYPTO 85 : proceedings

Mobile communications : advanced systems components : 1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11, 1994 : proceedings

Harnessing VLSI system design with EDA tools
nork: Kamat, Rajanish K., et al.
Argitaratua: (2012)

Interactive distributed multimedia systems and services : European Workshop IDMS '96, Berlin, Germany, March 4-6, 1996 : proceedings

Optimization-based computer-aided modelling and design : proceedings of the first working conference of the new IFIP TC 7.6 Working Group,The Hague, The Netherlands, 1991

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

VLSI engineering : beyond software engineering
nork: Kunii, Toshiyasu, 1938-

Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23 25, 1996 : proceedings

Dependable computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 4 6, 1994 : proceedings

Broadband communications : networks, services, applications, future directions : 1996 International Zurich Seminar on Digital Communications, IZS '96, Zurich, Switzerland, February 21-23, 1996 : proceedings

Computer aided systems theory - EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings

Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25 27, 1995 : proceedings

Assembleur et périphériques des MSX
nork: Blanc, Frédéric
Argitaratua: (1985)

Visualization in human-computer interaction : 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24 27, 1988 : selected contributions

Timing
nork: Sapatnekar, Sachin S., 1967-
Argitaratua: (2013)

Advances in computer systems architecture : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004 : proceedings
nork: Yew, Pen-Chung, 1950-

Multimedia transport and teleservices : [first] International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings

ANSYS Workbench tutorial : structural & thermal analysis using the ANSYS Workbench release 14 environment
nork: Lawrence, Kent L.
Argitaratua: (2012)

Computational Design Modelling
Argitaratua: (2012)

Teleservices and multimedia communications : second International COST 237 Workshop, Copenhagen, Denmark, November 20 22 1995 : proceedings

Advances in computer systems architecture : 8th Asia-Pacific conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003 : proceedings

Parallel computer routing and communication : first international workshop, PCRCW '94, Seattle, Washington, U.S.A., May 16-18, 1994 : proceedings

Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5 9, 2000 : proceedings
nork: Wangler, Benkt, et al.

Computer aided design : modelling, systems engineering, CAD-systems : CREST advanced course, Darmstadt, 8. 19. September 1980

Information theory and applications : third Canadian workshop, Rockland, Ontario, Canada, May 30-June 2, 1993 : proceedings

Guide des applications 1
Argitaratua: (1989)

Analysis and design of analog integrated circuits
nork: Gray, Paul R., 1942-, et al.
Argitaratua: (2010)

CAO de circuits et de systèmes intégrés
nork: Mahdoum, Ali
Argitaratua: (2020)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales