Campusbibliothek

Your search returned 100 results.

Sort
Select all Clear all
Select titles to:
Results
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.) by Series: ; 97 | Dagstuhl-Seminar-Report ; 97
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 97.
Place hold Add to cart
2.
Automation of proof by mathematical induction 24.07. - 28.07.95 Robert S. Boyer ... (eds.) by Series: ; 122 | Dagstuhl-Seminar-Report ; 122
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1996
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 122.
Place hold Add to cart
3.
Disjunctive logic programming and databases non-monotonic aspects Jürgen Dix ... (eds.) by Series: ; 150 | Dagstuhl-Seminar-Report ; 150
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1996
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 150.
Place hold Add to cart
4.
Graph algorithms and applications Takao Nishizeki ... (eds.) by Series: ; 145 | Dagstuhl-Seminar-Report ; 145
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1996
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 145.
Place hold Add to cart
5.
Cellular automata 06.03. - 10.03.95 (9510); [report on the Dagstuhl-Seminar Cellular Automata] Josef Gruska ... (eds.) by Series: ; 108 | Dagstuhl-Seminar-Report ; 108
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 108.
Place hold Add to cart
6.
Molecular bioinformatics 10.07. - 14.07.95 Dan Gusfield ... (ed.) by Series: ; 120 | Dagstuhl-Seminar-Report ; 120
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 120.
Place hold Add to cart
7.
Abstract interpretation 28.08. - 01.09.95 Patrick Cousot ... (ed.) by Series: ; 123 | Dagstuhl-Seminar-Report ; 123
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 123.
Place hold Add to cart
8.
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] by Series: ; 19 | Dagstuhl-Seminar-Report ; 19
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl 1991
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 19.
Place hold Add to cart
9.
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] by Series: ; 90 | Dagstuhl-Seminar-Report ; 90
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl 1994
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 90.
Place hold Add to cart
10.
New trends in the integration of paradigms Chris Hankin ... (ed.) by Series: ; 126 | Dagstuhl-Seminar-Report ; 126
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1996
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 126.
Place hold Add to cart
11.
Integration of functional and logic languages Michael Hanus ... (eds.) by Series: ; 146 | Dagstuhl-Seminar-Report ; 146
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1996
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 146.
Place hold Add to cart
12.
Methods for semantics and specification Jean-Raymond Abrial ... (ed.) by Series: ; 117 | Dagstuhl-Seminar-Report ; 117
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 117.
Place hold Add to cart
13.
Computing with faulty inputs 29.05. - 02.06.95 Martin Aigner (ed.) ... by Series: ; 116 | Dagstuhl-Seminar-Report ; 116
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 116.
Place hold Add to cart
14.
Structure and complexity 30.09. - 04.10.96 (9640); [report of the Dagstuhl-Seminar Structure and Complexity] Eric Allender ... (eds.) by Series: ; 158 | Dagstuhl-Seminar-Report ; 158
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1996
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 158.
Place hold Add to cart
15.
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.) by Series: ; 109 | Dagstuhl-Seminar-Report ; 109
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 109.
Place hold Add to cart
16.
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] by Series: ; 82 | Dagstuhl-Seminar-Report ; 82
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl 1994
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 82.
Place hold Add to cart
17.
Informatics and semiotics Peter B. Andersen ...(eds.) by Series: ; 135 | Dagstuhl-Seminar-Report ; 135
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1996
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 135.
Place hold Add to cart
18.
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] by Series: ; 54 | Dagstuhl-Seminar-Report ; 54
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl 1993
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 54.
Place hold Add to cart
19.
Algorithms in Automata Theory 07.02. - 11.02.94 [Schloss Dagstuhl, Internationales Begegnungs- und Forschungszentrum für Informatik]. André Arnold ... (ed.) by Series: ; 81 | Dagstuhl-Seminar-Report ; 81
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl 1994
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 81.
Place hold Add to cart
20.
Theoretical foundations of computer vision Ruzena Bajcsy ... (eds.) by Series: ; 139 | Dagstuhl-Seminar-Report ; 139
Material type: Text Text; Format: print
Language: English Publisher: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1996
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 139.
Place hold Add to cart
Pages

Imprint

Data Protection

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha