Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

Name: Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
Price: 71.50 CAD
Availability: InStock
Author: Geoffrey Brown
ISBN: 9780387972268

Édition : Miriam Leeser , Geoffrey Brown

14 février 1990

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

404

Lecture Notes In Computer Science

Publié par: Springer New York

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

ISBN: 9780387972268

Foundations of Cryptography: Volume 2, Basic Applications

Oded Goldreich Couverture souple
82,95 $
Mathematical Software - Icms 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Gert-Martin Greuel Couverture souple
80,50 $
2 formats offerts
Algorithms And Discrete Applied Mathematics: 7th International Conference, Caldam 2021, Rupnagar, India, February 11-13, 2021, Proceedings

Apurva Mudgal Couverture souple
145,95 $
2 formats offerts
Euro-Par 2024: Parallel Processing: 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III

Jesus Carretero Couverture souple
116,95 $
2 formats offerts
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2020

Nabendu Chaki Couverture souple
408,95 $
Proceedings Of International Conference On Computational Intelligence And Data Engineering: Iccide 2020

Nabendu Chaki Couverture rigide
408,95 $
2 formats offerts
Algorithms and Discrete Applied Mathematics: 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Subrahmanyam Kalyanasundaram Couverture souple
58,50 $
Algorithms and Discrete Applied Mathematics: 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Subrahmanyam Kalyanasundaram Couverture souple
109,50 $
2 formats offerts
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Pedro Cabalar Couverture souple
80,50 $
Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Daniel Bienstock Couverture souple
102,50 $
2 formats offerts
Probability in Electrical Engineering and Computer Science: An Application-Driven Course

Jean Walrand Couverture souple
65,95 $
Analysis, Cryptography And Information Science

Nicholas J Daras Couverture rigide
143,50 $
2 formats offerts
Proceedings Of Elm-2014 Volume 2: Applications

Jiuwen Cao Couverture souple
321,50 $
2 formats offerts
Blockchain: Novice To Expert - 2 Manuscripts

Keizer Söze Couverture rigide
49,38 $
Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach Couverture souple
87,95 $
Peer-to-Peer Computing: Principles and Applications

Quang Hieu Vu Couverture souple
142,95 $
2 formats offerts
Combinatorial Optimization: 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers

Ivana Ljubi Couverture souple
124,50 $
2 formats offerts
Formal Methods For Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach Couverture rigide
124,50 $
2 formats offerts
Computational and Corpus-Based Phraseology: 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings

Gloria Corpas Pastor Couverture souple
102,50 $
2 formats offerts
Advances In Databases And Information Systems: 25th European Conference, Adbis 2021, Tartu, Estonia, August 24-26, 2021, Proceedings

Ladjel Bellatreche Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

miriam leeser

Auteur

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

Couverture souple
90,95 $
Design and Implementation of Programming Languages: Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

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

Couverture souple
71,50 $
Online Engineering: Proceedings of the 14th International Conference on Remote Engineering and Virtual Instrumentation REV 2017, held 15-17 March 2017, Columbia University, New York, USA

Michael E. Auer Couverture souple
481,95 $
2 formats offerts
Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Couverture souple
49,50 $
Mathematical Theory of Networks and Systems: Proceedings of the Mtns-83 International Symposium Beer Sheva, Israel, June 20-24, 1983

Couverture souple
71,50 $
Algebraic K-Theory I. Proceedings of the Conference Held at the Seattle Research Center of Battelle Memorial Institute, August 28 - September 8, 1972: Higher K-Theories

Couverture souple
71,50 $
Group Theoretical Methods in Physics: Seventh International Colloquium and Integrative Conference on Group Theory and Mathematical Physics, Held in Austin, Texas, September 11-16, 1978

Couverture souple
71,50 $
Seventh International Conference on Numerical Methods in Fluid Dynamics: Proceedings of the Conference, Stanford University, Stanford, California and Nasa/Ames (U.S.A.) June 23-27, 1980

Couverture souple
142,95 $
Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers

Couverture souple
71,50 $
Algorithm Engineering and Experiments: 4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers

David M. Mount Couverture souple
80,50 $
Number Theory Day: Proceedings of the Conference Held at Rockefeller University, New York, 1976

Couverture souple
59,95 $
Sensitivity of Functionals with Applications to Engineering Sciences: Proceedings of a Special Session of the American Mathematical Society Spring Meeting held in New York City, May 1983

Couverture souple
51,95 $
Finite Fields And Applications: Proceedings Of The Third International Conference, Glasgow, July 1995

Couverture souple
81,95 $
System Modeling and Optimization: Proceedings of the 10th Ifip Conference New York City, Usa, August 31-September 4,1981

Couverture souple
71,50 $
Laser Physics: Proceedings of the Third New Zealand Symposium on Laser Physics, Held at the University of Waikato, Hamilton, New Zealand, January 17-23, 1983

Couverture souple
71,50 $
Optimization and Operations Research: Proceedings of a Workshop Held at the University of Bonn, October 2-8, 1977

Couverture souple
142,95 $
Technology, Innovation, Entrepreneurship and Education: 4th EAI International Conference, TIE 2023, Cambridge, UK, September 27-28, 2023, Proceedings

David Crawford Couverture souple
94,95 $
2 formats offerts
Competition, Instability, and Nonlinear Cycles: Proceedings of an International Conference New School for Social Research New York, USA, March 1985

Couverture souple
71,50 $
Categorical Aspects of Topology and Analysis: Proceedings of an International Conference Held at Carleton University, Ottawa, August 11-15, 1981

Couverture souple
59,95 $

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

Description

Vous aimerez peut-être aussi

Foundations of Cryptography: Volume 2, Basic Applications

Mathematical Software - Icms 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Algorithms And Discrete Applied Mathematics: 7th International Conference, Caldam 2021, Rupnagar, India, February 11-13, 2021, Proceedings

Euro-Par 2024: Parallel Processing: 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III

Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2020

Proceedings Of International Conference On Computational Intelligence And Data Engineering: Iccide 2020

Algorithms and Discrete Applied Mathematics: 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Algorithms and Discrete Applied Mathematics: 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Probability in Electrical Engineering and Computer Science: An Application-Driven Course

Analysis, Cryptography And Information Science

Proceedings Of Elm-2014 Volume 2: Applications

Blockchain: Novice To Expert - 2 Manuscripts

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Peer-to-Peer Computing: Principles and Applications

Combinatorial Optimization: 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers

Formal Methods For Software Engineering: Languages, Methods, Application Domains

Computational and Corpus-Based Phraseology: 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings

Advances In Databases And Information Systems: 25th European Conference, Adbis 2021, Tartu, Estonia, August 24-26, 2021, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

Design and Implementation of Programming Languages: Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

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

Online Engineering: Proceedings of the 14th International Conference on Remote Engineering and Virtual Instrumentation REV 2017, held 15-17 March 2017, Columbia University, New York, USA

Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Mathematical Theory of Networks and Systems: Proceedings of the Mtns-83 International Symposium Beer Sheva, Israel, June 20-24, 1983

Algebraic K-Theory I. Proceedings of the Conference Held at the Seattle Research Center of Battelle Memorial Institute, August 28 - September 8, 1972: Higher K-Theories

Group Theoretical Methods in Physics: Seventh International Colloquium and Integrative Conference on Group Theory and Mathematical Physics, Held in Austin, Texas, September 11-16, 1978

Seventh International Conference on Numerical Methods in Fluid Dynamics: Proceedings of the Conference, Stanford University, Stanford, California and Nasa/Ames (U.S.A.) June 23-27, 1980

Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers

Algorithm Engineering and Experiments: 4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers

Number Theory Day: Proceedings of the Conference Held at Rockefeller University, New York, 1976

Sensitivity of Functionals with Applications to Engineering Sciences: Proceedings of a Special Session of the American Mathematical Society Spring Meeting held in New York City, May 1983

Finite Fields And Applications: Proceedings Of The Third International Conference, Glasgow, July 1995

System Modeling and Optimization: Proceedings of the 10th Ifip Conference New York City, Usa, August 31-September 4,1981

Laser Physics: Proceedings of the Third New Zealand Symposium on Laser Physics, Held at the University of Waikato, Hamilton, New Zealand, January 17-23, 1983

Optimization and Operations Research: Proceedings of a Workshop Held at the University of Bonn, October 2-8, 1977

Technology, Innovation, Entrepreneurship and Education: 4th EAI International Conference, TIE 2023, Cambridge, UK, September 27-28, 2023, Proceedings

Competition, Instability, and Nonlinear Cycles: Proceedings of an International Conference New School for Social Research New York, USA, March 1985

Categorical Aspects of Topology and Analysis: Proceedings of an International Conference Held at Carleton University, Ottawa, August 11-15, 1981