Refine your search

Your search returned 2066 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Principles of model checking

by Baier, Christel | Katoen, Joost-Pieter [author].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge, Mass. [u.a.] MIT Press 2008Online access: table of contents Availability: Not available: Checked out (1). Lost (1).
Place hold Log in to add tags
Building microservices Sam Newman

by Newman, Sam [author].

Edition: First editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Beijing Cambridge Farnham Köln Sebastopol Tokyo O'Reilly 2015Online access: content text | table of contents Availability: Items available for loan: Library (1)Call number: 004-2015.
Place hold Log in to add tags
R for SAS and SPSS Users [electronic resource] / by Robert A. Muenchen.

by Muenchen, Robert A [author.] | SpringerLink (Online service).

Series: Statistics and ComputingSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Using SPSS For Windows [electronic resource] : Data Analysis and Graphics / by Susan B. Gerber, Kristin Voelkl Finn.

by Gerber, Susan B [author.] | Finn, Kristin Voelkl [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
The Basics of S-PLUS [electronic resource] / by Andreas Krause, Melvin Olson.

by Krause, Andreas [author.] | Olson, Melvin [author.] | SpringerLink (Online service).

Series: Statistics and ComputingEdition: Fourth Edition.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
The Mathematica GuideBook for Numerics [electronic resource] / by Michael Trott.

by Trott, Michael [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
The Mathematica GuideBook for Symbolics [electronic resource] / by Michael Trott.

by Trott, Michael [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Global Optimization [electronic resource] : From Theory to Implementation / edited by Leo Liberti, Nelson Maculan.

by Liberti, Leo [editor.] | Maculan, Nelson [editor.] | SpringerLink (Online service).

Series: Nonconvex Optimization and Its Applications ; 84Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Computer Algebra Recipes [electronic resource] : An Introductory Guide to the Mathematical Models of Science / by Richard H. Enns, George C. McGuire.

by Enns, Richard H [author.] | McGuire, George C [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Stochastic Ageing and Dependence for Reliability [electronic resource] / by Chin-Diew Lai, Min Xie.

by Lai, Chin-Diew [author.] | Xie, Min [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Ideals, Varieties, and Algorithms [electronic resource] : An Introduction to Computational Algebraic Geometry and Commutative Algebra / by David Cox, John Little, Donal O’Shea.

by Cox, David [author.] | Little, John [author.] | O’Shea, Donal [author.] | SpringerLink (Online service).

Series: Undergraduate Texts in MathematicsEdition: Third Edition.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Graphics of Large Datasets [electronic resource] : Visualizing a Million / by Antony Unwin, Martin Theus, Heike Hofmann.

by Unwin, Antony [author.] | Theus, Martin [author.] | Hofmann, Heike [author.] | SpringerLink (Online service).

Series: Statistics and ComputingSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Reliability, Life Testing and the Prediction of Service Lives [electronic resource] : For Engineers and Scientists / by Sam C. Saunders.

by Saunders, Sam C [author.] | SpringerLink (Online service).

Series: Springer Series in StatisticsSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Computer Algebra Recipes [electronic resource] : An Advanced Guide to Scientific Modeling / by Richard H. Enns, George C. McGuire.

by Enns, Richard H [author.] | McGuire, George C [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Data Manipulation with R [electronic resource] / by Phil Spector.

by Spector, Phil [author.] | SpringerLink (Online service).

Series: Use R!Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Mathematica in Action [electronic resource] : Problem Solving Through Visualization and Computation / edited by Stan Wagon.

by Wagon, Stan [editor.] | SpringerLink (Online service).

Edition: 3.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Advances in Applied Mathematics and Global Optimization [electronic resource] : In Honor of Gilbert Strang / edited by David Y. Gao, Hanif D. Sherali.

by Gao, David Y [editor.] | Sherali, Hanif D [editor.] | SpringerLink (Online service).

Series: Advances in Mechanics and Mathematics ; 17Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Software for Data Analysis [electronic resource] : Programming with R / by John Chambers.

by Chambers, John [author.] | SpringerLink (Online service).

Series: Statistics and ComputingSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
SAS for Data Analysis [electronic resource] : Intermediate Statistical Methods / by Mervyn G. Marasinghe, William J. Kennedy.

by Marasinghe, Mervyn G [author.] | Kennedy, William J [author.] | SpringerLink (Online service).

Series: Statistics and ComputingSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pages

Powered by Koha