skip to main content
En raison d'un problème technique temporaire il se peut que la liste de résultats soit incomplète. Veuillez ré-essayer ultérieurement.
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Versions multiples

2
Material Type:
Versions multiples

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Steffen, Bernhard. ; Levi, Giorgio.

Plusieurs versions trouvées
Il y a 2 versions

3
Material Type:
Versions multiples

Correct System Design : Recent Insights and Advances

Olderog, Ernst-Rüdiger. ; Steffen, Bernhard.

Plusieurs versions trouvées
Il y a 2 versions

4
Transactions on Foundations for Mastering Change I
Material Type:
Livre
Ajouter à Mon espace

Transactions on Foundations for Mastering Change I

Steffen, Bernhard

Cham : Springer International Publishing, 2016

Accessible en ligne

5
Tools and algorithms for the construction and analysis of systems : 2nd international workshop, TACAS '96, Passau, March 1996 : proceedings
Material Type:
Livre
Ajouter à Mon espace

Tools and algorithms for the construction and analysis of systems : 2nd international workshop, TACAS '96, Passau, March 1996 : proceedings

Congrès 002 Passau 1996. ; Margaria, Tiziana ; Steffen, Bernhard

Berlin New York NY Paris : Springer, 1996

Voir les exemplaires

6
Material Type:
Acte de conférence
Ajouter à Mon espace

Infinity : International workshop on verification of infinite state systems, Pisa, Italia, august 30-31, 1996 : proceedings

International Workshop on verification of infinite state systems 1996 Pisa, Italia. ; Margaria, Tiziana ; Steffen, Bernhard

Passau : Universität Passau, 1996

Voir les exemplaires

7
Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Material Type:
Livre
Ajouter à Mon espace

Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Margaria, Tiziana. ; Steffen, Bernhard.

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

Accessible en ligne

8
Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
Material Type:
Livre
Ajouter à Mon espace

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Margaria, Tiziana. ; Steffen, Bernhard.

Berlin, Heidelberg : Springer-Verlag, 1996

Accessible en ligne

9
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
Material Type:
Livre
Ajouter à Mon espace

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

Margaria, Tiziana ; Steffen, Bernhard

Cham : Springer International Publishing, 2016

Accessible en ligne

10
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
Material Type:
Livre
Ajouter à Mon espace

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

Margaria, Tiziana ; Steffen, Bernhard

Cham : Springer International Publishing, 2016

Accessible en ligne

11
Material Type:
Livre
Ajouter à Mon espace

Karten von Mykenai Nebst einem Anhange über die Kontoporeia und das mykenisch-korinthische Bergland : Auf Veranlassung des kaiserlich deutschen archäologischen Instituts aufgenommen und mit erläuterndem

Steffen, Bernhard ; Lolling, Habbo Gerhardus (1848-1894)

Berlin : D. Reimer, 1884

Voir les exemplaires  et autres localisations

12
Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
Material Type:
Livre
Ajouter à Mon espace

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

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

Berlin, Heidelberg : Springer-Verlag Springer e-books, 1996

Accessible en ligne

13
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 proceedings
Material Type:
Livre
Ajouter à Mon espace

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 proceedings

International Conference on Verification, Model Checking, and Abstract Interpretation International Conference on Verification, Model Checking, and Abstract Interpretation 5 2004 Venice, IT ; Steffen, Bernhard ; Levi, Giorgio (1942-...)

Berlin New York : Springer, 2004

Voir les exemplaires

14
Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
Material Type:
Livre
Ajouter à Mon espace

Transactions on Foundations for Mastering Change I

Bernhard. Steffen

Springer International Publishing, 2016

Accessible en ligne

15
Services and Visualization Towards User-Friendly Design : ACoS'98, VISUAL'98, AIN'97 Selected Papers
Material Type:
Livre
Ajouter à Mon espace

Services and Visualization Towards User-Friendly Design : ACoS'98, VISUAL'98, AIN'97 Selected Papers

Margaria-Steffen, Tiziana (1964-...) ; Steffen, Bernhard ; Rückert, Roland ; Posegga, Joachim

Berlin, Heidelberg : Springer-Verlag Springer e-books, 1998

Accessible en ligne

16
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Material Type:
Livre
Ajouter à Mon espace

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Hähnle, Reiner. ; Knoop, Jens. ; Margaria, Tiziana. ; Schreiner, Dietmar. ; Steffen, Bernhard.

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

Accessible en ligne

17
Services and Visualization Towards User-Friendly Design : ACoS'98, VISUAL'98, AIN'97 Selected Papers
Material Type:
Livre
Ajouter à Mon espace

Services and Visualization Towards User-Friendly Design : ACoS'98, VISUAL'98, AIN'97 Selected Papers

Margaria, Tiziana. ; Posegga, Joachim. ; Rückert, Roland. ; Steffen, Bernhard.

Berlin, Heidelberg : Springer-Verlag, 1998

Accessible en ligne

18
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Material Type:
Livre
Ajouter à Mon espace

Tools and Algorithms for the Construction and Analysis of Systems

TACAS '98 ; Bernhard Steffen

Springer Berlin Heidelberg, 1998

Accessible en ligne

19
Leveraging Applications of Formal Methods, Verification and Validation
Material Type:
Livre
Ajouter à Mon espace

Leveraging Applications of Formal Methods, Verification and Validation

Bernhard Steffen. Tiziana Margaria ; Tiziana Margaria; Bernhard Steffen

Springer Berlin Heidelberg, 2008

Accessible en ligne

20
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Material Type:
Livre
Ajouter à Mon espace

Tools and Algorithms for the Construction and Analysis of Systems

TACAS '96 ; Tiziana Margaria; Bernhard Steffen

Springer Berlin Heidelberg, 1996

Accessible en ligne

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (1)
  2. Autres  (151)
  3. Livres  (26)
  4. Plus d’options open sub menu

Auteur 

  1. Institut de Recherches sur les lois Fondamentales de l'Univers ( IRFU ) ; Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay  (148)
  2. Laboratoire de Physique Subatomique et de Cosmologie ( LPSC ) ; Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut polytechnique de Grenoble - Grenoble Institute of Technology ( Grenoble INP ) -Institut National de Physique Nucléaire et de Physique des Particules du CNRS ( IN2P3 ) -Institut Polytechnique de Grenoble - Grenoble Institute of Technology-Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA )  (135)
  3. Centre de Calcul de l'IN2P3 ( CC-IN2P3 ) ; Institut National de Physique Nucléaire et de Physique des Particules du CNRS ( IN2P3 ) -Centre National de la Recherche Scientifique ( CNRS )  (135)
  4. Laboratoire de Physique de Clermont ( LPC ) ; Institut National de Physique Nucléaire et de Physique des Particules du CNRS ( IN2P3 ) -Université Clermont Auvergne ( UCA ) -Centre National de la Recherche Scientifique ( CNRS )  (135)
  5. Ryabov , Yury  (135)
  6. Zhou , You  (93)
  7. Beck , Hans  (64)
  8. Laboratoire de physique subatomique et des technologies associées ( SUBATECH ) ; IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Institut National de Physique Nucléaire et de Physique des Particules du CNRS ( IN2P3 ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Nantes ( UN )  (46)
  9. Villatoro Tello , Abraham  (44)
  10. Tumkin , Alexandr  (44)
  11. Shou , Qiye  (44)
  12. Bedda , Cristina  (44)
  13. Furget , Christophe  (44)
  14. Duggal , Ashpreet  (44)
  15. Margagliotti , Giacomo  (44)
  16. Manzari , Vito  (44)
  17. Espinoza Beltran , Lucina  (44)
  18. Inaba , Motoi  (44)
  19. Ghosh , Premomoy  (44)
  20. Alarcon Passo Suaide , Alexandre  (44)
  21. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1996  (2)
  2. 1996 à 1998  (10)
  3. 1999 à 2005  (6)
  4. 2006 à 2010  (4)
  5. Après 2010  (156)
  6. Plus d’options open sub menu

Langue 

  1. Anglais  (172)
  2. Allemand  (1)
  3. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré