logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings - Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen
Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
by: (author) (author) (author)
Format: paperback
ISBN: 9783540600459 (3540600450)
Publisher: Springer
Pages no: 456
Edition language: English
Bookstores:
Books by Juris Hartmanis
Advances in Petri Nets 1989 - Gerhard Go... Advances in Petri Nets 1989 - Gerhard Goos, Juris Hartmanis
Distributed Artificial Intelligence Architecture and Modelling: First Australian Workshop on Dai, Canberra, ACT, Australia, November 13, 1995. Proceedings - Chengqi Zhang, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
Caap '92 - J. C. Raoult, Juris Hartmanis... Caap '92 - J. C. Raoult, Juris Hartmanis, Gerhard Goos
Computational Complexity Theory (Proceedings of Symposia in Applied Mathematics) - Juris Hartmanis
Feasible Computations and Provable Complexity Properties - Juris Hartmanis
Practical Aspects of Declarative Languages: First International Workshop, Padl'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings - Gopal Gupta, Juris Hartmanis, Jan Van Leeuwen
Computer Vision, Virtual Reality and Robotics in Medicine: First International Conference, Cvrmed '95, Nice, France, April 3 - 6, 1995. Proceedings - Nicholas Ayache, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
DCE - The OSF Distributed Computing Envi... DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond: International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Pr - Gerhard Goos, Juris Hartmanis
Methodology and Tools in Knowledge-Based Systems: 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Iea-98-Aie, Benicassim, Castellon, Spain, June, 1998 Proceedings, Volume I - A.P. del Pobil, Gerhard Goos, Juris Hartmanis, Moonis Ali, J. Mira, Jan Van Leeuwen
Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, In, USA, October 13-16, 1994. Selected Papers - Daniel Leivant, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
Books by Gerhard Goos
Informatics and Medicine: An Advanced Co... Informatics and Medicine: An Advanced Course - P. Reichertz, Gerhard Goos
Algorithm Theory - Swat'98: 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings - S. Arnborg, Stefan Arnborg, Gerhard Goos, S. Arnborg
The Programming Language ADA: Reference ... The Programming Language ADA: Reference Manual /Proposed Standard Document United States Department of Defense - Gerhard Goos
Distributed Artificial Intelligence Architecture and Modelling: First Australian Workshop on Dai, Canberra, ACT, Australia, November 13, 1995. Proceedings - Chengqi Zhang, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
Caap '92 - J. C. Raoult, Juris Hartmanis... Caap '92 - J. C. Raoult, Juris Hartmanis, Gerhard Goos
Euro-Par 2000 Parallel Processing: 6th International Euro-Par Conference Munich, Germany, August 29 - September 1, 2000 Proceedings - Arndt Bode, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen, Thomas Ludwig, Wolfgang Karl, Roland Wismuller
High-Performance Computing and Networkin... High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Appli - Wolfgang Gentzsch, Juris Hartmanis, Gerhard Goos, Uwe Harms
Diana. an Intermediate Language for ADA:... Diana. an Intermediate Language for ADA: Revised Version - Gerhard Goos, A. Evans
Vorlesungen über Informatik: Band 2: Objektorientiertes Programmieren und Algorithmen (Springer-Lehrbuch) (German Edition) - Gerhard Goos
Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings - Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen
Books by Jan Van Leeuwen
Het taaleigen der Homerische gedichten -... Het taaleigen der Homerische gedichten - Jan Van Leeuwen
Field-Programmable Logic and Applications: 5th International Workshop, Fpl '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings - Will Moore, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
Formal Models and Semantics - Jan Van Le... Formal Models and Semantics - Jan Van Leeuwen, Unknown
Field-Programmable Logic and Applications. the Roadmap to Reconfigurable Computing: 10th International Conference, Fpl 2000 Villach, Austria, August 27-30, 2000 Proceedings - Reiner W. Hartenstein, Juris Hartmanis, Gerhard Goos, Reiner W. Hartenstein, Jan Van Leeuwen, Herbert Gruenbacher
Distributed Algorithms: 2nd International Workshop, Amsterdam, The Netherlands, July 1987; Proceedings - Jan Van Leeuwen
Algorithms, Software, Architecture: Info... Algorithms, Software, Architecture: Information Processing 92: Proceedings of the Ifip 12th World Computer Congress, Madrid, Spain, 7-11 September 199 - Jan Van Leeuwen
Computer Vision, Virtual Reality and Robotics in Medicine: First International Conference, Cvrmed '95, Nice, France, April 3 - 6, 1995. Proceedings - Nicholas Ayache, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
Advances in Cryptology - Eurocrypt '95: International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21-25, 1995. Proceedings - Jean-Jacques Quisquater, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen, J. Quisquater
Foundations of Software Technology and Theoretical Computer Science - Dan Appleman, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
Graph-Theoretic Concepts in Computer Science: International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings (Lecture Notes in Computer Science) - Jan Van Leeuwen
Share this Book
http://bl.cm/1tQ2LEV
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.