Zum Hauptinhalt springen
Hochschulbibliothek der TH OWL

Suchergebnisse

Bestand TH OWL
12 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

12 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
    edited by Toshiaki Aoki, Kenji Taguchi
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  2. Detailansicht für Treffer 2 öffnen
    Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
    edited by George Eleftherakis, Mike Hinchey, Mike Holcombe
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  3. Detailansicht für Treffer 3 öffnen
    Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
    edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2013
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
    edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider
    Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  5. Detailansicht für Treffer 5 öffnen
    Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
    edited by Radu Calinescu, Bernhard Rumpe
    1st ed. 2015. - Cham: Springer International Publishing, 2015
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  6. Detailansicht für Treffer 6 öffnen
    Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
    edited by Dimitra Giannakopoulou, Gwen Salaün
    Cham: Springer International Publishing, 2014
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  7. Detailansicht für Treffer 7 öffnen
    Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
    edited by Jin Song Dong, Huibiao Zhu
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  8. Detailansicht für Treffer 8 öffnen
    Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
    edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2013
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  9. Detailansicht für Treffer 9 öffnen
    Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
    edited by Shengchao Qin, Zongyan Qiu
    Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  10. Detailansicht für Treffer 10 öffnen
    Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
    edited by Kenneth L. McMillan, Xavier Rival
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2014
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  11. Detailansicht für Treffer 11 öffnen
    Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
    edited by Helmut Seidl
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  12. Detailansicht für Treffer 12 öffnen
    Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
    edited by Gilles Barthe
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011
    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 -