logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings - Miquel Bertran, Juris Hartmanis, Miguel Bertran, Jan Van Leeuwen
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
by: (author) (author) (author) (author)
Format: paperback
ISBN: 9783540630104 (3540630104)
Publisher: Springer
Pages no: 431
Edition language: English
Bookstores:
Books by Juris Hartmanis
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
Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings - Gerhard Goos, Juris Hartmanis, 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
Directions in Databases: 12th British Na... Directions in Databases: 12th British National Conference on Databases, Bncod 12, Guildford, United Kingdom, July 6-8, 1994. Proceedings - David S. Bowers, Juris Hartmanis, Gerhard Goos
Public-Key Cryptography: State of the Ar... Public-Key Cryptography: State of the Art and Future Directions: E.I.S.S. Workshop, Oberwolfach, Germany, July 3-6, 1991. Final Report - Th Beth, Juris Hartmanis, Gerhard Goos, M. Frisch, G. J. Simmons
Artificial Intelligence: Methodology, Systems, and Applications: 8th International Conference, Aimsa'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings - Fausto Giunchiglia, Juris Hartmanis
Software Engineering: An Advanced Course... Software Engineering: An Advanced Course - Gerhard Goos, Juris Hartmanis, F.L. Bauer
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings - Miquel Bertran, Juris Hartmanis, Miguel Bertran, Jan Van Leeuwen
Advanced Information Systems Engineering... Advanced Information Systems Engineering - B. Steinholtz, Juris Hartmanis, Gerhard Goos, A. Solvberg
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
Books by Jan Van Leeuwen
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
PARLE '91. Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science) - Emile H.L. Aarts, Jan Van Leeuwen, Martin Rem
Handbook of Theoretical Computer Science... Handbook of Theoretical Computer Science - Jan Van Leeuwen
Parle 91: Parallel Architectures and Lan... Parle 91: Parallel Architectures and Languages Europe : Parallel Languages Eindhoven, the Netherlands, June 10-13, 1991 Proceedings (Lecture Notes in Computer Science) - E.H.L. Aarts, Jan Van Leeuwen, Netherlands) Conference on Parallel Architectures and Languages Europe (1991 : Eindhoven, M. Rem
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
Books by Miquel Bertran
FME '94: Industrial Benefit of Formal Me... FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science) - Maurice Naftalin, Tim Denvir, Miquel Bertran
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings - Miquel Bertran, Juris Hartmanis, Miguel Bertran, Jan Van Leeuwen
Books by Miguel Bertran
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings - Miquel Bertran, Juris Hartmanis, Miguel Bertran, Jan Van Leeuwen
Share this Book
http://bit.ly/2AvdFt2
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.