Your search returned 35 results.

Not what you expected? Check for suggestions
1.
New Approaches to Circle Packing in a Square [electronic resource] : With Program Codes / by P. G. Szabó, M. Cs. Markót, T. Csendes, E. Specht, L. G. Casado, I. García.

by Szabó, P. G [author.] | Markót, M. Cs [author.] | Csendes, T [author.] | Specht, E [author.] | Casado, L. G [author.] | García, I [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Towards Mathematical Philosophy [electronic resource] : Papers from the Studia Logica conference Trends in Logic IV / edited by David Makinson, Jacek Malinowski, Heinrich Wansing.

by Makinson, David [editor.] | Malinowski, Jacek [editor.] | Wansing, Heinrich [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Function Algebras on Finite Sets [electronic resource] : A Basic Course on Many-Valued Logic and Clone Theory / by Dietlinde Lau.

by Lau, Dietlinde [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, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau.

by Beziau, Jean-Yves [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau.

by Beziau, Jean-Yves [editor.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Compressed Data Structures for Strings [electronic resource] : On Searching and Extracting Strings from Compressed Textual Data / by Rossano Venturini.

by Venturini, Rossano [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Brauer groups, Tamagawa measures, and rational points on algebraic varieties Jörg Jahnel

by Jahnel, Jörg, 1968- [VerfasserIn].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Providence, RI American Math. Soc. 2014Online access: Inhaltsverzeichnis Inhaltsverzeichnis | Zentralblatt MATH Inhaltstext Availability: Items available for loan: Library (1). Location(s): 518.
8.
Advanced topics in the arithmetic of elliptic curves Joseph H. Silverman

by Silverman, Joseph H [VerfasserIn].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: New York, NY [u.a.] Springer 1994Online access: Inhaltsverzeichnis Inhaltsverzeichnis | Inhaltsverzeichnis | Zentralblatt MATH Inhaltstext Availability: Items available for loan: Library (1). Location(s): 516.
9.
Introduction to analytic number theory Tom M. Apostol

by Apostol, Tom M [VerfasserIn].

Edition: 11th print.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: New York [u.a.] Springer 2000Online access: Publisher description | Table of contents only Availability: Items available for loan: Library (1). Location(s): 512.
10.
Rational points on varieties Bjorn Poonen

by Poonen, Bjorn [VerfasserIn].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Providence, Rhode Island American Mathematical Society [2017]Online access: Inhaltsverzeichnis Inhaltsverzeichnis Availability: Items available for loan: Library (1). Items available for reference: Books at IST Austria [Call number: 516.35] (1).
Location(s): 516.
11.
The arithmetic of elliptic curves Joseph H. Silverman

by Silverman, Joseph H [VerfasserIn].

Edition: second editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Dordrecht Heidelberg London New York Springer 2009Online access: Click here to access online Availability: Items available for loan: Library (1). Location(s): 516.
12.
Expansion in finite simple groups of Lie type / Terence Tao.

by Tao, Terence, 1975-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [2015]Availability: Items available for loan: Library (1). Location(s): 512.
13.
A course in analytic number theory / Marius Overholt.

by Overholt, Marius, 1957- [author.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Availability: Items available for loan: Library (1). Location(s): 512.
14.
Hilbert's fifth problem and related topics / Terence Tao.

by Tao, Terence, 1975-.

Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Availability: Items available for loan: Library (1). Location(s): 512.
15.
Mathematical methods in computer science : essays in memory of Thomas Beth / Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade (eds.).

by Calmet, Jacques | Geiselmann, Willi | Müller-Quade, Jörn.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Numerical validation in current hardware architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008 ; revised papers / Annie Cuyt [and others] (eds.).

by Cuyt, Annie, 1956-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Transactions on high-performance embedded architectures and compilers IV / Per Stenström (ed.).

by Stenström, Per.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: Transactions on high-performance embedded architectures and compilers 4.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / Sergei Artemov, Anil Nerode (eds.).

by LFCS 2013 (2013: San Diego, Calif.) | Artemov, S. N | Nerode, Anil, 1932-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: LFCS 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Facing the multicore-challenge III : aspects of new paradigms and technologies in parallel computing / Rainer Keller, David Kramer, Jan-Philipp Weiss (eds.).

by Keller, Rainer, Dr.-Ing | Kramer, David Anthony | Weiss, Jan-Philipp.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: Facing the multicore-challenge 3.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Computer algebra in scientific computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.

by CASC (Workshop : 2001- ) (17th : 2015 : Aachen, Germany) | Gerdt, V. P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M. (Werner Markus) [editor.] | Vorozhtsov, E. V. (Evgenii Vasilʹevich), 1946- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: CASC 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha