Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

466 Treffer

Sortierung: 
  1. Detailansicht für Treffer 121 öffnen
    Principles and practice of constraint programming: 6th international conference ; proceedings
    CP 2000, Singapore, September 18 - 21, 2000. Rina Dechter (ed.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 122 öffnen
    Principles and practice of constraint programming: proceedings
    11th International Conference, CP 2005, Sitges, Spain, October 1 - 5, 2005. Peter van Beek (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 123 öffnen
    Algebraic semantics of imperative programs
    Joseph A. Goguen and Grant Malcolm
    Cambridge, Mass. [u.a.]: MIT Press, 1996
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 124 öffnen
    Principles and practice of constraint programming: 7th international conference ; proceedings
    CP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Toby Walsh (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 125 öffnen
    Programming with constraints: an introduction
    Kim Marriott and Peter J. Stuckey
    Cambridge, Mass. [u.a.]: MIT Pr, 1998
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 126 öffnen
    Principles and practice of constraint programming: 5th international conference ; proceedings
    CP'99, Alexandria, VA, USA, October 11 - 14, 1999. Joxan Jaffar (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 127 öffnen
    Implementation and application of functional languages: 17th international workshop ; revised selected papers
    IFL 2005, Dublin, Ireland, September 19 - 21, 2005. Andrew Butterfield ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 128 öffnen
    Optimal interprocedural program optimization: a new framework and its application
    Jens Knoop
    Berlin [u.a.]: Springer, 1998
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 129 öffnen
    Power aware computer systems: 4th international workshop ; revised selected papers
    PACS 2004, Portland, OR, USA, December 5, 2004. Babak Falsafi ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 130 öffnen
    Structuring data with Turbo Pascal: a practical introduction to abstract data types
    William G. McArthur, J. Winston Crawley
    Englewood Cliffs, N.J [u.a.]: Prentice Hall, 1992
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 131 öffnen
    Implementation of functional languages: 14th international workshop ; revised selected papers
    IFL 2002, Madrid, Spain, September 16 - 18, 2002. Ricardo Peña ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 132 öffnen
    Power aware computer systems: third international workshop ; revised papers
    PACS 2003, San Diego, CA, USA, December 1, 2003. Babak Falsafi ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  13. Detailansicht für Treffer 133 öffnen
    CASL reference manual: the complete documentation of the Common Algebraic Specification Language
    Peter D. Mosses (ed.)
    Berlin [u.a.]: Springer, 2004
    Sammelwerk, Gedruckte Ressource, Elektronische Ressource, CD-ROM
  14. Detailansicht für Treffer 134 öffnen
    Formal methods and software engineering: proceedings
    7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005. Kung-Kiu Lau ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 135 öffnen
    Static analysis: 11th international symposium ; proceedings
    SAS 2004, Verona, Italy, August 26 - 28, 2004. Roberto Giacobazzi (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 136 öffnen
    Object process methodology: a holistic systems paradigm
    Dov Dori
    Berlin [u.a.]: Springer, 2002
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 137 öffnen
    Automata, languages and programming: 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings
    EATCS. [ICALP '91]. J. Leach Albert ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 138 öffnen
    Persistent object systems: design, implementation, and use ; revised papers
    9th International Workshop, POS-9, Lillehammer, Norway, September 6 - 8, 2000. Graham N. C. Kirby ... (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 139 öffnen
    Objects and databases: international symposium, Sophia Antipolis, France, June 13, 2000 ; revised papers
    Klaus R. Dittrich ... (eds.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 140 öffnen
    Static analysis: 13th international symposium ; proceedings
    SAS 2006, Seoul, Korea, August 29 - 31, 2006. Kwangkeun Yi (ed.)
    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 -