Results of search for 'Provider:Springer, '

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.	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).
	4.	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).
	5.	The Mathematica Guidebook: Programming. by Trott, Michael Publication details: Springer, 2004 Availability: Items available for loan: Library (2)Call number: 510-2004, ... Lists: Mathematica. Place hold
	6.	Single-Channel Recording. by Sakmann, Bert Publication details: Springer, 2009 Availability: Not available: Checked out (1). Place hold
	7.	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
	8.	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
	9.	The Mathematica GuideBook for Numerics. by Trott, Michael Publication details: Springer, 2005 Availability: Items available for loan: Library (2)Call number: 510-2006, ... Lists: Mathematica. Place hold
	10.	The Mathematica GuideBook for Symbolics. by Trott, Michael Publication details: Springer, 2005 Availability: Items available for loan: Library (1)Call number: 519-2006. Lists: Mathematica. Place hold
	11.	Handbook of biological confocal microscopy / editor, James Pawley. by Pawley, James B Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, NY : Springer, c2006 Online resources: Publisher description Table of contents only Availability: Items available for reference: Books at groups: Not for loan (1).
	12.	The elements of statistical learning : data mining, inference, and prediction / Trevor Hastie, Robert Tibshirani, Jerome Friedman. by Hastie, Trevor Tibshirani, Robert Friedman, J. H. (Jerome H.) Series: Springer series in statistics Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, NY : Springer, c2009 Availability: Items available for loan: Library (3)Call number: 519-2009, ... Items available for reference: Library: Not for loan (1)Call number: 519-2009. Not available: Checked out (2). Place hold
	13.	English for Academic Correspondence and Socializing. by Wallwork, Adrian Publication details: Springer, 2011 Availability: Items available for loan: Library (1)Call number: 65x-2011. Place hold
	14.	English for presentations at international conferences / Adrian Wallwork. by Wallwork, Adrian Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c2010 Availability: Items available for loan: Library (1)Call number: 8xx-2010. Lists: Presentations. Place hold
	15.	EndNote 1-2-3 easy! : reference management for the professional / Abha Agrawal. by Agrawal, Abha Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, NY : Springer Science+Business Media, Inc., c2006 Online resources: Publisher description Table of contents only Availability: Items available for loan: Library (2)Call number: 8xx-2006, ... Place hold
	16.	English for Writing Research Papers. by Wallwork, Adrian Publication details: Springer, 2011 Availability: Items available for loan: Library (1)Call number: 8xx-2011. Lists: Scientific writing. Place hold
	17.	Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series). by Kroening, Daniel Material type: Article; Format: print ; Literary form: Not fiction Publication details: Springer, 2008 Availability: Not available: Checked out (1). Place hold
	18.	Bioinspired Computation in Combinatorial Optimization: Algorithms and Their Computational Complexity. by Neumann, Frank Series: Natural Computing Series Publication details: Springer, 2010 Availability: Items available for reference: Books at groups: Not for loan (1).
	19.	All of Statistics: A Concise Course in Statistical Inference (Springer Texts in Statistics). by Wasserman, Larry Publication details: Springer, 2010 Availability: Items available for loan: Library (2)Call number: 519-2010, ... Items available for reference: Books at groups: Not for loan (1). Place hold
	20.	A Primer on Scientific Programming with Python (Texts in Computational Science and Engineering). by Langtangen, Hans Petter Publication details: Springer, 2012 Availability: Items available for loan: Library (1)Call number: 518-2012. Place hold

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Topics

Titles

Your search returned 25363 results.