Results of search for 'Provider:Springer,'

Image from Amazon.com

Automated reasoning with analytic tableaux and related methods international conference, July 30 - August 1, 2002; proceedings. [electronic resource] by

Publication details: Berlin [u.a.] : Springer, 2002

Online resources:

statement of content

Availability: Items available for reference: Library: Not for loan (1).

Image from Amazon.com

Algorithmische Sprache und Programmentwicklung by

Publication details: Berlin [u.a.] : Springer, 1981

Availability: Items available for reference: Library: Not for loan (1).

Image from Amazon.com

1. Fachtagung über Programmiersprachen : München, 9. - 11. März 1971 / hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack by

Publication details: Berlin [u.a] : Springer, 1972

Availability: Items available for reference: Library: Not for loan (1).

Image from Amazon.com

2. Jahrestagung : Karlsruhe, 2. - 4. Oktober 1972 / hrsg. von Peter Deussen. by

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).

Image from Amazon.com

The Mathematica Guidebook: Programming. by

Trott, Michael

Publication details: Springer, 2004

Availability: Items available for loan: Library (2)Call number: 510-2004, ...

Lists:

Mathematica.

Image from Amazon.com

Single-Channel Recording. by

Sakmann, Bert

Publication details: Springer, 2009

Availability: Not available: Checked out (1).

Image from Amazon.com

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:

Availability: Items available for loan: Library (1)Call number: 005-2001.

Image from Amazon.com

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:

Availability: Items available for loan: Library (1)Call number: 004-2004.

Image from Amazon.com

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.

10.

Image from Amazon.com

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.

11.

Image from Amazon.com

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:

Availability: Items available for reference: Books at groups: Not for loan (1).

12.

Image from Amazon.com

The elements of statistical learning : data mining, inference, and prediction / Trevor Hastie, Robert Tibshirani, Jerome Friedman. by

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).

13.

Image from Amazon.com

English for Academic Correspondence and Socializing. by

Wallwork, Adrian

Publication details: Springer, 2011

Availability: Items available for loan: Library (1)Call number: 65x-2011.

14.

Image from Amazon.com

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.

15.

Image from Amazon.com

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:

Availability: Items available for loan: Library (2)Call number: 8xx-2006, ...

16.

Image from Amazon.com

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.

17.

Image from Amazon.com

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).

18.

Image from Amazon.com

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.

Image from Amazon.com

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 (1)Call number: 519-2010. Items available for reference: Books at groups: Not for loan (1). Not available: Checked out (1).

20.

Image from Amazon.com

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.

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Topics

Titles

Your search returned 25374 results.

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Topics

Titles

Your search returned 25374 results.

Public lists