Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
77 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: 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

Literaturtyp

Schlagwort

Sprache

Form

Person

77 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A survey of verification techniques for parallel programs
    Barringer, Howard
    BERLIN, HEIDELBERG, NEW YORK, TOKYO: Springer, 1985
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Types for proofs and programs: international workshop ; selected papers
    TYPES 2002, Berg en Dal, The Netherlands, April 24 - 28, 2002 ; Herman Geuvers ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Types for proofs and programs: international workshop ; revised selected papers
    TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Concurrent reactive plans: anticipating and forestalling execution failures
    Michael Beetz
    Berlin [u.a.]: Springer, 2000
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    The science of programming
    Gries, David
    5. print.. - New York [u.a.]: Springer, 1989
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Semantik: Theorie sequentieller und paralleler Programmierung
    Eike Best
    Braunschweig [u.a.]: Vieweg, 1995
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Proceedings / CAAP '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15 - 18, 1990
    A. Arnold (ed.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Origins of programming: discourses on methodology
    A. P. Ershov
    Berlin [u.a.]: Springer, 1990
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Types for proofs and programs: international workshop ; revised selected papers
    TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Stefano Berardi ... (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Abstraction, reformulation and approximation: 6th international symposium ; proceedings
    SARA 2005, Airth Castle, Scotland, UK, July 26 - 29, 2005. Jean-Daniel Zucker ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Colloquium on Trees in Algebra and Programming (CAAP '91)
    S. Abramsky ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Compositionality: the significant difference ; international symposium ; revised lectures
    COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997. Willem-Paul de Roever ... (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Algebraic and logic programming: second international conference, Nancy, France, October 1 - 3, 1990 ; proceedings
    H. Kirchner ... (ed.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Structure and interpretation of computer programs
    Harold Abelson and Gerald Jay Sussman with Julie Sussman. Foreword by Alan J. Perlis
    2. ed.. - Cambridge, Mass. [u.a.]: MIT Press [u.a.], 1996
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Formal development of programs and proofs
    ed. by Edsger W. Dijkstra
    Reading, Mass. [u.a.]: Addison-Wesley, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Abstraction, reformulation, and approximation: 5th international symposium ; proceedings
    SARA 2002, Kananaskis, Alberta, Canada, August 2 - 4, 2002. Sven Koenig ... (eds.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Types for proofs and programs: international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers
    Paul Callaghan ... (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Abstraction, reformulation, and approximation: proceedings
    4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26 - 29, 2000. Berthe Y. Choueiry ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    The science of programming
    David Gries
    3. print.. - Berlin [u.a.]: Springer, 1985
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Foundations of software science and computation structures: 9th international conference ; proceedings
    FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - 31, 2006. Luca Aceto ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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