81- 100 of 255 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, Author: Manuel Mazzara
QUICK ADD
Software Technologies:…
by Manuel Mazzara, Iulian Ober, Gwen Salaïn
#11176 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: Software Analysis, Testing, and Evolution: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings, Author: Lei Bu
QUICK ADD
Software Analysis, Testing,…
by Lei Bu, Yingfei Xiong
#11293 in Series
Paperback $54.99
Title: Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
#11174 in Series
Paperback $54.99
Title: Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, Author: Christian Colombo
QUICK ADD
Runtime Verification: 18th…
by Christian Colombo, Martin Leucker
#11237 in Series
Paperback $84.99
Title: Service-Oriented Computing: 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings, Author: Claus Pahl
QUICK ADD
Service-Oriented Computing:…
by Claus Pahl, Maja Vukovic, Jianwei Yin, Qi Yu
#11236 in Series
Paperback $109.99
Title: Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings, Author: Marco Kuhrmann
QUICK ADD
Product-Focused Software…
by Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski
#11271 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: Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11245 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11247 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11244 in Series
Paperback $54.99
Title: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, Author: Tiago Massoni
QUICK ADD
Formal Methods: Foundations…
by Tiago Massoni, Mohammad Reza Mousavi
#11254 in Series
Paperback $64.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: Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, Author: Jing Sun
QUICK ADD
Formal Methods and Software…
by Jing Sun, Meng Sun
#11232 in Series
Paperback $54.99
Title: The Practice of Enterprise Modeling: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings, Author: Robert Andrei Buchmann
QUICK ADD
The Practice of Enterprise…
by Robert Andrei Buchmann, Dimitris Karagiannis, Marite Kirikova
#335 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, Author: Kyungmin Bae
QUICK ADD
Formal Aspects of Component…
by Kyungmin Bae, Peter Csaba ïlveczky
#11222 in Series
Paperback $54.99
Title: Conceptual Modeling: 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings, Author: Juan C. Trujillo
QUICK ADD
Conceptual Modeling: 37th…
by Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling
#11157 in Series
Paperback $54.99
Title: System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering: 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings, Author: Ferhat Khendek
QUICK ADD
System Analysis and Modeling.…
by Ferhat Khendek, Reinhard Gotzhein
#11150 in Series
Paperback $54.99
Title: Software Architecture: 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings, Author: Carlos E. Cuesta
QUICK ADD
Software Architecture: 12th…
by Carlos E. Cuesta, David Garlan, Jennifer Pïrez
#11048 in Series
Paperback $74.99
Title: Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings, Author: El Hassan Abdelwahed
QUICK ADD
Model and Data Engineering:…
by El Hassan Abdelwahed, Ladjel Bellatreche, Mattïo Golfarelli, Dominique Mïry, Carlos Ordonez
#11163 in Series
Paperback $54.99

Pagination Links