Zum Hauptinhalt springen
Hochschulbibliothek der TH OWL

Suchergebnisse

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

15 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formal techniques for networked and distributed systems - FORTE 2007: proceedings
    27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27 - 29, 2007. John Derrick ... (eds.)
    Berlin [u.a.]: Springer, 2007
    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]
  2. Detailansicht für Treffer 2 öffnen
    Formal techniques for networked and distributed systems: 23rd IFIP WG 6.1 international conference ; proceedings
    FORTE 2003, Berlin, Germany, September 29 - October 2, 2003. Hartmut König ... (ed.)
    Berlin [u.a.]: Springer, 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]
  3. Detailansicht für Treffer 3 öffnen
    Formal techniques for networked and distributed systems: 26th IFIP WG 6.1 international conference, Paris, France, September 26 - 29, 2006 ; proceedings
    FORTE 2006. Elie Najm ... (eds.)
    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]
  4. Detailansicht für Treffer 4 öffnen
    Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
    edited by David Frutos-Escrig, Manuel Nunez
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: IFIP International Federation for Information Processing (2004), 2004; 2004
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
  5. Detailansicht für Treffer 5 öffnen
    Formal techniques for networked and distributed systems: 24th IFIP WG 6.1 international conference ; proceedings
    FORTE 2004, Madrid, Spain, September 27 - 30, 2004. David de Frutos-Escrig ... (eds.)
    Berlin [u.a.]: Springer, 2004
    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]
  6. Detailansicht für Treffer 6 öffnen
    Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
    edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  7. Detailansicht für Treffer 7 öffnen
    Formal techniques for networked and distributed systems: 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2 - 5, 2005 ; proceedings
    FORTE 2005. Farn Wang (ed.)
    Berlin [u.a.]: Springer, 2005
    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]
  8. Detailansicht für Treffer 8 öffnen
    Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
    edited by Farn Wang
    Berlin Heidelberg: Springer-Verlag GmbH, 2005
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  9. Detailansicht für Treffer 9 öffnen
    Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
    edited by John Derrick, Jüri Vain
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  10. Detailansicht für Treffer 10 öffnen
    Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
    edited by Elie Najm, Jean-Francois Pradat-Peyre, Véroniq
    Berlin Heidelberg: Springer-Verlag GmbH, 2006
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  11. Detailansicht für Treffer 11 öffnen
    Foundations and Practice of Security: 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers
    edited by Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2013
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  12. Detailansicht für Treffer 12 öffnen
    Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
    edited by Roberto Bruni, Vladimiro Sassone
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  13. Detailansicht für Treffer 13 öffnen
    Foundations and Practice of Security: 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers
    edited by Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood
    Cham: Springer International Publishing, 2014
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  14. Detailansicht für Treffer 14 ö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)
  15. Detailansicht für Treffer 15 ö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)

Artikel & mehr

Überregionale Kataloge

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