Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Published in Springer eBooks (2014)

Autonomy Requirements Engineering for Space Missions

by Vassev, Emil, Hinchey, Mike
Published in Springer eBooks (2014)

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /

Published in Springer eBooks (2014)

A Rigorous Semantics for BPMN 2.0 Process Diagrams

by Kossak, Felix, Illibauer, Christa, Geist, Verena, Kubovy, Jan, Natschläger, Christine, Ziebermayr, Thomas, Kopetzky, Theodorich, Freudenthaler, Bernhard, Schewe, Klaus-Dieter
Published in Springer eBooks (2014)

Trusted Cloud Computing

Published in Springer eBooks (2014)

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /

Published in Springer eBooks (2014)

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Ital...

Published in Springer eBooks (2014)

Handbook of Neuroevolution Through Erlang

by Sher, Gene I.
Published in Springer eBooks (2013)

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II /

Published in Springer eBooks (2014)

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I /

Published in Springer eBooks (2014)

Recommendation Systems in Software Engineering

Published in Springer eBooks (2014)

Optimization Methods, Theory and Applications

Published in Springer eBooks (2015)

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /

Published in Springer eBooks (2013)

Web Dynpro ABAP for Practitioners

by Gellert, Ulrich, Cristea, Ana Daniela
Published in Springer eBooks (2013)

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /

Published in Springer eBooks (2013)

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004

by Dignum, Frank
Published in Springer e-books (2005)

Designing Virtual Reality Systems The Structured Approach /

by Kim, Gerard
Published in Springer e-books (2005)

Model Driven Engineering Languages and Systems (vol. # 3713) 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings

by Briand, Lionel
Published in Springer e-books (2005)

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 /

by Ramesh, S.
Published in Springer e-books (2007)

Process-Aware Systems First International Workshop, PAS 2014, Shanghai, China, October 17, 2014. Proceedings /

Published in Springer eBooks (2015)