Refine your search

Your search returned 310 results.

Not what you expected? Check for suggestions
1.
Introduction to the theory of computation Michael Sipser

by Sipser, Michael.

Edition: 3. ed., internat. ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: [s.l.] Cengage Learning c2013Online access: table of contents Availability: Items available for loan: Library (1). Checked out (1). Location(s): 511.
2.
Introduction to the theory of computation

by Sipser, Michael.

Edition: 3. ed., internat. ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: [s.l.] Cengage Learning c2013Online access: table of contents Availability: Items available for loan: Library (2). Items available for reference: Books at groups (1).
Location(s): 511.
3.
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:
5.
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).
6.
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.
7.
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 .
8.
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 .
9.
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 .
10.
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 .
11.
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 .
12.
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 .
13.
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 .
14.
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 .
15.
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 .
16.
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 .
17.
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 .
18.
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 .
19.
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 .
20.
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 .

Powered by Koha