Zum Hauptinhalt springen
Hochschulbibliothek der TH OWL

Suchergebnisse

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

Erscheinungszeitraum

Zugang

Form

Literaturtyp

Schlagwort

Sprache

83 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
    edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2001) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2001), 2001; 2001
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
  2. Detailansicht für Treffer 62 öffnen
    Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues: 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
    edited by Mitsu Okada, Ichiro Satoh
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  3. Detailansicht für Treffer 63 öffnen
    Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    edited
    Berlin Heidelberg: Springer-Verlag GmbH, 2006
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  4. Detailansicht für Treffer 64 öffnen
    Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
    edited by Marco Bernardo, Flavio Corradini
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg (2004), 2004; 2004
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
  5. Detailansicht für Treffer 65 öffnen
    Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
    edit
    Berlin Heidelberg: Springer-Verlag GmbH, 2005
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  6. Detailansicht für Treffer 66 öffnen
    Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
    edited by Marco Bernardo, Jane Hillston
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  7. Detailansicht für Treffer 67 öffnen
    Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September
    Bravetti, Mario ; Kloul, Leila ; et al.
    Berlin Heidelberg: Springer-Verlag GmbH, 2005
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  8. Detailansicht für Treffer 68 öffnen
    Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
    edited by Radu Calinescu, Ethan Jackson
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  9. Detailansicht für Treffer 69 öffnen
    Formal Techniques for Networked and Distributed Systems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings
    edited by Doron A. Peled, Moshe Y. Vardi
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2002) ; Berlin, Heidelberg: IFIP International Federation for Information Processing (2002), 2002; 2002
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
  10. Detailansicht für Treffer 70 öffnen
    Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings
    edited by Hartmut König, Monika Heiner, Adam Wolisz
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2003) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2003), 2003; 2003
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
  11. Detailansicht für Treffer 71 öffnen
    Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
    edited by Holger Giese, Grigore Rosu
    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 72 öffnen
    Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
    edited by Roberto Bruni, Juergen Dingel
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  13. Detailansicht für Treffer 73 öffnen
    Distributed Applications and Interoperable Systems: 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
    edited by Kostas Magoutis, Peter Pietzuch
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2014
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  14. Detailansicht für Treffer 74 öffnen
    Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    edited by Martín Abadi, Steve Kremer
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2014
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  15. Detailansicht für Treffer 75 ö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
  16. Detailansicht für Treffer 76 öffnen
    Formal Methods for Open Object-Based Distributed Systems (vol. # 4037): 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
    edited by Roberto Gorrieri, Heike Wehrheim
    Berlin Heidelberg: Springer-Verlag GmbH, 2006
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  17. Detailansicht für Treffer 77 öffnen
    Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
    edited by David Basin, John C. Mitchell
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2013
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  18. Detailansicht für Treffer 78 öffnen
    Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding
    Kleijn, Jetty ; Yakovlev, Alex
    Berlin Heidelberg: Springer-Verlag GmbH, 2007
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  19. Detailansicht für Treffer 79 ö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
  20. Detailansicht für Treffer 80 öffnen
    Principles of Security and Trust: First International Conference, POST 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 Pierpaolo Degano, Joshua D. Guttman
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
    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 -