Refine your search

Your search returned 1974 results.

Not what you expected? Check for suggestions
1.
2.
Principles of model checking

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

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Cambridge, Mass. [u.a.] MIT Press 2008Online access: table of contents Availability: No items available Checked out (1).
3.
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). Location(s): 004-2015.
4.
R for SAS and SPSS Users [electronic resource] / by Robert A. Muenchen.

by Muenchen, Robert A [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, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
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). Location(s): EBook .
6.
The Basics of S-PLUS [electronic resource] / by Andreas Krause, Melvin Olson.

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

Edition: 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). Location(s): EBook .
7.
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). Location(s): EBook .
8.
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). Location(s): EBook .
9.
Global Optimization [electronic resource] : From Theory to Implementation / edited by Leo Liberti, Nelson Maculan.

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

Source: 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). Location(s): EBook .
10.
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). Location(s): EBook .
11.
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). Location(s): EBook .
12.
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).

Edition: 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). Location(s): EBook .
13.
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).

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). Location(s): EBook .
14.
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).

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). Location(s): EBook .
15.
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). Location(s): EBook .
16.
Data Manipulation with R [electronic resource] / by Phil Spector.

by Spector, Phil [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, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
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). Location(s): EBook .
18.
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).

Source: 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). Location(s): EBook .
19.
Software for Data Analysis [electronic resource] : Programming with R / by John Chambers.

by Chambers, John [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, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
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).

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). Location(s): EBook .

Powered by Koha