Refine your search

Your search returned 20092 results.

Not what you expected? Check for suggestions
21.
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series).

by Kroening, Daniel.

Material type: Article Article; Format: print ; Literary form: Not fiction Publisher: Springer, 2008Availability: Items available for loan: Library (1). Location(s): 004.
22.
Bioinspired Computation in Combinatorial Optimization: Algorithms and Their Computational Complexity.

by Neumann, Frank.

Publisher: Springer, 2010Availability: Items available for reference: Books at IST Austria (1). Location(s): Barton Group .
23.
All of Statistics: A Concise Course in Statistical Inference (Springer Texts in Statistics).

by Wasserman, Larry.

Publisher: Springer, 2010Availability: Items available for loan: Library (1). Items available for reference: Books at IST Austria [Call number: 519.5] (1).
Checked out (1).
Location(s): 519.
24.
A Primer on Scientific Programming with Python (Texts in Computational Science and Engineering).

by Langtangen, Hans Petter.

Publisher: Springer, 2012Availability: Items available for loan: Library (1). Location(s): 518.
25.
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics).

by Cox, David A.

Publisher: Springer, 2007Availability: Items available for loan: Library (1), Books at IST Austria (1). Location(s): 516, Wagner Group 516.35.
26.
Feynman-Kac Formulae.

by Moral, Pierre Del.

Publisher: Springer, 2004Availability: Items available for loan: Library (1). Location(s): 53x.
Lists:
27.
Mathematical SETI: Statistics, Signal Processing, Space Missions (Springer Praxis Books / Astronomy and Planetary Sciences).

by Maccone, Claudio.

Publisher: Springer, 2012Availability: Items available for loan: Library (1). Location(s): 62x.
28.
Mixed effects models and extensions in ecology with R (Statistics for Biology and Health).

by Zuur, Alain F.

Publisher: Springer, 2009Availability: No items available Checked out (1).
29.
Introduction to Reliable and Secure Distributed Programming.

by Cachin, Christian.

Publisher: Springer, 2011Availability: Items available for loan: Library (1). Location(s): 005.
30.
Mathematica®: A Problem-Centered Approach (Springer Undergraduate Mathematics Series).

by Hazrat, Roozbeh.

Publisher: Springer, 2010Availability: Items available for loan: Library (1). Location(s): 519.
Lists:
31.
Mathematica® in Action: Problem Solving Through Visualization and Computation.

by Wagon, Stan.

Publisher: Springer, 2010Availability: Items available for loan: Library (1). Location(s): 510 .
Lists:
32.
Mathematical Biology II.

by Murray, J.D.

Publisher: Springer, 2003Availability: No items available Checked out (1).
33.
An Introduction to Modern Mathematical Computing: With Mathematica®

by Borwein, Jonathan M | Skerritt, Matthew P.

Publisher: New York, NY Springer 2012Availability: No items available Checked out (1).
Lists:
34.
Mathematical Biology: I. An Introduction (Interdisciplinary Applied Mathematics) (Pt. 1).

by Murray, James D.

Publisher: Springer, 2007Availability: Items available for loan: Library (1). Checked out (1). Location(s): 570.
35.
Algorithm Collections for Digital Signal Processing Applications Using Matlab.

by Gopi, E.S.

Publisher: Springer, 2010Availability: Items available for loan: Library (1). Location(s): 62x.
36.
Lectures on polytopes

by Ziegler, Günter M.

Publisher: New York [etc.] Springer-Verlag cop. 1995Availability: Items available for loan: Library (1), Books at IST Austria (1). Location(s): 516, Wagner Group 516.35.
37.
Introductory Statistics with R (Statistics and Computing).

by Dalgaard, Peter.

Publisher: Springer, 2008Availability: Items available for loan: Library (2), Books at IST Austria (1). Location(s): 519, Students a .
Lists:
38.
Introduction to Graphical Modelling

by Edwards, David.

Publisher: Springer, 2012Availability: Items available for loan: Library (1). Location(s): 519.
39.
Approximation Algorithms and Semidefinite Programming.

by Gärtner, Bernd.

Publisher: Springer, 2012Availability: Items available for loan: Books at IST Austria (1). Location(s): Wagner Group .
40.
Understanding and Using Linear Programming (Universitext).

by Matousek, Jiri.

Publisher: Springer, 2006Availability: Items available for loan: Books at IST Austria (1). Location(s): Wagner Group .

Powered by Koha