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
    Compositionality: the significant difference ; international symposium ; revised lectures
    COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997. W.-P. de Roever ... (ed.)
    Berlin, Heidelberg: Springer, 2002
    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
    Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever
    Dennis Dams ... (ed.)
    Berlin [u.a.]: Springer, 2010
    Online Festschrift, Aufsatzsammlung, Sammelwerk, Elektronische Ressource
    Zugriff:
    Volltext [Interna: Verlag; Info: Zugriff nur im Hochschulnetz der Hochschule Ostwestfalen-Lippe bzw. für autorisierte Benutzer]
  3. Detailansicht für Treffer 3 öffnen
    Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
    edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010
    Online Monographie, Aufsatzsammlung, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
    edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  5. Detailansicht für Treffer 5 öffnen
    Rewriting, computation and proof: essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
    Hubert Comon-Lundh ... (eds.)
    Berlin [u.a.]: Springer, 2007
    Online Festschrift, 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
    Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
    edited by Willem-Paul Roever, Hans Langmaack, Amir Pnueli
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (1998) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (1998), 1998; 1998
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
  7. Detailansicht für Treffer 7 öffnen
    Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
    edited by Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock
    Berlin, Heidelberg: Springer-Verlag 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
    Rapid Integration of Software Engineering Techniques: Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
    edited by Nicolas Guelfi, Didier Buchs
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  9. Detailansicht für Treffer 9 öffnen
    Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
    edited by Thomas Reps, Mooly Sagiv, Jörg Bauer
    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 Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
    edited by Gul Agha, Olivier Danvy, José Meseguer
    Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  11. Detailansicht für Treffer 11 öffnen
    From Programs to Systems. The Systems perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
    edited by Saddek Bensalem, Yassine Lakhneck, Axel Legay
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2014
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  12. Detailansicht für Treffer 12 öffnen
    Types for proofs and programs: international workshop ; types '99, Lökeberg, Sweden, June 12 - 16, 1999 ; selected papers
    Thierry Coquand ... (ed.)
    Berlin, Heidelberg: Springer, 2002
    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]
  13. Detailansicht für Treffer 13 öffnen
    Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
    edited by Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2000) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg New York (2000), 2000; 2000
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
  14. Detailansicht für Treffer 14 ö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
  15. Detailansicht für Treffer 15 ö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

Artikel & mehr

Überregionale Kataloge

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