Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

157 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Invasive software composition: with 9 tables
    Uwe Aßmann
    Berlin [u.a.]: Springer, 2003
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Jini in a nutshell: Deutsche Ausgabe für Jini 1.0 und 1.1
    Scott Oaks & Henry Wong
    1. Aufl.. - Beijing [u.a.]: O'Reilly, 2001
    Monographie, Verzeichnis, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Computability and complexity: from a programming perspective
    Neil D. Jones
    Cambridge, Mass. [u.a.]: MIT Press, 1997
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Finite representations of CCS and TCSP programs by automata and Petri nets
    Dirk Taubner
    Berlin [u.a.]: Springer, 1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Semirings for soft constraint solving and programming
    Stefano Bistarelli
    Berlin [u.a.]: Springer, 2004
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Visualization of scientific parallel programs
    Gerald Tomas ; Christoph W. Ueberhuber
    Berlin [u.a.]: Springer, 1994
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    A classification scheme for declarative programming languages: syntax, semantics and operational models
    Yi-Ke Guo ; Hendrik C. R. Lock
    Sankt Augustin: Ges. für Mathematik und Datenverarbeitung, 1990
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Jini in a nutshell: a desktop quick reference
    Scott Oaks & Henry Wong
    1. ed.. - Beijing [u.a.]: O'Reilly, 2000
    Monographie, Verzeichnis, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Formal specification of programming languages: a panoramic primer
    Frank G. Pagan
    Englewood Cliffs, N.J.: Prentice-Hall, 1981
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Mathematical foundations of programming language semantics, 3. Tulane University, New Orleans, Louisiana, USA, April 8 - 10, 1987: ... workshop ; proceedings
    Workshop on the Mathematical Foundations of Programming Language Semantics
    Berlin, Heidelberg [u.a.]: Springer, 1988
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Category theory and computer science, 4. Paris, France, September 3 - 6, 1991: proceedings
    Bienial Conference on Category Theory and Computer Science
    Berlin, Heidelberg [u.a.]: Springer, 1991
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  12. Detailansicht für Treffer 12 öffnen
    Categories, types and structures: an introduction to category theory for the working computer scientist
    Andrea Asperti ; Giuseppe Longo
    Cambridge, Mass. [u.a.]: MIT Press, 1991
    Monographie, Einführung, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Algebra, Sprachen, Programmierung
    von Wiktor Michailowitsch Gluschkow ; Georgi Jewsejewitsch Zeitlin ; Jekaterina Logwinowna Justschenko
    München [u.a.]: Oldenbourg, 1980
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types
    Mark Steven Sherman
    Berlin [u.a.]: Springer, 1985
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Computer semantics: studies of algorithms, processors and languages
    John A. N. Lee
    Repr. [d. Ausg.] New York, 1972. - Huntington, N.Y.: Krieger, 1978
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Introduction of standard data types into LOTOS
    Silke Storp
    Sankt Augustin, 1992
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Comparative metric semantics of programming languages: nondeterminism and recursion
    Franck van Breugel
    Boston [u.a.]: Birkhäuser, 1998
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Generic model management: concepts and algorithms
    Sergey Melnik
    Berlin [u.a.]: Springer, 2004
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Operational semantics for timed systems: a non-standard approach to uniform modeling of timed and hybrid systems
    [author: Heinrich Rust]
    Berlin [u.a.]: Springer, 2005
    Monographie, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  20. Detailansicht für Treffer 20 öffnen
    Design of very high level computer languages: a user oriented approach
    Klerer, Melvin
    2. ed.. - New York: McGraw-Hill, 1991
    Monographie, Gedruckte Ressource

Artikel & mehr

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