33 Notices bibliographiques

Votre Recherche

Recherche simple :

Localisation
  • Ressource électronique acquise
Langues
  • anglais
Sujets
  • Génie logiciel
Auteurs, contributeurs...
  • Steffen, Bernhard (1958-....)
Sauvegarder votre recherche

Affiner

Fonctions du premier auteur choisi

Nature de document

  • Ajouter un filtre

  • Ajouter un filtre

Détail des sujets

  • Ajouter un filtre

Voir la sélection (0)
Ajouter à mes références (0)

1 1996

Margaria-Steffen, Tiziana (1964-....)

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27-29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen
Springer-Verlag
Livres

2 2010

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen
Springer Berlin Heidelberg
Livres

3 2009

Hutchison, David (1949-....)

Coordination Models and Languages : 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, John Field, Vasco T. Vasconcelos
Springer Berlin Heidelberg
Livres

4 2009

Hutchison, David (1949-....)

Distributed Computing and Networking : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Vijay Garg, Roger Wattenhofer, Kishore Kothapalli
Springer Berlin Heidelberg
Livres

5 2010

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen
Springer Berlin Heidelberg
Livres

6 1998

Margaria-Steffen, Tiziana (1964-....)

Services and Visualization Towards User-Friendly Design : ACoS'98, VISUAL'98, AIN'97 Selected Papers / edited by Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga
Springer-Verlag
Livres

7 2008

Hutchison, David (1949-....)

Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, María Alpuente, Germán Vidal
Springer-Verlag Berlin Heidelberg
Livres

8 2008

Hutchison, David (1949-....)

Quality of Software Architectures. Models and Architectures : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Steffen Becker, Frantisek Plasil, Ralf Reussner
Springer Berlin Heidelberg
Livres

9 2009

Hutchison, David (1949-....)

Model Driven Architecture - Foundations and Applications : 5th European Conference, ECMDA-FA 2009, Enschede, the Netherlands, June 23-26, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Richard F. Paige, Alan Hartman, Arend Rensink
Springer Berlin Heidelberg
Livres

10 2006

Maragria, Tiziana

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / edited by Tiziana Maragria, Bernhard Steffen
Springer-Verlag.
Livres

Récupérer les notices

(0)
(33)

autres Ressources