Campusbibliothek

Ihre Suche erzielte 16 Treffer.

Sortieren
Ergebnisse
1.
Types in compilation third international workshop, Montreal, Canada, September 21, 2000 ; revised selected papers TIC 2000. Robert Harper (ed.) von Reihen: ; 207100 | Lecture notes in computer science ; 2071
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • TIC 2000
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2071.
2.
The definition of Standard ML Robin Milner, Mads Tofte, and Robert Harper von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Massachusetts The MIT Press [1990]Copyright-Datum: © 1990
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MIL r 1990:1 2.Ex, ...
3.
The definition of standard ML Robin Milner ... von
Auflage: revised [ed.]
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Mass. [u.a.] MIT Press 1997
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (4)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MIL r 1997:1 3.Ex, ... Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MIL r 1997:1 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
4.
Introduction to standard ML Robert Harper von
Materialtyp: Text Text; Format: Druck
Verlag: Pittsburgh, PA School of Computer Science, Carnegie Mellon Univ. 1993
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) P ML 1986:1 1.Ex.
5.
Relational interpretations of recursive types in an operational setting von Reihen: Carnegie Mellon University (CMU) <Pittsburgh, Pa.> / School of Computer Science : Report
Materialtyp: Text Text; Format: Druck ; Literarische Form: Sachliteratur
Verlag: Carnegie Mellon Univ. 1998
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Pittsburgh UNI CMU-CS-98-125.
6.
Abstract models of memory management von Reihen: Carnegie Mellon University (CMU) <Pittsburgh, Pa.> / School of Computer Science : Report
Materialtyp: Text Text; Format: Druck ; Literarische Form: Sachliteratur
Verlag: Carnegie Mellon Univ. 1995
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Pittsburgh UNI CMU-CS-95-110.
7.
Typed closure conversion von Reihen: Carnegie Mellon University (CMU) <Pittsburgh, Pa.> / School of Computer Science : Report
Materialtyp: Text Text; Format: Druck ; Literarische Form: Sachliteratur
Verlag: Carnegie Mellon Univ. 1995
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Pittsburgh UNI CMU-CS-95-171.
8.
TIL a type-directed optimizing compiler for ML von Reihen: Carnegie Mellon University (CMU) <Pittsburgh, Pa.> / School of Computer Science : Report
Materialtyp: Text Text; Format: Druck ; Literarische Form: Sachliteratur
Verlag: Carnegie Mellon Univ. 1996
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Pittsburgh UNI CMU-CS-96-108.
9.
A type-theoretic account of Standard ML 1996 (version 1) von Reihen: Carnegie Mellon University (CMU) <Pittsburgh, Pa.> / School of Computer Science : Report
Materialtyp: Text Text; Format: Druck ; Literarische Form: Sachliteratur
Verlag: Carnegie Mellon Univ. 1996
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Pittsburgh UNI CMU-CS-96-136.
10.
A type-theoretic account of standard ML 1996 (version 2) von Reihen: Carnegie Mellon University (CMU) <Pittsburgh, Pa.> / School of Computer Science : Report
Materialtyp: Text Text; Format: Druck ; Literarische Form: Sachliteratur
Verlag: Carnegie Mellon Univ. 1996
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Pittsburgh UNI CMU-CS-96-136R.
11.
Semantics of memory management for polymorphic languages von Reihen: Carnegie Mellon University (CMU) <Pittsburgh, Pa.> / School of Computer Science : Report
Materialtyp: Text Text; Format: Druck ; Literarische Form: Sachliteratur
Verlag: Carnegie Mellon Univ. 1996
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Pittsburgh UNI CMU-CS-96-176.
12.
An interpretation of standard ML in type theory von Reihen: Carnegie Mellon University (CMU) <Pittsburgh, Pa.> / School of Computer Science : Report
Materialtyp: Text Text; Format: Druck ; Literarische Form: Sachliteratur
Verlag: Carnegie Mellon Univ. 1997
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Pittsburgh UNI CMU-CS-97-147.
13.
The fox project advanced language technology for extensible systems von Reihen: Carnegie Mellon University (CMU) <Pittsburgh, Pa.> / School of Computer Science : Report
Materialtyp: Text Text; Format: Druck ; Literarische Form: Sachliteratur
Verlag: Carnegie Mellon Univ. 1998
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Pittsburgh UNI CMU-CS-98-107.
14.
Practical foundations for programming languages Robert Harper von
Auflage: 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 2013
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HAR r5 2013:1 2.Ex. Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HAR r5 2013:1 1.Ex.
15.
The little typer Daniel P. Friedman and David Thrane Christiansen; drawings by Duane Bibby; foreword by Robert Harper; Afterword by Conor McBride von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, MA London The MIT Press [2018]Copyright-Datum: © 2018
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) FRI d 2018:1 1.Ex.
16.
Practical foundations for programming languages Robert Harper von
Auflage: 2. Edition
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York NY Cambridge University Press 2016
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (8)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HAR r5 2016:1 1.Ex, ...
Seiten

Impressum

Datenschutzhinweise

Powered by Koha