Reihe: Programming and Software Engineering

Advanced Topics in Exception Handling Techniques

Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi

Taschenbuch | Springer Berlin, 2006

Lieferbar in 6 Werktagen

€ 54,99

Formal Methods for Model-Driven Engineering

12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

Taschenbuch | Springer Berlin, 2012

Lieferbar in 6 Werktagen

€ 54,99

Mathematical and Engineering Methods in Computer Science

8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Antonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos

Taschenbuch | Springer Berlin, 2013

Lieferbar in 6 Werktagen

€ 54,99

Dependable Computing

14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings

Marco Vieira, Joao Carlos Cunha

Taschenbuch | Springer Berlin, 2013

Lieferbar in 6 Werktagen

€ 50,60

Object-Oriented Technology.ECOOP 2006 Workshop Reader

ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

Mario Südholt, Charles Consel

Taschenbuch | Springer Berlin, 2007

Lieferung in 7-14 Werktagen

€ 54,99

Analytical and Stochastic Modeling Techniques and Applications

15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

Khalid Al-Begain, Armin Heindl, Miklos Telek

Taschenbuch | Springer Berlin, 2008

Lieferbar in 6 Werktagen

€ 54,99

Applications of Graph Transformations with Industrial Relevance

Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Andy Schürr, Manfred Nagl, Albert Zündorf

Taschenbuch | Springer Berlin, 2008

Lieferung in 7-14 Werktagen

€ 109,99

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos

Taschenbuch | Springer Berlin, 2014

Lieferbar in 6 Werktagen

€ 54,99

Integrated Formal Methods

5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol

Taschenbuch | Springer Berlin, 2005

Lieferbar in 6 Werktagen

€ 54,99

Formal Methods for Open Object-Based Distributed Systems

7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Martin Steffen, Gianluigi Zavattaro

Taschenbuch | Springer Berlin, 2005

Lieferbar in 6 Werktagen

€ 54,99

Reihe: Programming and Software Engineering

Advanced Topics in Exception Handling Techniques

Formal Methods for Model-Driven Engineering

Mathematical and Engineering Methods in Computer Science

Dependable Computing

Object-Oriented Technology.ECOOP 2006 Workshop Reader

Analytical and Stochastic Modeling Techniques and Applications

Applications of Graph Transformations with Industrial Relevance

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Integrated Formal Methods

Formal Methods for Open Object-Based Distributed Systems

Unsere Prinzipien