81- 100 of 257 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers, Author: Paolo Milazzo
QUICK ADD
Software Technologies:…
by Paolo Milazzo, Dániel Varró, Manuel Wimmer
#9946 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#9953 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#9952 in Series
Paperback $109.99
Title: Globalizing Domain-Specific Languages: International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers, Author: Benoit Combemale
QUICK ADD
Globalizing Domain-Specific…
by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jïzïquel, Bernhard Rumpe
#9400 in Series
Paperback $44.99
Title: Software Engineering and Methodology for Emerging Domains: 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings, Author: Lu Zhang
QUICK ADD
Software Engineering and…
by Lu Zhang, Chang Xu
#675 in Series
Paperback $54.99
Title: OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments: Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers, Author: Manjunath Gorentla Venkata
QUICK ADD
OpenSHMEM and Related…
by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz
#10007 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Select, Author: Anna-Lena Lamprecht
QUICK ADD
Leveraging Applications of…
by Anna-Lena Lamprecht
#683 in Series
Paperback $54.99
Title: Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings, Author: Pekka Abrahamsson
QUICK ADD
Product-Focused Software…
by Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki
#10027 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: FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, Author: John Fitzgerald
QUICK ADD
FM 2016: Formal Methods: 21st…
by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
#9995 in Series
Paperback $54.99
Title: Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Author: Marieke Huisman
QUICK ADD
Fundamental Approaches to…
by Marieke Huisman, Julia Rubin
#10202 in Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, Author: Kazuhiro Ogata
QUICK ADD
Formal Methods and Software…
by Kazuhiro Ogata, Mark Lawford, Shaoying Liu
#10009 in Series
Paperback $54.99
Title: Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings, Author: Martin Fränzle
QUICK ADD
Dependable Software…
by Martin Fränzle, Deepak Kapur, Naijun Zhan
#9984 in Series
Paperback $54.99
Title: Evaluation of Novel Approaches to Software Engineering: 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers, Author: Leszek A. Maciaszek
QUICK ADD
Evaluation of Novel Approaches…
by Leszek A. Maciaszek, Joaquim Filipe
#703 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, Author: Olga Kouchnarenko
QUICK ADD
Formal Aspects of Component…
by Olga Kouchnarenko, Ramtin Khosravi
#10231 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers, Author: Shaoying Liu
QUICK ADD
Structured Object-Oriented…
by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
#10189 in Series
Paperback $54.99
Title: Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
#10215 in Series
Paperback $54.99
Title: End-User Development: 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings, Author: Simone Barbosa
QUICK ADD
End-User Development: 6th…
by Simone Barbosa, Panos Markopoulos, Fabio Paternò, Simone Stumpf, Stefano Valtolina
#10303 in Series
Paperback $54.99
Title: Model-Driven Engineering and Software Development: Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers, Author: Slimane Hammoudi
QUICK ADD
Model-Driven Engineering and…
by Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves
#506 in Series
Paperback $54.99
Title: Software Quality. The Future of Systems- and Software Development: 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality. The Future…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#238 in Series
Paperback $54.99

Pagination Links