Campusbibliothek

Ihre Suche erzielte 255 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Structure and complexity theory 3. - 7.2.92 (9206) Klaus Ambos-Spies ... (eds.) von Reihen: ; 30 | Dagstuhl-Seminar-Report ; 30
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloß Dagstuhl 1992
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 30.
Vormerken Zum Korb hinzufügen
2.
6th International Workshop on Unification 29.07. - 31.07.92 (9231) Franz Baader ... (eds.) von Reihen: ; 42 | Dagstuhl-Seminar-Report ; 42
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloß Dagstuhl 1992
Weitere Titel:
  • sixth
  • Sixth International Workshop on Unification
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) Wadern, Dagstuhl IBFI SR 42.
Vormerken Zum Korb hinzufügen
3.
Interdisciplinary foundations of system design and evaluation 19.09. - 23.09.94; [position papers for Dagstuhl Seminar on Interdisciplinary Foundations of System Design and Evaluation] Liam Bannon ... (eds.) von Reihen: ; 97 | Dagstuhl-Seminar-Report ; 97
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 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) Wadern, Dagstuhl IBFI SR 97.
Vormerken Zum Korb hinzufügen
4.
Experimental software engineering issues 14.09. - 18.09.92 (9238) Victor R. Basili ... (eds.) von Reihen: ; 47 | Dagstuhl-Seminar-Report ; 47
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloß Dagstuhl 1992
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 47.
Vormerken Zum Korb hinzufügen
5.
Computational aspects of commutative algebra and algebraic geometry 26.05. - 30.05.97 (9722) Eberhard Becker ... (eds.) von Reihen: ; 179 | Dagstuhl-Seminar-Report ; 179
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wadern IBFI 1999
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 179.
Vormerken Zum Korb hinzufügen
6.
Automation of proof by mathematical induction 24.07. - 28.07.95 Robert S. Boyer ... (eds.) von Reihen: ; 122 | Dagstuhl-Seminar-Report ; 122
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 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) Wadern, Dagstuhl IBFI SR 122.
Vormerken Zum Korb hinzufügen
7.
Automata theory: infinite computations 6. - 10.1.92 (9202) Kevin Compton ... (eds.). [report of the Dagstuhl-Seminar Automata Theory: Infinite Computations] von Reihen: ; 28 | Dagstuhl-Seminar-Report ; 28
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloß Dagstuhl 1992
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 28.
Vormerken Zum Korb hinzufügen
8.
Functional languages: compiler technoloy and parallelism 23. - 27.3.1992 (9213); [Dagstuhl Seminar Functional Languages - Compiler Technology and Parallelism] Werner Damm ... (eds.) von Reihen: ; 36 | Dagstuhl-Seminar-Report ; 36
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Dagstuhl 1992
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 36.
Vormerken Zum Korb hinzufügen
9.
Theory and practice of machine learning 06.01. - 10.01.97 (9702); [report on the Second Dagstuhl Seminar on Theory and Practice of Machine Learning] Thomas Dietterich ... (eds.) von Reihen: ; 163 | Dagstuhl-Seminar-Report ; 163
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wadern Schloss Dagstuhl 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) Wadern, Dagstuhl IBFI SR 163.
Vormerken Zum Korb hinzufügen
10.
Disjunctive logic programming and databases non-monotonic aspects Jürgen Dix ... (eds.) von Reihen: ; 150 | Dagstuhl-Seminar-Report ; 150
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 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) Wadern, Dagstuhl IBFI SR 150.
Vormerken Zum Korb hinzufügen
11.
Integrating spatial and temporal databases 22.11.1998 - 27.11.1998 (98471) Oliver Günther ... (ed.) von Reihen: ; 228 | Dagstuhl-Seminar-Report ; 228
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wadern IBFI 1999
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 228.
Vormerken Zum Korb hinzufügen
12.
Algorithms and complexity for continuous problems 17.05.1998 - 22.05.1998 (98201) [Dagstuhl-Seminar on Algorithms and Complexity for Continuous Problems]. Peter Mathé ... (ed.) von Reihen: ; 211 | Dagstuhl-Seminar-Report ; 211
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wadern IBFI 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) Wadern, Dagstuhl IBFI SR 211.
Vormerken Zum Korb hinzufügen
13.
Multiple valued logic 27. 10. - 31. 10. 97 (9744) Daniele Mundici ... (ed.) von Reihen: ; 194 | Dagstuhl-Seminar-Report ; 194
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wadern IBFI 1997
Weitere Titel:
  • multiple-valued
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 194.
Vormerken Zum Korb hinzufügen
14.
The Fourth Dagstuhl Seminar on Data Structures 01.03.1998 - 06.03.1998 (98091) Ian Munroe ... (ed.) von Reihen: ; 202 | Dagstuhl-Seminar-Report ; 202
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wadern IBFI 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) Wadern, Dagstuhl IBFI SR 202.
Vormerken Zum Korb hinzufügen
15.
Graph algorithms and applications Takao Nishizeki ... (eds.) von Reihen: ; 145 | Dagstuhl-Seminar-Report ; 145
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 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) Wadern, Dagstuhl IBFI SR 145.
Vormerken Zum Korb hinzufügen
16.
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
17.
Interactions between category theory and computer science 19.07. - 23.07.93 Schloß Dagstuhl, Internationales Begegnungs- und Forschungszentrum für Informatik. Hrsg.: John W. Gray ... von Reihen: ; 69 | Dagstuhl-Seminar-Report ; 69
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloß Dagstuhl 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) Wadern, Dagstuhl IBFI SR 69.
Vormerken Zum Korb hinzufügen
18.
Counting issues theory and application; 06.12. - 10.12.93 (9349) Peter Gritzmann ... (eds.) von Reihen: ; 78 | Dagstuhl-Seminar-Report ; 78
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloß Dagstuhl 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) Wadern, Dagstuhl IBFI SR 78.
Vormerken Zum Korb hinzufügen
19.
Discrete tomography algorithms and complexity; 20.01. - 24.01.97 (97042) Peter Gritzmann ... (eds.) von Reihen: ; 165 | Dagstuhl-Seminar-Report ; 165
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wadern Schloss Dagstuhl 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) Wadern, Dagstuhl IBFI SR 165.
Vormerken Zum Korb hinzufügen
20.
Hierarchial methods in computer graphics 24.05.1998 - 29.05.1998 (98211) Markus H. Gross ... (ed.) von Reihen: ; 212 | Dagstuhl-Seminar-Report ; 212
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wadern IBFI 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) Wadern, Dagstuhl IBFI SR 212.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha