Refine your search

Your search returned 784 results.

Not what you expected? Check for suggestions
Sort
Results
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 Publication details: [s.l.] Cengage Learning c2013Online access: table of contents Availability: Items available for loan: Library (2)Call number: 511-2013, ... Items available for reference: Books at groups: Not for loan (1). Not available: Checked out (1). Lost (1).
Advances in applied and computational topology : AMS Short Course on Computational Topology, January 4-5, 2011, New Orleans, Louisiana / Afra Zomorodian, editor.

by American Mathematical Society. Short Course on Computational Topology (2011 : New Orleans, La.) | Zomorodian, Afra J, 1974-.

Series: Proceedings of symposia in applied mathematics ; v. 70Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2012Availability: Items available for reference: Books at groups: Not for loan (1).
The complexity of valued constraint satisfaction problems / Živný, Stanislav.

by Živný, Stanislav.

Series: Cognitive technologiesMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer, [2012]Copyright date: 2012Availability: Items available for loan: Library (1)Call number: 004-2012.
Lists:
Computability Turing, Gödel, Church, and beyond edited by Jack Copeland, Carl J. Posy, and Oron Shagrir

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

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Cambridge, Massachusetts London, England The MIT Press [2013]Online access: statement of content | table of contents Availability: Not available: Checked out (1).
The Pillars of Computation Theory [electronic resource] : State, Encoding, Nondeterminism / by Arnold L. Rosenberg.

by Rosenberg, Arnold L [author.] | SpringerLink (Online service).

Series: UniversitextEdition: First.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Statistical and Computational Inverse Problems [electronic resource] / by Jari P. Kaipio, Erkki Somersalo.

by Kaipio, Jari P [author.] | Somersalo, Erkki [author.] | SpringerLink (Online service).

Series: Applied Mathematical Sciences ; 160Source: 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).
Ordinary Differential Equations with Applications [electronic resource] / by Carmen Chicone.

by Chicone, Carmen [author.] | SpringerLink (Online service).

Series: Texts in Applied Mathematics ; 34Edition: 2.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).
Foundations and Applications of Mis [electronic resource] : A Model Theory Approach / by Yasuhiko Takahara, Yongmei Liu ; edited by George J. Klir.

by Takahara, Yasuhiko [author.] | Liu, Yongmei [author.] | Klir, George J [editor.] | SpringerLink (Online service).

Series: IFSR International Series on Systems Science and Engineering ; 24Source: 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).
Optimization in Public Transportation [electronic resource] : Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network / by Anita Schöbel.

by Schöbel, Anita [author.] | SpringerLink (Online service).

Series: Springer Optimization and Its Applications ; 3Source: 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).
Vorticity, Statistical Mechanics, and Monte Carlo Simulation [electronic resource] / edited by Chjan Lim, Joseph Nebus.

by Lim, Chjan [editor.] | Nebus, Joseph [editor.] | SpringerLink (Online service).

Series: Springer Monographs in MathematicsSource: 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).
Queueing Theory [electronic resource] : A Linear Algebraic Approach / by Lester Lipsky.

by Lipsky, Lester [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, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Wave Propagation and Time Reversal in Randomly Layered Media [electronic resource] / by Jean-Pierre Fouque, Josselin Garnier, George Papanicolaou, Knut Sølna.

by Fouque, Jean-Pierre [author.] | Garnier, Josselin [author.] | Papanicolaou, George [author.] | Sølna, Knut [author.] | SpringerLink (Online service).

Series: Stochastic Modelling and Applied Probability, Formerly: Applications of Mathematics ; 56Source: 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).
Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics [electronic resource] / by Marco Pettini.

by Pettini, Marco [author.] | SpringerLink (Online service).

Series: Interdisciplinary Applied Mathematics ; 33Source: 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).
Algorithmic Randomness and Complexity [electronic resource] / by Rodney G. Downey, Denis R. Hirschfeldt.

by Downey, Rodney G [author.] | Hirschfeldt, Denis R [author.] | SpringerLink (Online service).

Series: Theory and Applications of Computability, In cooperation with the association Computability in EuropeEdition: 1.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Optimal Design and Related Areas in Optimization and Statistics [electronic resource] / edited by Luc Pronzato, Anatoly Zhigljavsky.

by Pronzato, Luc [editor.] | Zhigljavsky, Anatoly [editor.] | SpringerLink (Online service).

Series: Springer Optimization and Its Applications ; 28Source: 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).
Statistical Analysis of Network Data [electronic resource] : Methods and Models / by Eric D. Kolaczyk.

by Kolaczyk, Eric D [author.] | SpringerLink (Online service).

Series: Springer Series in StatisticsSource: 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).
Advances in Control, Communication Networks, and Transportation Systems [electronic resource] : In Honor of Pravin Varaiya / edited by E. H. Abed.

by Abed, E. H [editor.] | SpringerLink (Online service).

Series: Systems and Control: Foundations & ApplicationsSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Birkhäuser Boston, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Harmonic Analysis, Signal Processing, and Complexity [electronic resource] : Festschrift in Honor of the 60th Birthday of Carlos A. Berenstein / edited by Irene Sabadini, Daniele C. Struppa, David F. Walnut.

by Sabadini, Irene [editor.] | Struppa, Daniele C [editor.] | Walnut, David F [editor.] | SpringerLink (Online service).

Series: Progress in Mathematics ; 238Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Birkhäuser Boston, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Homogenization of Partial Differential Equations [electronic resource] / by Vladimir A. Marchenko, Evgueni Ya. Khruslov.

by Marchenko, Vladimir A [author.] | Khruslov, Evgueni Ya [author.] | SpringerLink (Online service).

Series: Progress in Mathematical Physics ; 46Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Birkhäuser Boston, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha