Your search returned 38 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Logic for Computer Scientists [electronic resource] / by Uwe Schöning. by Series: Progress in Computer Science and Applied Logic (PCS) ; 8
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 S36 2008.

Place hold Add to cart
2.
Scenario Logic and Probabilistic Management of Risk in Business and Engineering [electronic resource] / by E. D. Solojentsev. by Series: Applied Optimization ; 93
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HD31 S65 2005.

Place hold Add to cart
3.
Modalities and Multimodalities [electronic resource] : With the assistance and collaboration of Juliana Bueno-Soler / by Walter Carnielli, Claudio Pizzi. by Series: Logic, Epistemology, and the Unity of Science ; 12
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: BC199.M6 C37 2008.

Place hold Add to cart
4.
5.
6.
7.
New Computational Paradigms [electronic resource] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.59 N49 2008.

Place hold Add to cart
8.
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Series: Lecture Notes in Computer Science ; 2605
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 H88 2005.

Place hold Add to cart
9.
10.
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 B49 2007.

Place hold Add to cart
11.
Cambridge and Vienna [electronic resource] : Frank P. Ramsey and the Vienna Circle / edited by Maria Carla Galavotti. by Series: Vienna Circle Institute Yearbook [2004] ; 12
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: B1642.R254 G35 2006.

Place hold Add to cart
12.
Passione per Trilli [electronic resource] : Alcune idee dalla matematica / by Roberto Lucchetti. by Series: I blu
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Italia, Milano, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA11.2 L83 2007.

Place hold Add to cart
13.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode. by Series: Lecture Notes in Computer Science ; 4514
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 A78 2007.

Place hold Add to cart
14.
A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg. by Series: Universitext
Edition: Second edition
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 R38 2006.

Place hold Add to cart
15.
16.
Algorithms in Invariant Theory [electronic resource] / by Bernd Sturmfels. by Series: Texts and Monographs in Symbolic Computation
Edition: Second edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Vienna : Springer-Verlag/Wien, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA201 S78 2008 .

Place hold Add to cart
17.
Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu. by Series: Studies in Universal Logic
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.7 D53 2008 .

Place hold Add to cart
18.
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum. by Series: Springer Monographs in Mathematics
Edition: Second Revised and Enlarged Edition 1999.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.7 E23 2006.

Place hold Add to cart
19.
20.
The Arché Papers on the Mathematics of Abstraction [electronic resource] / edited by Roy T. Cook. by Series: The Western Ontario Series in Philosophy of Science ; 71
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA8.4 C66 2007.

Place hold Add to cart
Pages

Powered by Koha