Results of search for 'pl:"Berlin ;"' › ISTA Library catalog

Results
	1.	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, 2002 Online resources: statement of content Availability: Items available for reference: Library: Not for loan (1).
	2.	Algorithmische Sprache und Programmentwicklung by Bauer, Friedrich L Wössner, Hans; Partsch, H Publication details: Berlin [u.a.] : Springer, 1981 Availability: Items available for reference: Library: Not for loan (1).
	3.	Einführung in das Programmieren in LISP by Hamann, Christian-Michael Publication details: Berlin [u.a.] : de Gruyter, 1982 Availability: Items available for loan: Library (1). Place hold
	4.	Angewandte Informatik by Mertens, Peter Publication details: Berlin [u.a.] : de Gruyter, 1972 Availability: Items available for reference: Library: Not for loan (1).
	5.	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, 1972 Availability: Items available for reference: Library: Not for loan (1).
	6.	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 \| ; 78 \| ; 2 Language: German, English Publication details: Berlin [u.a.] : Springer, 1973 Availability: Items available for reference: Library: Not for loan (1).
	7.	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, 1972 Online resources: table of contents Availability: Items available for loan: Library (1). Place hold
	8.	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; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2001 Online resources: Publisher description Table of contents only Availability: Items available for loan: Library (1)Call number: 005-2001. Place hold
	9.	Theoretical computer science : introduction to Automata, compurability, complexity, algorithmics, randomization, communication, and cryptography / Juraj Hromkovič. by Hromkovič, Juraj, 1958- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2004 Online resources: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: Library (1)Call number: 004-2004. Place hold
	10.	The algorithmic beauty of sea shells : with CD-ROM by Meinhardt, Hans Publication details: Berlin [u.a.] : Springer, 2009 Availability: Items available for loan: Library (1)Call number: 59x-2009. Place hold
	11.	Lectures on discrete geometry Jiří Matoušek by Matoušek, Jiří, 1963-2015 [author] Series: Graduate texts in mathematics ; 212 Material type: Text; Format: print Language: English Publisher: New York Berlin Heidelberg Springer [2002]Copyright date: © 2002 Online resources: table of contents content Publisher description Availability: Items available for reference: Books at groups: Not for loan (1). Not available: Checked out (1). Place hold
	12.	A panoramic view of Riemannian geometry / Marcel Berger. by Berger, Marcel, 1927- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2003 Online resources: Publisher description Table of contents only Availability: Items available for loan: Library (2)Call number: 516-2003, ... Items available for reference: Books at groups: Not for loan (2). Place hold
	13.	Approximation algorithms / by Vijay V. Vazirani. by Vazirani, Vijay V Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; London : Springer, 2011 Availability: Items available for loan: Library (2)Call number: 005-2010, ... Place hold
	14.	Funktionalanalysis Dirk Werner by Werner, Dirk, 1955- [aut] Series: Springer-Lehrbuch Edition: 7., korrigierte und erw. Aufl. Material type: Text; Format: print Language: German Publisher number: 80030123 Publisher: Berlin Heidelberg [u.a.] Springer 2011 Online resources: content table of contents Availability: Not available: Checked out (1). Place hold
	15.	Combinatorial optimization : polyhedra and efficiency / Alexander Schrijver. by Schrijver, A Series: Algorithms and combinatorics ; 24 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2003 Online resources: 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. Place hold
	16.	An introduction to Markov processes / Daniel W. Stroock. by Stroock, Daniel W Series: Graduate texts in mathematics ; 230 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2005 Availability: Items available for loan: Library (1)Call number: 519-2005. Items available for reference: Books at groups: Not for loan (1). Place hold
	17.	Algebraic number theory / Jürgen Neukirch ; translated from the German by Norbert Schappacher. by Neukirch, Jürgen, 1937- Series: Grundlehren der mathematischen Wissenschaften ; 322 Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: Berlin ; New York : Springer, c1999 Online resources: Publisher description Table of contents only Availability: Items available for loan: Library (1)Call number: 512-199x. Place hold
	18.	Brownian motion and stochastic calculus Ioannis Karatzas ; Steven E. Shreve by Karatzas, Ioannis, 1952- [aut] Shreve, Steven E [aut] Series: Springer study edition \| Graduate texts in mathematics ; 113 Edition: 2. ed., corrected softcover ed., Material type: Text; Format: print Language: English Publisher: New York Berlin Springer [ca 2006] Availability: Items available for loan: Library (1)Call number: 530-199x. Lists: Physics. Place hold
	19.	Information processing and biological systems / Samuli Niiranen and Andre Ribeiro [(eds.)]. by Niiranen, Samuli Ribeiro, Andre, 1976- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer, c2011 Availability: Items available for loan: Library (1)Call number: 570-2011. Place hold
	20.	Using the Borsuk-Ulam theorem lectures on topological methods in combinatorics and geometry by Matoušek, Jiří Series: Universitext Edition: 2., corr. print. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin [u.a.] Springer 2008 Online resources: table of contents content text Availability: Items available for reference: Books at groups: Not for loan (1). Library: Not for loan (1)Call number: 514-2008. Not available: Checked out (2). Place hold

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Topics

Titles

Your search returned 13085 results.