Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 69 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
61.
Descriptive complexity Neil Immerman von Reihen: Graduate texts in computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York Berlin Heidelberg Springer 1999
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) IMM n 1999:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
62.
A course in model theory an introduction to contemporary mathematical logic Bruno Poizat von Reihen: Universitext
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York Berlin Heidelberg [u.a.] Springer 2000
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) POI b 2000:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
63.
Elements of finite model theory Leonid Libkin von Reihen: Texts in theoretical computer science an EATCS series
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2004
Online-Ressourcen:
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) LIB l 2004:1 1.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1). Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Ausgeliehen (1).
Vormerken Zum Korb hinzufügen
64.
Algorithmic algebra and logic proceedings of the A3L 2005, April 3 - 6, Passau, Germany ; Conference in Honor of the 60th Birthday of Volker Weispfenning von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Norderstedt Books on Demand GmbH 2005
Hochschulschriftenvermerk: Teilw. zugl.: Heidelberg, Univ., Habil, 1978
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) DOL a2 2005:1 1.Ex.
Vormerken Zum Korb hinzufügen
65.
Finite model theory and its applications with 35 figures and 2 tables Erich Grädel ... von Reihen: Texts in theoretical computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2007
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) GRÄ e 2007:1 1.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
66.
A shorter model theory Wilfrid Hodges von
Auflage: 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) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOD w 1997:1 1.Ex.
Vormerken Zum Korb hinzufügen
67.
Modelltheorie Wolfram Schwabhäuser von Reihen: Hochschultaschenbücher / Bibliographisches Institut ; ...
Materialtyp: Gesamtaufnahme Gesamtaufnahme
Sprache: Deutsch Verlag: Mannheim Bibliograph. Inst. 19XX-
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
68.
69.
Model theory with applications to algebra and analysis [ed. by] Zoé Chatzidakis ... von Reihen: London Mathematical Society Lecture Note Series ; ...
Auflage: 1. publ.
Materialtyp: Gesamtaufnahme Gesamtaufnahme
Sprache: Englisch Verlag: Cambridge Cambrigde Univ. Press 2008-
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha