Refine your search

Your search returned 17208 results.

Not what you expected? Check for suggestions
Sort
Results
Automated reasoning with analytic tableaux and related methods international conference, July 30 - August 1, 2002; proceedings. [electronic resource]

by Egly, Uwe, 1960- | Fermüller, Christian G, 1963- | International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (2002; Denmark, Copenhagen).

Publication details: Berlin [u.a.] : Springer, 2002Online access: statement of content Availability: Items available for reference: Library: Not for loan (1).
Algorithmische Sprache und Programmentwicklung

by Bauer, Friedrich L | Wössner, Hans; Partsch, H.

Publication details: Berlin [u.a.] : Springer, 1981Availability: Items available for reference: Library: Not for loan (1).
Einführung in das Programmieren in LISP

by Hamann, Christian-Michael.

Publication details: Berlin [u.a.] : de Gruyter, 1982Availability: Items available for loan: Library (1).
Angewandte Informatik

by Mertens, Peter.

Publication details: Berlin [u.a.] : de Gruyter, 1972Availability: Items available for reference: Library: Not for loan (1).
1. Fachtagung über Programmiersprachen : München, 9. - 11. März 1971 / hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack

by Langmaack, Hans | Gesellschaft für Informatik.

Publication details: Berlin [u.a] : Springer, 1972Availability: Items available for reference: Library: Not for loan (1).
2. Jahrestagung : Karlsruhe, 2. - 4. Oktober 1972 / hrsg. von Peter Deussen.

by Gesellschaft für Informatik | Deussen, Peter | Jahrestagung. Gesellschaft für Informatik (GI) (2 : 1972.10.02-04 : Karlsruhe).

Series: Lecture notes in economics and mathematical systems ; Operations research, computer science, social science ; 78 | Jahrestagung // GI, Gesellschaft für Informatik ; 2 Language: German, English Publication details: Berlin [u.a.] : Springer, 1973Availability: Items available for reference: Library: Not for loan (1).
Kategorien und Automaten / von Hartmut Ehrig; Michael Pfender und von Studenten der Mathematik und Informatik.

by Ehrig, Hartmut | Pfender, Michael.

Publication details: Berlin [u.a.] : de Gruyter, 1972Online access: table of contents Availability: Items available for loan: Library (1).
Systems and Software Verification Model-Checking Techniques and Tools B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen

by Bérard, Beatrice [aut].

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2001Online access: Publisher description | Table of contents only Availability: Items available for loan: Library (1)Call number: 005-2001.
Theoretical computer science : introduction to Automata, compurability, complexity, algorithmics, randomization, communication, and cryptography / Juraj Hromkovič.

by Hromkovič, Juraj, 1958-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2004Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: Library (1)Call number: 004-2004. Not available: Lost (1).
The algorithmic beauty of sea shells : with CD-ROM

by Meinhardt, Hans.

Publication details: Berlin [u.a.] : Springer, 2009Availability: Items available for loan: Library (1)Call number: 59x-2009.
A panoramic view of Riemannian geometry / Marcel Berger.

by Berger, Marcel, 1927-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2003Online access: Publisher description | Table of contents only Availability: Items available for loan: Library (1)Call number: 516-2003. Items available for reference: Books at groups: Not for loan (2). Not available: Checked out (1).
Combinatorial optimization : polyhedra and efficiency / Alexander Schrijver.

by Schrijver, A.

Series: Algorithms and combinatorics ; 24Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2003Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: Library (2)Call number: 519-2003, ... Items available for reference: Library: Not for loan (1)Call number: 519-2003. Not available: Lost (1).
Information processing and biological systems / Samuli Niiranen and Andre Ribeiro [(eds.)].

by Niiranen, Samuli | Ribeiro, Andre, 1976-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer, c2011Availability: Not available: Checked out (1).
Using the Borsuk-Ulam theorem lectures on topological methods in combinatorics and geometry

by Matoušek, Jiří.

Series: UniversitextEdition: 2., corr. print.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin [u.a.] Springer 2008Online access: table of contents | content text Availability: Items available for loan: Library (2)Call number: 514-2008, ... Items available for reference: Books at groups: Not for loan (1). Not available: Checked out (1).
Bau- und Nutzungsplanung von Bibliotheken und Archiven DIN, Deutsches Institut für Normung e.V.

by Deutsches Institut für Normung Normenausschuss Bibliotheks- und Dokumentationswesen.

Series: DIN-Fachbericht ; 13Material type: Text Text; Format: print ; Literary form: Not fiction Language: German Publication details: Berlin Beuth 2009Online access: table of contents Availability: Items available for loan: Books at groups (1).
Computational methods for fluid dynamics

by Ferziger, Joel H | Perić, Milovan [Author].

Edition: 3., revised editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin [u.a.] Springer 2002Online access: Publisher description | table of contents | content description Availability: Items available for loan: Library (1)Call number: 532-2002.
Decoherence and the quantum-to-classical transition Maximilian Schlosshauer

by Schlosshauer-Selbach, Maximilian.

Series: The frontiers collectionEdition: Corr. 3. print.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin [u.a.] Springer 2008Online access: table of contents Availability: Items available for reference: Books at groups: Not for loan (1).
Quantum noise a handbook of Markovian and non-Markovian quantum stochastic methods with applications to quantum optics

by Gardiner, Crispin W | Zoller, Peter, 1952- [Author].

Series: Springer complexity Springer series in synergeticsEdition: 3. ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher number: 11017196Publication details: Berlin [u.a.] Springer 2004Online access: Publisher description Publisher description | Table of contents only Table of contents only | Inhaltsverzeichnis Inhaltsverzeichnis | Inhaltsverzeichnis | Zentralblatt MATH Inhaltstext | Zentralblatt MATH Inhaltstext Availability: Items available for reference: Books at groups: Not for loan (2).
Pages

Powered by Koha