Campusbibliothek

Ihre Suche erzielte 16 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Expert systems in engineering principles and applications ; International Workshop Vienna, Austria, September 24 - 26, 1990 ; proceedings G. Gottlob ... (eds.) von Reihen: ; 462 | Lecture notes in computer science ; 462
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1990
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 LNAI 462.
Vormerken Zum Korb hinzufügen
2.
Computational logic and proof theory proceedings third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24 - 27, 1993. Georg Gottlob ... (eds.) von Reihen: ; 71300 | Lecture notes in computer science ; 713
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1993
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 713.
Vormerken Zum Korb hinzufügen
3.
Database theory 5th international conference Prague, Czech Republic, January 11 - 13, 1995 ; proceedings ICDT '95. Georg Gottlob ... (eds.) von Reihen: ; 89300 | Lecture notes in computer science ; 893
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1995
Weitere Titel:
  • ICDT '95
  • icdt 95
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 893.
Vormerken Zum Korb hinzufügen
4.
Computational logic and proof theory 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25 - 29, 1997; proceedings Georg Gottlob ... (eds.) von Reihen: ; 128900 | Lecture notes in computer science ; 1289
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 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) LNCS 1289.
Vormerken Zum Korb hinzufügen
5.
Computer science logic proceedings 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republik, August 24 - 28, 1998. Georg Gottlob ... (eds.) von Reihen: ; 158400 | Lecture notes in computer science ; 1584
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Weitere Titel:
  • CSL '98
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 1584.
Vormerken Zum Korb hinzufügen
6.
Advances in databases and information systems 8th East European conference, ADBIS 2004, Budapest, Hungary, September 22 - 25, 2004 ; proceedings András Benczúr ... (ed.) von Reihen: ; 325500 | Lecture notes in computer science ; 3255
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11320166
Verlag: Berlin Heidelberg [u.a.] Springer 2004
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 3255.
Vormerken Zum Korb hinzufügen
7.
Finite model theory, databases, and computer-aided verification 03.10.1999 - 08.10.1999 (99401) Georg Gottlob ... (eds.) von Reihen: ; 253 | Dagstuhl-Seminar-Report ; 253
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wadern IBFI 2000
Weitere Titel:
  • computer aided
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) Wadern, Dagstuhl IBFI SR 253.
Vormerken Zum Korb hinzufügen
8.
Reducing disjunctive to non-disjunctive semantics by shift-operations Jürgen Dix; Georg Gottlob; V. Wiktor Marek von Reihen: ; 199518 | Fachberichte Informatik ; 199518
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Koblenz-Landau Univ., Inst. f. Informatik 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) Koblenz-Landau UNI INF 18/95.
Vormerken Zum Korb hinzufügen
9.
Causal models for disjunctive logic programs J. Dix; G. Gottlob; V. Marek von Reihen: ; 199314 | Fachberichte Informatik ; 199314
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Koblenz Inst. für Informatik, 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) Koblenz-Landau UNI INF 14/93.
Vormerken Zum Korb hinzufügen
10.
Datalog reloaded first international workshop, Datalog 2010, Oxford, UK, March 16-19, 2010 ; revised selected papers Oege de Moor ... (eds.) von Reihen: ; 670200 | Lecture notes in computer science ; 6702
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80113344
Verlag: Berlin Heidelberg [u.a.] Springer 2011
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 6702.
Vormerken Zum Korb hinzufügen
11.
Existential second-order logic over strings Thomas Eiter; Georg Gottlob; Yuri Gurevich von Reihen: ; 9702 | Institut für Informatik IFIG Research report ; 9702 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Giessen IFIG 1997
Weitere Titel:
  • second order
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) Giessen IFIG RR 9702.
Vormerken Zum Korb hinzufügen
12.
Reasoning web semantic technologies for intelligent data access ; 9th international summer school 2013, Mannheim, Germany, July 30 - August 2, 2013 ; proceedings Sebastian Rudolph ... (eds.) von Reihen: Tutorial | ; 8067 | Lecture notes in computer science ; 8067
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86295649
Verlag: Berlin Heidelberg [u.a.] Springer 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) LNCS 8067.
Vormerken Zum Korb hinzufügen
13.
Big data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013 ; proceedings Georg Gottlob ... (eds.) von Reihen: ; 796800 | Lecture notes in computer science ; 7968
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86292246
Verlag: Berlin Heidelberg [u.a.] Springer 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) LNCS 7968.
Vormerken Zum Korb hinzufügen
14.
15.
Logic programming and databases S. Ceri; G. Gottlob; L. Tanca von Reihen: Surveys in computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1990
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) CER st 1990:1 3.Ex, ...
Vormerken Zum Korb hinzufügen
16.
IJCAI-03 proceedings of the Eighteenth International Joint Conference on Artificial Intelligence; Acapulco, Mexico, August 9 - 15, 2003 von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: San Francisco, Calif. Kaufmann 2003
Weitere Titel:
  • IJCAI-03
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) IJCAI 2003 18 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha