logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings - Jan Van Leeuwen
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
by: (author)
Format: paperback
ISBN: 9783540643562 (3540643567)
Publisher: Springer
Pages no: 461
Edition language: English
Bookstores:
Books by Jan Van Leeuwen
Computer Vision - Accv'98: Third Asian Conference on Computer Vision, Hong Kong, China, January 8 - 10, 1998, Proceedings, Volume II - Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Tin-Chuen Pong
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
PARLE '91. Parallel Architectures and La... PARLE '91. Parallel Architectures and Languages Europe: Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science) - Emile H.L. Aarts, Jan Van Leeuwen, Martin Rem
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings - Jan Van Leeuwen
High-Level Parallel Programming Models and Supportive Environments: 6th International Workshop, Hips 2001 San Francisco, CA, USA, April 23, 2001 Proceedings - F. Mueller, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
Software Configuration Management: Icse'97 Scm-7 Workshop, Boston, Ma, USA, May 18-19, 1997 Proceedings - Reidar Conradi, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980. Proceedings - J.W. de Bakker, 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
Graph-Theoretic Concepts in Computer Science: International Workshop Wg 88 Amsterdam, the Netherlands, June 15-17, 1988. Proceedings - Jan Van Leeuwen
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
Share this Book
Copyright © 2024 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.