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:
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).
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.
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 .
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 .
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 .
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 .
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 .
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 .
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 .
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 .
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 .
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 .
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 .
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 .
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 .
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 .
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 .
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 .
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 .

Powered by Koha