Suchergebnisse - Automatic distribution of object oriented programs

Automatic distribution of object oriented programs

Spiegel, André (Verfasser)

2003

E-Book

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Weiß, Benjamin (Verfasser)

[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2011

E-Book

Object oriented software construction

Meyer, Bertrand

New York [u.a.] : Prentice Hall, 1988

Buch

Java and object orientation : an introduction

Hunt, John

2. ed.

London [u.a.] : Springer, 2002

Buch

ECOOP 2014 -- Object-Oriented Programming : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

Jones, Richard (Herausgeber)

1st ed. 2014

Berlin, Heidelberg : Springer Berlin Heidelberg, 2014

E-Book

ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings

Castagna, Giuseppe (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

An introduction to object-oriented programming in C++ : with applications in computer graphics ; [includes STL]

Seed, Graham M.

2. ed.

London [u.a.] : Springer, 2001

Buch

ECOOP 2009 -- Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings

Drossopoulou, Sophia (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

A theory of distributed objects : asynchrony - mobility - groups - components

Caromel, Denis

Berlin [u.a.] : Springer, 2005

Buch

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Beckert, Bernhard (Herausgeber)

1st edition 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Compiler Construction : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Gupta, Rajiv (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Castagna, Giuseppe (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Meyer, Bertrand (Herausgeber)

1st edition 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Serialization and Persistent Objects : Turning Data Structures into Efficient Databases

Soukup, Jiri (Verfasser)

1st ed. 2014

Berlin, Heidelberg : Springer Berlin Heidelberg, 2014

E-Book

Applied pattern recognition : algorithms and implementation in C++

Paulus, Dietrich

4. ed.

Braunschweig [u.a.] : Vieweg, 2003

Buch

C++ : how to program : introducing the new C++14 standard

Deitel, Paul J. (Verfasser)

tenth edition, global edition

Harlow : Pearson Education Limited, 2017

Buch

Grid and Distributed Computing : International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Proceedings

Slezak, Dominik (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Dong, Jin Song (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Springer handbook of robotics : with 84 tables

Siciliano, Bruno (Herausgeber)

Berlin : Springer, 2008

Buch

The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Ahrendt, Wolfgang (Herausgeber)

1st ed. 2022

Cham : Springer International Publishing, 2022

E-Book

Treffer 1 - 20 von 117

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken