IST Austria Library

Refine your search

Your search returned 212 results.

Not what you expected? Check for suggestions
1.
The complexity of valued constraint satisfaction problems

by Živný, Stanislav.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin ;Heidelberg [u.a.] Springer 2012Online access: Inhaltsverzeichnis | Inhaltstext | Zentralblatt MATH Inhaltstext Availability: No items available Checked out (1).
Lists:
Place hold Log in to add tags
2.
Computability Turing, Gödel, Church, and beyond edited by Jack Copeland, Carl J. Posy, and Oron Shagrir

by Copeland, Brian Jack [HerausgeberIn] | Posy, Carl J [HerausgeberIn] | Shagrir, Oron [HerausgeberIn].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Cambridge, Massachusetts London, England The MIT Press [2013]Online access: Zentralblatt MATH Inhaltstext | Inhaltsverzeichnis Availability: No items available Checked out (1).
Place hold Log in to add tags
3.
Introduction to computational science : modeling and simulation for the sciences / Angela B. Shiflet and George W. Shiflet.

by Shiflet, Angela B | Shiflet, George W, 1947-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Princeton, N.J. : Princeton University Press, c2006Online access: Table of contents only Availability: Items available for loan: Library (1). Location(s): 004.
Place hold Log in to add tags
4.
Observer-Based Fault Estimation and Accomodation for Dynamic Systems [electronic resource] / by Ke Zhang, Bin Jiang, Peng Shi.

by Zhang, Ke [author.] | Jiang, Bin [author.] | Shi, Peng [author.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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.
Structural Methods in the Study of Complex Systems [electronic resource] / edited by Elena Zattoni, Anna Maria Perdon, Giuseppe Conte.

by Zattoni, Elena [editor.] | Perdon, Anna Maria [editor.] | Conte, Giuseppe [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online 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.
Stability Analysis and Design for Nonlinear Singular Systems [electronic resource] / by Chunyu Yang, Qingling Zhang, Linna Zhou.

by Yang, Chunyu [author.] | Zhang, Qingling [author.] | Zhou, Linna [author.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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.
Control of Fluid Flow [electronic resource] / edited by Petros Koumoutsakos, Igor Mezic.

by Koumoutsakos, Petros [editor.] | Mezic, Igor [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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.
Control Systems Theory and Applications for Linear Repetitive Processes [electronic resource] / by Eric Rogers, Krzysztof Galkowski, David H. Owens.

by Rogers, Eric [author.] | Galkowski, Krzysztof [author.] | Owens, David H [author.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
9.
Topics in Time Delay Systems [electronic resource] : Analysis, Algorithms and Control / edited by Jean Jacques Loiseau, Wim Michiels, Silviu-Iulian Niculescu, Rifat Sipahi.

by Loiseau, Jean Jacques [editor.] | Michiels, Wim [editor.] | Niculescu, Silviu-Iulian [editor.] | Sipahi, Rifat [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
10.
Domain of Attraction [electronic resource] : Analysis and Control via SOS Programming / by Graziano Chesi.

by Chesi, Graziano [author.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011Online 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.
Dynamic Modeling, Predictive Control and Performance Monitoring [electronic resource] : A Data-driven Subspace Approach / by Biao Huang, Ramesh Kadali.

by Huang, Biao [author.] | Kadali, Ramesh [author.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : 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
12.
Explicit Nonlinear Model Predictive Control [electronic resource] : Theory and Applications / by Alexandra Grancharova, Tor Arne Johansen.

by Grancharova, Alexandra [author.] | Johansen, Tor Arne [author.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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.
Positive Systems [electronic resource] : Proceedings of the third Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 09) Valencia, Spain, September 2-4, 2009 / edited by Rafael Bru, Sergio Romero-Vivó.

by Bru, Rafael [editor.] | Romero-Vivó, Sergio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
14.
Optimization and Cooperative Control Strategies [electronic resource] : Proceedings of the 8th International Conference on Cooperative Control and Optimization / edited by Michael Hirsch, Clayton W. Commander, Panos M. Pardalos, Robert Murphey.

by Hirsch, Michael [editor.] | Commander, Clayton W [editor.] | Pardalos, Panos M [editor.] | Murphey, Robert [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
15.
Reconfigurable Control of Nonlinear Dynamical Systems [electronic resource] : A fault-hiding Approach / by Jan H. Richter.

by Richter, Jan H [author.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online 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.
Complex systems and binary networks : Guanajuato lectures held at Guanajuato, México, 16-22 January 1995 / R. López-Peña [and others].

by López-Peña, R. (Ramón), 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Online 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.
Measures of complexity : proceedings of the conference held in Rome, September 30-October 2, 1987 / L. Peliti, A. Vulpiani, eds.

by Peliti, L. (Luca), 1948- | Vulpiani, A | Cassa di risparmio di Roma | Università degli studi di Roma "La Sapienza." | International Conference on "Measures of Complexity" (1987 : Dipartimento di Fisica dell'Università "La Sapienza").

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1988Online 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.
Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpínski.

by International FCT-Conference (4th : 1983 : Borgholm, Sweden) | Karpiński, Marek, 1948- | Universitetet i Linköping. Department of Computer and Information Science.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1983Online 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.
Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings / CAAP '83 ; edited by G. Ausiello and M. Protasi.

by CAAP '83 (8th : 1983 : L'Aquila, Italy) | Ausiello, G. (Giorgio), 1941- | Protasi, M. (Marco), 1950-.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English, French Publisher: Berlin ; New York : Springer-Verlag, 1983Online 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.
Algorithms and complexity : 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings / Giancarlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (eds.).

by Italian Conference on Algorithms and Complexity (4th : 2000 : Rome, Italy) | Bongiovanni, Giancarlo | Gambosi, G. (Giorgio), 1955- | Petreschi, Rossella, 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha