Your search returned 240 results.

Not what you expected? Check for suggestions
1.
The Pillars of Computation Theory [electronic resource] : State, Encoding, Nondeterminism / by Arnold L. Rosenberg.

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

Edition: 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). Location(s): EBook .
2.
The q-theory of Finite Semigroups [electronic resource] / by John Rhodes, Benjamin Steinberg.

by Rhodes, John [author.] | Steinberg, Benjamin [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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 .
3.
M-Solid Varieties of Algebras [electronic resource] / by J. Koppitz, K. Denecke.

by Koppitz, J [author.] | Denecke, K [author.] | SpringerLink (Online service).

Source: 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). Location(s): EBook .
4.
Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.

by Gabbay, Dov M [editor.] | Goncharov, Sergei S [editor.] | Zakharyaschev, Michael [editor.] | 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, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Notes on Set Theory [electronic resource] / by Yiannis Moschovakis.

by Moschovakis, Yiannis [author.] | SpringerLink (Online service).

Edition: Second Edition.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). Location(s): EBook .
6.
Logic for Computer Scientists [electronic resource] / by Uwe Schöning.

by Schöning, Uwe [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Birkhäuser Boston, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.

by Carnielli, Walter [author.] | Coniglio, Marcelo [author.] | Gabbay, Dov M [author.] | Gouveia, Paula [author.] | Sernadas, Cristina [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach / by Paulo Tabuada.

by Tabuada, Paulo [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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 .
9.
Data Mining and Knowledge Discovery via Logic-Based Methods [electronic resource] : Theory, Algorithms, and Applications / by Evangelos Triantaphyllou.

by Triantaphyllou, Evangelos [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Mathematical Logic and Model Theory [electronic resource] : A Brief Introduction / by Alexander Prestel, Charles N. Delzell.

by Prestel, Alexander [author.] | Delzell, Charles N [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
A Course on Mathematical Logic [electronic resource] / by Shashi Mohan Srivastava.

by Srivastava, Shashi Mohan [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2013.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Logic, Mathematics, and Computer Science [electronic resource] : Modern Foundations with Practical Applications / by Yves Nievergelt.

by Nievergelt, Yves [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
A Course in Formal Languages, Automata and Groups [electronic resource] / by Ian M. Chiswell.

by Chiswell, Ian M [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Mathematical Logic [electronic resource] : Foundations for Information Science / by Wei Li.

by Li, Wei [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2014.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Perspectives in Computational Complexity [electronic resource] : The Somenath Biswas Anniversary Volume / edited by Manindra Agrawal, Vikraman Arvind.

by Agrawal, Manindra [editor.] | Arvind, Vikraman [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
The Life and Work of Leon Henkin [electronic resource] : Essays on His Contributions / edited by María Manzano, Ildikó Sain, Enrique Alonso.

by Manzano, María [editor.] | Sain, Ildikó [editor.] | Alonso, Enrique [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Gentzen's Centenary [electronic resource] : The Quest for Consistency / edited by Reinhard Kahle, Michael Rathjen.

by Kahle, Reinhard [editor.] | Rathjen, Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
One Hundred Prisoners and a Light Bulb [electronic resource] / by Hans van Ditmarsch, Barteld Kooi.

by van Ditmarsch, Hans [author.] | Kooi, Barteld [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Copernicus, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Ernst Zermelo [electronic resource] : An Approach to His Life and Work / by Heinz-Dieter Ebbinghaus.

by Ebbinghaus, Heinz-Dieter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Cylindric-like Algebras and Algebraic Logic [electronic resource] / edited by Hajnal Andréka, Miklós Ferenczi, István Németi.

by Andréka, Hajnal [editor.] | Ferenczi, Miklós [editor.] | Németi, István [editor.] | SpringerLink (Online service).

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 .

Powered by Koha