Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
174 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

174 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Automatic verification of sequential infinite state processes
    Olaf Burkart
    Berlin [u.a.]: Springer, 1997
    Monographie, Hochschulschrift, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Algorithm design: foundations, analysis, and internet examples
    Michael T. Goodrich ; Roberto Tamassia
    New York [u.a.]: Wiley, 2002
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Updating logical databases
    Marianne Winslett
    Cambridge [u.a.]: Cambridge Univ. Press, 1990
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Functional programming and input output
    Andrew D. Gordon
    Cambridge: Cambridge University Press, 1994
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Reasoning with logic programming
    José Júlio Alferes ; Luís Moniz Pereira
    Berlin [u.a.]: Springer, 1996
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Algebra of programming
    Richard Bird and Oege de Moor
    London [u.a]: Prentice Hall, 1997
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Designing evolutionary algorithms for dynamic environments
    Ronald W. Morrison
    Berlin [u.a.]: Springer, 2004
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Mathematics of program construction, [1]. 375th anniversary of the Groningen University, Groningen, The Netherlands, June 26 - 30, 1989: international conference ... ; proceedings
    Berlin ; Heidelberg [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Inductive synthesis of functional programs: universal planning, folding of finite programs, and schema abstraction by analogical reasoning
    Ute Schmid
    Berlin [u.a.]: Springer, 2003
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    The B language and method: a guide to practical formal development
    K. Lano
    London [u.a.]: Springer, 1996
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme
    Joachim Trescher
    München [u.a.]: Oldenbourg, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Proceedings, '88. Oslo, Norway, August 15 - 17, 1988
    European Conference on Object Oriented Programming
    Berlin, Heidelberg [u.a.]: Springer, 1988
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Agent oriented programming: from prolog to guarded definite clauses
    Matthew M. Huntbach ; Graem A. Ringwood
    Berlin [u.a.]: Springer, 1999
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Semantik von Programmiersprachen
    Elfriede Fehr
    Berlin [u.a.]: Springer, 1989
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 ö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
  16. Detailansicht für Treffer 16 öffnen
    Concurrent reactive plans: anticipating and forestalling execution failures
    Michael Beetz
    Berlin [u.a.]: Springer, 2000
    Monographie, Hochschulschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    The science of programming
    David Gries
    3. print.. - Berlin [u.a.]: Springer, 1985
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    From logic programming to Prolog
    Krzysztof R. Apt
    London [u.a.]: Prentice Hall, 1997
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Control flow semantics
    Jaco de Bakker and Erik de Vink
    Cambridge, Mass. [u.a.]: MIT Press, 1996
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    The formal semantics of programming languages: an introduction
    Glynn Winskel
    Cambridge, Mass. [u.a.]: MIT Pr, 1993
    Monographie, Gedruckte Ressource

Artikel & mehr

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