Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

Form

Person

40 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Logic of computation: [proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25 - August 6, 1995]
    ed. by Helmut Schwichtenberg. Publ. in cooperation with NATO Scientific Affairs Division
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Struktur und Interpretation von Computerprogrammen: eine Informatik-Einführung
    Harold Abelson und Gerald Jay Sussman mit Julie Sussman
    3., überarb. Aufl.. - Berlin [u.a.]: Springer, 1998
    Monographie, Hochschulschrift, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Perspectives of system informatics: revised papers
    5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9 - 12, 2003. Manfred Broy ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Concurrency theory: 14th International Conference ; proceedings
    CONCUR 2003, Marseille, France, September 3 - 5, 2003. Roberto Amadio ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Understanding agent systems
    Mark D'Inverno ; Michael Luck
    2. ed., rev. and extended. - Berlin: Springer, 2004
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    FME 2003: Formal methods: proceedings
    International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Semantik von Programmiersprachen
    Elfriede Fehr
    Berlin [u.a.]: Springer, 1989
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Semantische Technologien: Grundlagen - Konzepte - Anwendungen
    Andreas Dengel (Hrsg.)
    Heidelberg: Spektrum, Akad. Verl, 2012
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Semantik: Theorie sequentieller und paralleler Programmierung
    Eike Best
    Braunschweig [u.a.]: Vieweg, 1995
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Einführung in die Semantik von Programmiersprachen
    von Klaus Alber und Werner Struckmann
    Mannheim [u.a.]: BI-Wiss.-Verl, 1988
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Ausnahmebehandlung in objektorientierten Programmiersprachen
    Feder, Christiane
    Berlin [u.a.]: Springer, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Fundamentals of computation theory, 7. International Conference FCT '89, Szeged, Hungary, August 21 - 25, 1989 : proceedings: FCT ; proceedings of the Conference on Algebraic, Arithmetic and Categorial Methods in Computation Theory
    International FCT Conference
    Berlin; Heidelberg [u.a.]: Springer (1989) ; Berlin: Akad.-Verl (1979), 1989; 1979
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  13. Detailansicht für Treffer 13 öffnen
    Struktur und Interpretation von Computerprogrammen: eine Informatik-Einführung
    H. Abelson und G. J. Sussman mit J. Sussman
    2., unveränd. Aufl.. - Berlin [u.a.]: Springer, 1993
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Grundlagen der Programmiersprachen: mit zahlreichen Beispielen und Aufgaben
    von Jacques Loeckx ; Kurt Mehlhorn ; Reinhard Wilhelm
    Stuttgart: Teubner, 1986
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Kausale Semantik nichtsequentieller Programme
    Best, Eike
    München [u.a.]: Oldenbourg, 1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Einführung in die Programmverifikation: Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL
    von Bernhard Hohlfeld und Werner Struckmann
    Mannheim [u.a.]: BI-Wiss.-Verl, 1992
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Integration funktionaler und logischer Programmiersprachen: Semantik und Implementierung
    von Rita Loogen
    München [u.a.]: Oldenbourg, 1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Struktur und Interpretation von Computerprogrammen: eine Informatik-Einführung
    H. Abelson und G. J. Sussman mit J. Sussman
    Berlin [u.a.]: Springer, 1991
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Konstruktion guter Algorithmen: sichere und korrekte Software
    von Ingo Dittmer
    Stuttgart: Teubner, 1996
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Programming languages and systems: proceedings
    First Asian Symposium, APLAS 2003, Beijing, China, November 27 - 29, 2003. Atsushi Ohori (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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