Campusbibliothek

Ihre Suche erzielte 115 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
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
2.
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
3.
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
4.
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
5.
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
6.
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
7.
Cellular automata 06.03. - 10.03.95 (9510); [report on the Dagstuhl-Seminar Cellular Automata] Josef Gruska ... (eds.) von Reihen: ; 108 | Dagstuhl-Seminar-Report ; 108
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 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) Wadern, Dagstuhl IBFI SR 108.
Vormerken Zum Korb hinzufügen
8.
Molecular bioinformatics 10.07. - 14.07.95 Dan Gusfield ... (ed.) von Reihen: ; 120 | Dagstuhl-Seminar-Report ; 120
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 120.
Vormerken Zum Korb hinzufügen
9.
Abstract interpretation 28.08. - 01.09.95 Patrick Cousot ... (ed.) von Reihen: ; 123 | Dagstuhl-Seminar-Report ; 123
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 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) Wadern, Dagstuhl IBFI SR 123.
Vormerken Zum Korb hinzufügen
10.
Scientific visualization 26.8. - 30.8.91 (9135) ; [report of the 1st Dagstuhl Seminar on Scientific Visualization] Hans Hagen ... (ed.). [Schloss Dagstuhl, Internationales Begegnungs- und Forschungszentrum für Informatik] von Reihen: ; 19 | Dagstuhl-Seminar-Report ; 19
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl 1991
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 19.
Vormerken Zum Korb hinzufügen
11.
Scientific visualization 23.05. - 27.05.94 ; [report of the 2nd Dagstuhl Seminar on Scientific Visualization] Hans Hagen ... (ed.). [Schloss Dagstuhl, Internationales Begegnungs- und Forschungszentrum für Informatik] von Reihen: ; 90 | Dagstuhl-Seminar-Report ; 90
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss 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 90.
Vormerken Zum Korb hinzufügen
12.
New trends in the integration of paradigms Chris Hankin ... (ed.) von Reihen: ; 126 | Dagstuhl-Seminar-Report ; 126
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1996
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 126.
Vormerken Zum Korb hinzufügen
13.
Integration of functional and logic languages Michael Hanus ... (eds.) von Reihen: ; 146 | Dagstuhl-Seminar-Report ; 146
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 146.
Vormerken Zum Korb hinzufügen
14.
Methods for semantics and specification Jean-Raymond Abrial ... (ed.) von Reihen: ; 117 | Dagstuhl-Seminar-Report ; 117
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 117.
Vormerken Zum Korb hinzufügen
15.
Computing with faulty inputs 29.05. - 02.06.95 Martin Aigner (ed.) ... von Reihen: ; 116 | Dagstuhl-Seminar-Report ; 116
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 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) Wadern, Dagstuhl IBFI SR 116.
Vormerken Zum Korb hinzufügen
16.
Structure and complexity 30.09. - 04.10.96 (9640); [report of the Dagstuhl-Seminar Structure and Complexity] Eric Allender ... (eds.) von Reihen: ; 158 | Dagstuhl-Seminar-Report ; 158
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 158.
Vormerken Zum Korb hinzufügen
17.
Computational geometry 13.03. - 17.03.95 ; [Report on the Fourth Dagstuhl Seminar on Computational Geometry] [Schloss Dagstuhl, Internationales Begegnungs- und Forschungszentrum für Informatik]. Helmut Alt ... (ed.) von Reihen: ; 109 | Dagstuhl-Seminar-Report ; 109
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 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) Wadern, Dagstuhl IBFI SR 109.
Vormerken Zum Korb hinzufügen
18.
Structure and complexity 14.02. - 18.02.94 ; [report on the Dagstuhl-Seminar "Structure and Complexity"] Klaus Ambos-Spies; Steven Homer; Uwe Schöning (ed.). [Schloss Dagstuhl, Internationales Begegnungs- und Forschungszentrum für Informatik] von Reihen: ; 82 | Dagstuhl-Seminar-Report ; 82
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss 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 82.
Vormerken Zum Korb hinzufügen
19.
Informatics and semiotics Peter B. Andersen ...(eds.) von Reihen: ; 135 | Dagstuhl-Seminar-Report ; 135
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 135.
Vormerken Zum Korb hinzufügen
20.
Automata theory: distributed models 11.01. - 15.01.93 ; [report on the Dagstuhl-Seminar "Automata Theory: Distributed Models"] André Arnold ... (ed.). [Schloss Dagstuhl, Internationales Begegnungs- und Forschungszentrum für Informatik] von Reihen: ; 54 | Dagstuhl-Seminar-Report ; 54
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl 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) Wadern, Dagstuhl IBFI SR 54.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha