Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 125 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Subrecursion functions and hierarchies H. E. Rose von Reihen: Oxford science publications | ; 900 | Oxford logic guides ; 900
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Oxford Clarendon Press 1984
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) ROS h 1984:1 1.Ex.
Vormerken Zum Korb hinzufügen
2.
Toposes and local set theories an introduction J. L. Bell von Reihen: Oxford science publications | ; 1400 | Oxford logic guides ; 1400
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Pr. 1988
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) BEL j 1988:1 1.Ex.
Vormerken Zum Korb hinzufügen
3.
Programming in Martin Löf's type theory an introduction Bengt Nordström, Kent Petersson and Jan M. Smith von Reihen: Oxford science publications | ; 7 | International series of monographs on computer science ; 7
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1990
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) NOR b 1990:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
4.
Essentials of logic programming Christopher John Hogger von Reihen: Oxford science publications | ; 1 | Graduate texts in computer science ; 1
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1990
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) HOG ch 1990:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
5.
Foundations without foundationalism a case for second-order logic Stewart Shapiro von Reihen: Oxford science publications | ; 1700 | Oxford logic guides ; 1700
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1991
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) ShAP st 1991:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
6.
Foundations of the prediction process Frank B. Knight von Reihen: Oxford Science publications | ; 100 | Oxford studies in probability ; 1
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford [u.a.] Clarendon Press 1992
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) KNI f 1992:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
7.
A study of logics John P. Cleave von Reihen: Oxford science publications | ; 1800 | Oxford logic guides ; 1800
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1991
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) CLE j2 1991:1 1.Ex.
Vormerken Zum Korb hinzufügen
8.
Relative category theory and geometric morphisms a logical approach Jonathan Chapman and Frederick Rowbottom von Reihen: Oxford science publications | ; 1600 | Oxford logic guides ; 1600
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1992
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) ChAP j 1991:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
9.
Optimum experimental designs A. C. Atkinson and A. N. Donev von Reihen: Oxford science publications | ; 8 | Oxford statistical science series ; 8
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford [u.a.] Clarendon 1992
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) ATK a2 1992:1 1.Ex.
Vormerken Zum Korb hinzufügen
10.
11.
Automated deduction in multiple valued logics Reiner Hähnle von Reihen: Oxford science publications | ; 10 | International series of monographs on computer science ; 10
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1993
Hochschulschriftenvermerk: Teilw. zugl.: Karlsruhe, Univ., Diss., 1992
Weitere Titel:
  • multiple-valued
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) HÄH r 1993:1 1.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
12.
Many-valued logics Grzegorz Malinowski von Reihen: Oxford science publications | ; 2500 | Oxford logic guides ; 2500
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1993
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) MAL g4 1993:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
13.
Computation and reasoning a type theory for computer science Zhaohui Luo von Reihen: Oxford science publications | ; 11 | International series of monographs on computer science ; 11
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 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) LUO z 1994:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
14.
Diagonalization and self-reference Raymond M. Smullyan von Reihen: Oxford science publications | ; 2700 | Oxford logic guides ; 2700
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1994
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) SMU r 1994:1 1.Ex.
Vormerken Zum Korb hinzufügen
15.
Nonstandard queries and nonstandard answers [... the result of the Workshop on Nonstandard Queries and Answers organized at ONERA-CERT in Toulouse, France in July 1991 ...] ed. by R. Demolombe ... von Reihen: Oxford science publications | ; 300 | Studies in logic and computation ; 3
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press [u.a.] 1994
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) DEM r3 1994:1 1.Ex.
Vormerken Zum Korb hinzufügen
16.
Type-theoretical grammar Aarne Ranta von Reihen: Oxford science publications | ; 100 | Indices ; 1
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford [u.a.] Clarendon Press 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) RAN a 1994:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
17.
Plots, transformations, and regression an introduction to graphical methods of diagnostic regression analysis A. C. Atkinson von Reihen: Oxford science publications | ; 1,r,94 | Oxford statistical science series ; 1,r,94
Auflage: Reprinted
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Oxford Univ. Press 1994
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) ATK a2 1994:1 1.Ex.
Vormerken Zum Korb hinzufügen
18.
Degree theory in analysis and applications Irene Fonseca and Wilfrid Gangbo von Reihen: Oxford science publications | ; 200 | Oxford lecture series in mathematics and its applications ; 2
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1995
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) FON i 1995:1 1.Ex. Nicht verfügbar: Gebäude E2 4 (UdS FR MATHE ): restricted use (1).
Vormerken Zum Korb hinzufügen
19.
Theory and numerics of ordinary and partial differential equations [lecture notes of the six invited speakers at the sixth SERC Summer School in Numerical Analysis, held at the University of Leicester from the 18th to the 29th of July, 1994] ed. by M. Ainsworth ... von Reihen: Oxford science publications | ; 4 | Advances in numerical analysis ; 4
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1995
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) AIN m 1995:1 1.Ex.
Vormerken Zum Korb hinzufügen
20.
Fundamentals of semigroup theory John M. Howie von Reihen: Oxford science publications | ; 1012 | London Mathematical Society London Mathematical Society monographs series ; 12 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1995
Online-Ressourcen:
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) HOW j 1995:1 1.Ex.
Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha