1- 9 of 9 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings, Author: Tibor Csöndes
QUICK ADD
SDL 2017: Model-Driven…
by Tibor Csöndes, Gábor Kovács, György Réthy
#10567 in Series
Paperback $54.99
Title: NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, Author: Aaron Dutle
QUICK ADD
NASA Formal Methods: 10th…
by Aaron Dutle, César Muñoz, Anthony Narkawicz
#10811 in Series
Paperback $54.99
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, Author: Alessandro Fantechi
QUICK ADD
Reliability, Safety, and…
by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
#10598 in Series
Paperback $54.99
Title: Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, Author: Kim Guldstrand Larsen
QUICK ADD
Dependable Software…
by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
#10606 in Series
Paperback $54.99
Title: Collaboration and Technology: 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010, Proceedings / Edition 1, Author: Gwendolyn Kolfschoten
QUICK ADD
Collaboration and Technology:…
by Gwendolyn Kolfschoten, Thomas Herrmann, Stephan Lukosch
#6257 in Series
Paperback $54.99
Title: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, Author: Alessandro Cimatti
QUICK ADD
Software Engineering and…
by Alessandro Cimatti, Marjan Sirjani
#10469 in Series
Paperback $54.99
Title: Experimental Algorithms: 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings / Edition 1, Author: Catherine C. McGeoch
QUICK ADD
Experimental Algorithms: 7th…
by Catherine C. McGeoch
#5038 in Series
Paperback $54.99
Title: Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, Author: Yassine Ouhammou
QUICK ADD
Model and Data Engineering:…
by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche
#10563 in Series
Paperback $54.99
Title: Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II / Edition 1, Author: Susanne Albers
QUICK ADD
Automata, Languages and…
by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas
#5556 in Series
Paperback $109.99