Zum Hauptinhalt springen
Hochschulbibliothek der TH OWL

Suchergebnisse

Bestand TH OWL
6 Treffer

Suchmaske

Suchtipp für den Bereich Bestand TH OWL: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

6 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formal methods: proceedings
    FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.)
    Berlin, Heidelberg: Springer, c 2003
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext [Interna: Verlag; Info: Zugriff nur im Hochschulnetz der Fachhochschule Lippe und Höxter bzw. für autorisierte Benutzer]
    Volltext [Interna: Verlag; Info: Zugriff nur im Hochschulnetz der Fachhochschule Lippe und Höxter bzw. für autorisierte Benutzer]
  2. Detailansicht für Treffer 2 öffnen
    Leveraging applications of formal methods: first international symposium ; revised selected papers
    ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004. Tiziana Margaria ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext [Interna: Verlag; Info: Zugriff nur im Hochschulnetz der Fachhochschule Lippe und Höxter bzw. für autorisierte Benutzer]
  3. Detailansicht für Treffer 3 öffnen
    FM 2006: Formal methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006 ; proceedings
    Jayadev Misra ... (Eds.)
    Berlin: Springer, 2006
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext [Interna: Verlag; Info: Zugriff nur im Hochschulnetz der Fachhochschule Lippe und Höxter bzw. für autorisierte Benutzer]
  4. Detailansicht für Treffer 4 öffnen
    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
    Berlin Heidelberg: Springer-Verlag GmbH, 2006
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  5. Detailansicht für Treffer 5 öffnen
    Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
    edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  6. Detailansicht für Treffer 6 öffnen
    Verification, Model Checking, and Abstract Interpretation (vol. # 3855): 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    edited by E. Allen Emerson, Kedar S. Namjoshi
    Berlin Heidelberg: Springer-Verlag GmbH, 2006
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext

Artikel & mehr

Überregionale Kataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -