Your search returned 67 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
A Geometry of Approximation [electronic resource] : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns / edited by Piero Pagliani, Mihir Chakraborty. by Series: Trends in Logic, Studia Logica Library ; 27
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA248 P34 2008.

Place hold Add to cart
42.
Guida alla teoria degli insiemi [electronic resource] / by Gabriele Lolli. by Series: Convergenze
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Italia, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA248 L65 2008 .

Place hold Add to cart
43.
Combinatorics and Graph Theory [electronic resource] / by John Harris, Jeffry L. Hirst, Michael Mossinghoff. by Series: Undergraduate Texts in Mathematics
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA165 H37 2008.

Place hold Add to cart
44.
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach. by Series: Springer Monographs in Mathematics
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.54 K64 2008.

Place hold Add to cart
45.
Kolmogorov’s Heritage in Mathematics [electronic resource] / edited by Éric Charpentier, Annick Lesne, Nikolaï K. Nikolski. by
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: QA300 C43 2007.

Place hold Add to cart
46.
Laws of Nature [electronic resource] / by Peter Mittelstaedt, Paul A. Weingartner. by
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: K460 M58 2005.

Place hold Add to cart
47.
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 Series: Applied Logic Series ; 35
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: QA9 C37 2008.

Place hold Add to cart
48.
49.
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Series: Monographs in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.54 .P64 2005.

Place hold Add to cart
50.
A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. by Series: Applied Logic Series ; 29
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science + Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 K36 2005.

Place hold Add to cart
51.
The Legacy of Mario Pieri in Geometry and Arithmetic [electronic resource] / by Elena Anne Marchisotto, James T. Smith. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA29.P72 M37 2007.

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

Place hold Add to cart
54.
Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Series: Texts in Theoretical Computer Science. An EATCS Series
Edition: 1a ed.
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: QA267.7 F58 2006.

Place hold Add to cart
55.
Valued Fields [electronic resource] / by Antonio J. Engler, Alexander Prestel. by Series: Springer Monographs in Mathematics
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
56.
Handbook of Spatial Logics [electronic resource] / edited by Marco Aiello, Ian Pratt-Hartmann, Johan Benthem. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 A34 2007.

Place hold Add to cart
57.
Notes on Set Theory [electronic resource] / by Yiannis Moschovakis. by Series: Undergraduate Texts in Mathematics
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: QA248 M67 2006.

Place hold Add to cart
58.
Axiom of Choice [electronic resource] / by Horst Herrlich. by Series: Lecture Notes in Mathematics ; 1876
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: QA248 H47 2006.

Place hold Add to cart
59.
A Beginner’s Guide to Graph Theory [electronic resource] / by W. D. Wallis. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA166 W35 2007.

Place hold Add to cart
60.
Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro. by
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.76.D47 F53 2005.

Place hold Add to cart
Pages

Powered by Koha