21- 40 of 228 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, Author: Nan Guan
QUICK ADD
Dependable Software…
by Nan Guan, Joost-Pieter Katoen, Jun Sun
#11951 in Series
Paperback $54.99
Title: Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings, Author: Giancarlo Guizzardi
QUICK ADD
Advances in Conceptual…
by Giancarlo Guizzardi, Frederik Gailly, Rita Suzana Pitangueira Maciel
#11787 in Series
Paperback $54.99
Title: Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings, Author: Sami Yangui
QUICK ADD
Service-Oriented Computing:…
by Sami Yangui, Ismael Bouassida Rodriguez, Khalil Drira, Zahir Tari
#11895 in Series
Paperback $54.99
Title: Conceptual Modeling: 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, Author: Alberto H. F. Laender
QUICK ADD
Conceptual Modeling: 38th…
by Alberto H. F. Laender, Barbara Pernici, Ee-Peng Lim, Josï Palazzo M. de Oliveira
#11788 in Series
Paperback $54.99
Title: Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, Author: Yu-Fang Chen
QUICK ADD
Automated Technology for…
by Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
#11781 in Series
Paperback $54.99
Title: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Author: Bernd Finkbeiner
QUICK ADD
Runtime Verification: 19th…
by Bernd Finkbeiner, Leonardo Mariani
#11757 in Series
Paperback $69.99
Title: Concise Guide to Software Testing, Author: Gerard O'Regan
QUICK ADD
Concise Guide to Software…
by Gerard O'Regan
Explore Series
Paperback $54.99
Title: Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings, Author: Klaus-Dieter Schewe
QUICK ADD
Model and Data Engineering:…
by Klaus-Dieter Schewe, Neeraj Kumar Singh
#11815 in Series
Paperback $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: 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: Applied Computer Sciences in Engineering: 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings, Author: Juan Carlos Figueroa-Garcïa
QUICK ADD
Applied Computer Sciences in…
by Juan Carlos Figueroa-Garcïa, Mario Duarte-Gonzïlez, Sebastiïn Jaramillo-Isaza, Alvaro David Orjuela-Caïon, Yesid Dïaz-Gutierrez
#1052 in Series
Paperback $109.99
Title: Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Formal Methods - The Next 30…
by Maurice H. ter Beek, Annabelle McIver, Josï N. Oliveira
#11800 in Series
Paperback $54.99
Title: Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, Revised Selected Papers, Author: Zheng Li
QUICK ADD
Software Engineering and…
by Zheng Li, He Jiang, Ge Li, Minghui Zhou, Ming Li
#861 in Series
Paperback $54.99
Title: Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, Author: Dirk Beyer
QUICK ADD
Tests and Proofs: 13th…
by Dirk Beyer, Chantal Keller
#11823 in Series
Paperback $54.99
Title: System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings, Author: Pau Fonseca i Casas
QUICK ADD
System Analysis and Modeling.…
by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt
#11753 in Series
Paperback $54.99
Title: Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings, Author: Radu Calinescu
QUICK ADD
Software Engineering for…
by Radu Calinescu, Felicita Di Giandomenico
#11732 in Series
Paperback $54.99
Title: Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings, Author: Tomas Bures
QUICK ADD
Software Architecture: 13th…
by Tomas Bures, Laurence Duchien, Paola Inverardi
#11681 in Series
Paperback $64.99
Title: Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings, Author: Manuel Mazzara
QUICK ADD
Software Technology: Methods…
by Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko
#11771 in Series
Paperback $54.99
Title: Software Technologies: 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers, Author: Marten van Sinderen
QUICK ADD
Software Technologies: 13th…
by Marten van Sinderen, Leszek A. Maciaszek
#1077 in Series
Paperback $54.99
Title: Advanced Parallel Processing Technologies: 13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019, Proceedings, Author: Pen-Chung Yew
QUICK ADD
Advanced Parallel Processing…
by Pen-Chung Yew, Per Stenstrïm, Junjie Wu, Xiaoli Gong, Tao Li
#11719 in Series
Paperback $54.99

Pagination Links