logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings - Jan Vytopil, Juris Hartmanis, Gerhard Goos
Add cover
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings
by: (author) (author) (author)
Format: paperback
ISBN: 9780387550923 (0387550925)
Publisher: Springer, 620 pages, Paperback" />
Pages no: 620
Edition language: English
Bookstores:
Books by Juris Hartmanis
Advances in Petri Nets 1989 - Gerhard Go... Advances in Petri Nets 1989 - Gerhard Goos, Juris Hartmanis
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
Caap '92 - J. C. Raoult, Juris Hartmanis... Caap '92 - J. C. Raoult, Juris Hartmanis, Gerhard Goos
Field-Programmable Logic and Applications. from FPGAs to Computing Paradigm: 8th International Workshop, Fpl'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings - Reiner W. Hartenstein, Reiner W. Hartenstein, Juris Hartmanis
Turing Machines with Sublogarithmic Space - Andrzej Szepietowski, Juris Hartmanis, Gerhard Goos
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
Latin'98: Theoretical Informatics: Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings - Juris Hartmanis
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
Foundations of Software Technology and Theoretical Computer Science - Dan Appleman, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
Cryptography and Coding: 6th Ima International Conference, Cirencester, UK, December 17-19, 1997, Proceedings - Michael Darnell, 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
Worldwide Computing and Its Applications - Wwca'98: Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings - Takuya Katayama, Yoshifumi Masunaga, Juris Hartmanis, Gerhard Goos, Jan Van Leeuwen
The Programming Language ADA: Reference ... The Programming Language ADA: Reference Manual /Proposed Standard Document United States Department of Defense - Gerhard Goos
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
Turing Machines with Sublogarithmic Space - Andrzej Szepietowski, Juris Hartmanis, Gerhard Goos
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
Functional Programming Languages and Computer Architecture - John Hughes, Juris Hartmanis, Gerhard Goos
Network and Operating System Support for... Network and Operating System Support for Digital Audio and Video: Second International Workshop, Heidelberg, Germany, November 18-19, 1991. Proceeding - R. G. Herrtwich, Juris Hartmanis, Gerhard Goos
Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings - Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen
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
Books by Jan Vytopil
Formal Techniques in Real-Time and Fault-Tolerant Systems (The Springer International Series in Engineering and Computer Science) - Jan Vytopil
Formal Techniques in Real-Time and Fault... Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings: ... (Lecture Notes in Computer Science) - Jan Vytopil
Formal Techniques in Real-Time and Fault... Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings - Jan Vytopil, Juris Hartmanis, Gerhard Goos
Formal Techniques In Real Time And Fault Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8 10, 1992, Proceedings - Jan Vytopil
Share this Book
http://bit.ly/1nS8PKp
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.