IST Austria Library catalog › Results of search for 'su:"Computer software."'

	1.	Multiagent systems: algorithmic, game-theoretic, and logical foundations by Shoham, Yoav \| Leyton-Brown, Kevin [Author]. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: Cambridge [u.a.] Cambridge Univ. Press 2009Online access: Contributor biographical information Contributor biographical information \| Publisher description Publisher description \| Table of contents only Table of contents only \| Inhaltsverzeichnis Inhaltsverzeichnis \| Contributor biographical information \| Publisher description \| Table of contents only \| Inhaltsverzeichnis Inhaltsverzeichnis \| Zentralblatt MATH Inhaltstext \| Volltext ReferenceTree Volltext \| Zentralblatt MATH Inhaltstext Availability: Items available for reference: Books at groups (1). Location(s): Guet Group . Log in to add tags
	2.	Principles of model checking by Baier, Christel \| Katoen, Joost-Pieter [author]. Material type: 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). Place hold Log in to add tags
	3.	Building microservices Sam Newman by Newman, Sam [author]. Edition: First editionMaterial type: 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. Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	7.	The Mathematica GuideBook for Numerics [electronic resource] / by Michael Trott. by Trott, Michael [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; 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 . Place hold Log in to add tags
	8.	The Mathematica GuideBook for Symbolics [electronic resource] / by Michael Trott. by Trott, Michael [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	16.	Data Manipulation with R [electronic resource] / by Phil Spector. by Spector, Phil [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags
	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; Format: electronic available online ; 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 . Place hold Log in to add tags

IST Austria Library

Refine your search

Availability

Titles

Places

Collections

Series

Topics

Home libraries

Item types

Authors