61- 80 of 257 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Transactions on Petri Nets and Other Models of Concurrency IX, Author: Maciej Koutny
QUICK ADD
Transactions on Petri Nets and…
by Maciej Koutny, Serge Haddad, Alex Yakovlev
#8910 in Series
Paperback $54.99
Title: Software Engineering in Health Care: 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers, Author: Michaela Huhn
QUICK ADD
Software Engineering in Health…
by Michaela Huhn, Laurie Williams
#9062 in Series
Paperback $54.99
Title: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, Author: Dimitra Giannakopoulou
QUICK ADD
Verified Software: Theories,…
by Dimitra Giannakopoulou, Daniel Kroening
#8471 in Series
Paperback $54.99
Title: Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbr�cken, Germany, March 16-18, 2020, Proceedings, Author: Holger Hermanns
QUICK ADD
Measurement, Modelling and…
by Holger Hermanns
#12040 in Series
Paperback $54.99
Title: Applied Computer Sciences in Engineering: Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers, Author: Juan Carlos Figueroa-García
QUICK ADD
Applied Computer Sciences in…
by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, Roberto Ferro-Escobar
#657 in Series
Paperback $54.99
Title: Conceptual Modeling: 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings, Author: Isabelle Comyn-Wattiau
QUICK ADD
Conceptual Modeling: 35th…
by Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, Motoshi Saeki
#9974 in Series
Paperback $54.99
Title: Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, Author: Christophe Gaston
QUICK ADD
Testing Software and Systems:…
by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
#11812 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Author: Ruzica Piskac
QUICK ADD
Verified Software. Theories,…
by Ruzica Piskac, Philipp Rümmer
#11294 in Series
Paperback $54.99
Title: Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Author: Nadia Polikarpova
QUICK ADD
Integrated Formal Methods:…
by Nadia Polikarpova, Steve Schneider
#10510 in Series
Paperback $54.99
Title: Refinement: Semantics, Languages and Applications, Author: John Derrick
QUICK ADD
Refinement: Semantics,…
by John Derrick, Eerke Boiten
Hardcover $54.99
Title: Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, Author: Hossein Hojjat
QUICK ADD
Fundamentals of Software…
by Hossein Hojjat, Mieke Massink
#11761 in Series
Paperback $54.99
Title: Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings, Author: Márcio Barros
QUICK ADD
Search-Based Software…
by Márcio Barros, Yvan Labiche
#9275 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11246 in Series
Paperback $54.99
Title: Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud: 11th International Conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality: The…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#338 in Series
Paperback $54.99
Title: Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, Author: Xinyu Feng
QUICK ADD
Dependable Software…
by Xinyu Feng, Markus Mïller-Olm, Zijiang Yang
#10998 in Series
Paperback $54.99
Title: Enterprise and Organizational Modeling and Simulation: 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Selected Papers, Author: Robert Pergl
QUICK ADD
Enterprise and Organizational…
by Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtech Merunka
#366 in Series
Paperback $54.99
Title: Advances in Conceptual Modeling: ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi'an, China, October 22-25, 2018, Proceedings, Author: Carson Woo
QUICK ADD
Advances in Conceptual…
by Carson Woo, Jiaheng Lu, Zhanhuai Li, Tok Wang Ling, Guoliang Li
#11158 in Series
Paperback $54.99
Title: A Process Algebraic Approach to Software Architecture Design / Edition 1, Author: Alessandro Aldini
QUICK ADD
A Process Algebraic Approach…
by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Hardcover $54.99
Title: Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures, Author: Zhiming Liu
QUICK ADD
Engineering Trustworthy…
by Zhiming Liu, Zili Zhang
#9506 in Series
Paperback $54.99
Title: Advances in Computing: 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018, Proceedings, Author: Jairo E. Serrano C.
QUICK ADD
Advances in Computing: 13th…
by Jairo E. Serrano C., Juan Carlos Martïnez-Santos
#885 in Series
Paperback $54.99

Pagination Links