Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

Name: Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Price: 71.50 CAD
Availability: InStock
Author: Thomas Kropf
ISBN: 9783540590477

Édition : Ramayya Kumar , Thomas Kropf

6 mars 1995

71,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 358 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

312

Lecture Notes In Computer Science

Publié par: Springer

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783540590477

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

David Basin Couverture souple
80,50 $
Decision Economics: In the Tradition of Herbert A. Simon's Heritage: Distributed Computing and Artificial Intelligence, 14th International Conference

Edgardo Bucciarelli Couverture souple
160,95 $
2 formats offerts
Cellular Automata: 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings

Samira El Yacoubi Couverture souple
76,50 $
2 formats offerts
Communication and Networking: International Conference, FGCN/ACN 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Dominik Slezak Couverture souple
160,95 $
Hybrid Artificial Intelligent Systems: 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012, Proceedings, Part II

Emilio S. Corchado Rodriguez Couverture souple
80,50 $
Collaborative Networks and Digital Transformation: 20th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2019, Turin, Italy, September 23-25, 2019, Proceedings

Luis M. Camarinha-Matos Couverture souple
160,95 $
Information Security Practice and Experience: 5th International Conference, ISPEC 2009 Xi'an, China, April 13-15, 2009 Proceedings

Feng Bao Couverture souple
80,50 $
Human Aspects of Information Security and Assurance: 14th IFIP WG 11.12 International Symposium, HAISA 2020, Mytilene, Lesbos, Greece, July 8-10, 2020, Proceedings

Nathan Clarke Couverture souple
80,50 $
Information And Cyber Security: 18th International Conference, Issa 2019, Johannesburg, South Africa, August 15, 2019, Proceedings

Hein Venter Couverture souple
80,50 $
2 formats offerts
Artificial Intelligence Tools and Applications in Embedded and Mobile Systems: Selected Papers from the First International Conference on Embedded and Mobile Systems (ICTA-EMOS), 24-25 November 2022, Arusha, Tanzania

Jorge Marx Gómez Couverture souple
72,95 $
Advances in Data Science, Cyber Security and IT Applications: First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10-12, 2019, Proceedings, Part II

Auhood Alfaries Couverture souple
80,50 $
2 formats offerts
Parallel Computational Technologies: 14th International Conference, Pct 2020, Perm, Russia, May 27-29, 2020, Revised Selected Papers

Leonid Sokolinsky Couverture souple
131,50 $
2 formats offerts
Networked Digital Technologies, Part II: Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings

Filip Zavoral Couverture souple
160,95 $
Graph-Based Representation and Reasoning: 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1-4, 2019, Proceedings

Dominik Endres Couverture souple
80,50 $
2 formats offerts
Data Integration in the Life Sciences: 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings

Patrick Lambrix Couverture souple
80,50 $
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Couverture souple
71,50 $
Recent Trends in Applied Artificial Intelligence: 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013, Proceedings

Moonis Ali Couverture souple
80,50 $
Current Trends in High Performance Computing and Its Applications: Proceedings of the International Conference on High Performance Computing and Applications, August 8-10, 2004, Shanghai, P.R. China

Wu Zhang Couverture souple
248,50 $
Futuristic Trends in Network and Communication Technologies: Third International Conference, FTNCT 2020, Taganrog, Russia, October 14-16, 2020, Revised Selected Papers, Part II

Pradeep Kumar Singh Couverture souple
80,50 $
2 formats offerts
Information for a Better World: Normality, Virtuality, Physicality, Inclusivity: 18th International Conference, Iconference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part II

Couverture souple
142,95 $
2 formats offerts

Évaluation éditoriale

ramayya kumar

Auteur

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

Couverture souple
142,95 $
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings

Couverture souple
71,50 $
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

Charles Rattray Couverture souple
80,50 $
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Martin Wirsing Couverture souple
80,50 $
Multimedia Applications, Services and Techniques - ECMAST'98: Third European Conference, Berlin, Germany, May 26-28, 1998, Proceedings

Couverture souple
71,50 $
From Animals to Animats 12: 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings

Tom Ziemke Couverture souple
80,50 $
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Didier Bert Couverture souple
80,50 $
Operating Systems: Proceedings of an International Symposium Held at Rocquencourt, April 23-25, 1974

Couverture souple
71,50 $
Multimedia, Hypermedia, And Virtual Reality: Models, Systems, And Applications: First International Conference, MHVR'94, Moscow, Russia September (14-16), 1996. Selected Papers

Couverture souple
71,50 $
Asynchronous Many-Task Systems and Applications: First International Workshop, WAMTA 2023, Baton Rouge, LA, USA, February 15-17, 2023, Proceedings

Patrick Diehl Couverture souple
87,95 $
2 formats offerts
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Couverture souple
71,50 $
Recent Advances in Reinforcement Learning: 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers

Sertan Girgin Couverture souple
80,50 $
Data Integration in the Life Sciences: 9th International Conference, DILS 2013, Montreal, Canada, July 11-12, 2013, Proceedings

Christopher J.O. Baker Couverture souple
72,95 $
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Couverture souple
77,95 $
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Rayna Dimitrova Couverture souple
58,50 $
Revolutionizing Fashion and Retail: Proceedings of the Fifth fashionXrecsys Workshop at the Recommender Systems Conference, Singapore, 18th-22nd September 2023

Nima Dokoohaki Couverture rigide
262,95 $
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

Couverture souple
142,95 $
Designing Privacy Enhancing Technologies: International Workshop on Design Issues in Anonymity and Unobservability, Berkeley, CA, USA, July 25-26, 2000. Proceedings

Couverture souple
71,50 $
Knowledge Engineering and Knowledge Management: 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012, Proceedings

Annette ten Teije Couverture souple
80,50 $
Data Integration in the Life Sciences: 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings

Patrick Lambrix Couverture souple
80,50 $

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

Description

Vous aimerez peut-être aussi

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Decision Economics: In the Tradition of Herbert A. Simon's Heritage: Distributed Computing and Artificial Intelligence, 14th International Conference

Cellular Automata: 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings

Communication and Networking: International Conference, FGCN/ACN 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Hybrid Artificial Intelligent Systems: 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012, Proceedings, Part II

Collaborative Networks and Digital Transformation: 20th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2019, Turin, Italy, September 23-25, 2019, Proceedings

Information Security Practice and Experience: 5th International Conference, ISPEC 2009 Xi'an, China, April 13-15, 2009 Proceedings

Human Aspects of Information Security and Assurance: 14th IFIP WG 11.12 International Symposium, HAISA 2020, Mytilene, Lesbos, Greece, July 8-10, 2020, Proceedings

Information And Cyber Security: 18th International Conference, Issa 2019, Johannesburg, South Africa, August 15, 2019, Proceedings

Artificial Intelligence Tools and Applications in Embedded and Mobile Systems: Selected Papers from the First International Conference on Embedded and Mobile Systems (ICTA-EMOS), 24-25 November 2022, Arusha, Tanzania

Advances in Data Science, Cyber Security and IT Applications: First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10-12, 2019, Proceedings, Part II

Parallel Computational Technologies: 14th International Conference, Pct 2020, Perm, Russia, May 27-29, 2020, Revised Selected Papers

Networked Digital Technologies, Part II: Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings

Graph-Based Representation and Reasoning: 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1-4, 2019, Proceedings

Data Integration in the Life Sciences: 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Recent Trends in Applied Artificial Intelligence: 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013, Proceedings

Current Trends in High Performance Computing and Its Applications: Proceedings of the International Conference on High Performance Computing and Applications, August 8-10, 2004, Shanghai, P.R. China

Futuristic Trends in Network and Communication Technologies: Third International Conference, FTNCT 2020, Taganrog, Russia, October 14-16, 2020, Revised Selected Papers, Part II

Information for a Better World: Normality, Virtuality, Physicality, Inclusivity: 18th International Conference, Iconference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part II

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Multimedia Applications, Services and Techniques - ECMAST'98: Third European Conference, Berlin, Germany, May 26-28, 1998, Proceedings

From Animals to Animats 12: 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Operating Systems: Proceedings of an International Symposium Held at Rocquencourt, April 23-25, 1974

Multimedia, Hypermedia, And Virtual Reality: Models, Systems, And Applications: First International Conference, MHVR'94, Moscow, Russia September (14-16), 1996. Selected Papers

Asynchronous Many-Task Systems and Applications: First International Workshop, WAMTA 2023, Baton Rouge, LA, USA, February 15-17, 2023, Proceedings

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Recent Advances in Reinforcement Learning: 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers

Data Integration in the Life Sciences: 9th International Conference, DILS 2013, Montreal, Canada, July 11-12, 2013, Proceedings

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Revolutionizing Fashion and Retail: Proceedings of the Fifth fashionXrecsys Workshop at the Recommender Systems Conference, Singapore, 18th-22nd September 2023

Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

Designing Privacy Enhancing Technologies: International Workshop on Design Issues in Anonymity and Unobservability, Berkeley, CA, USA, July 25-26, 2000. Proceedings

Knowledge Engineering and Knowledge Management: 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012, Proceedings

Data Integration in the Life Sciences: 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings