Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 21 Treffer.

Sortieren
Ergebnisse
1.
The Vienna development method: the meta-language ed. by D. Bjørner ... von Reihen: ; 6100 | Lecture notes in computer science ; 61
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.s.] Springer 1978
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) LNCS 61.
2.
Functional programming using Standard ML °Ake Wikström von Reihen: Prentice-Hall international series in computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: London [u.a.] Prentice-Hall 1987
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) P ML 1987:1 4.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) P ML 1987:1 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
3.
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, ...
4.
Commentary on standard ML Robin Milner and Mads Tofte von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Mass. [u.a.] MIT Press 1991
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) P ML 1991: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) P ML 1991:1 1.Ex.
5.
ML for the working programmer Laurence C. Paulson von
Auflage: 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge University Press 1991
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) P ML 1992:2 1.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
6.
Applicative high order programming the standard ML perspective S. Sokolowski von Reihen: Chapman and Hall Computing Series
Auflage: 1. ed.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: London [u.a.] Chapman and Hall 1991
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) SOK st 1991:1 2.Ex, ...
7.
ML primer Ryan Stansifer von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Englewood Cliffs, N.J Prentice Hall 1992
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) P ML 1992:1 2.Ex, ...
8.
Introduction to HOL a theorem proving environment for higher order logic ed. by M. J. C. Gordon and T. F. Melham von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Pr. 1993
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GOR m 1993:1 3.Ex, ...
9.
Elements of ML programming Jeffrey D. Ullman von Reihen: Prentice-Hall international editions | Prentice-Hall International editions
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Englewood Cliffs, NJ Prentice-Hall Internat. 1994
Online-Ressourcen:
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) P ML 1994:2 1.Ex, ...
10.
ML for the working programmer Lawrence C. Paulson von
Auflage: Reprinted
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1993
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) P ML 1993:1 2.Ex, ...
11.
ML for the working programmer Lawrence C. Paulson von
Auflage: 2. ed.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge Cambridge University Press 1996
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) P ML 1996:1 2.Ex, ...
12.
Modern compiler implementation in ML basic techniques Andrew W. Appel von
Auflage: preliminary ed., 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1997
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) APP a 1997:2 3.Ex, ...
13.
ML with concurrency design, analysis, implementation, and application Flemming Nielson, ed. von Reihen: Monographs in computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York Heidelberg [u.a.] Springer 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) NIE f 1997:1 1.Ex.
14.
ML for the working programmer Lawrence C. Paulson von
Auflage: 2. ed., reprinted with corr
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1997
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) P ML 1997:1 1.Ex.
15.
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).
16.
Elements of ML programming Jeffrey D. Ullman von Reihen: An Alan R. Apt book | Prentice Hall international editions
Auflage: ML97 ed., internat. ed
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Upper Saddle River, NJ [u.a.] Prentice-Hall International 1998
Weitere Titel:
  • ML97 ML 97
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) P ML 1998:2 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) P ML 1998:2 1.Ex.
17.
Modern compiler implementation in ML Andrew W. Appel von
Auflage: 1. publ., rev. and expanded ed. of: Modern compiler implementation in ML: basic techniques
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge Cambridge Univ. Press 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) APP a 1998:3 1.Ex.
18.
The little MLer Matthias Felleisen; Daniel P. Friedman. Drawings by Duane Bibby; foreword by Robin Milner von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Mass. [u.a.] MIT Press 1998
Verfügbarkeit: 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) FEL m 1998:2 1.Ex.
19.
Concurrent programming in ML John H. Reppy von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1999
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) P ML 1999:1 2.Ex, ...
20.
Introduction to programming using SML Michael R. Hansen and Hans Rischel von Reihen: International computer science series
Auflage: 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Harlow, England Bonn [u.a.] Addison-Wesley 1999
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) P ML 1999:2 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) P ML 1999:2 1.Ex.
Seiten

Impressum

Datenschutzhinweise

Powered by Koha