IST Austria Library

Your search returned 301 results.

Not what you expected? Check for suggestions
1.
The complexity of valued constraint satisfaction problems

by Živný, Stanislav.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin ;Heidelberg [u.a.] Springer 2012Online access: Inhaltsverzeichnis | Inhaltstext | Zentralblatt MATH Inhaltstext Availability: No items available Checked out (1).
Lists:
Place hold Log in to add tags
2.
A Primer on Scientific Programming with Python [electronic resource] / by Hans Petter Langtangen.

by Langtangen, Hans Petter [author.] | SpringerLink (Online service).

Edition: 5th ed. 2016.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
3.
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures / Jouko Väänänen (ed.).

by European Summer School in Logic, Language, and Information (9th : 1997 : Aix-en Provence, France) | Väänänen, J. (Jouko), 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
4.
Randomness and completeness in computational complexity / Dieter van Melkebeek.

by Melkebeek, Dieter van.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
5.
Computational discrete mathematics : advanced lectures / Helmut Alt (ed.).

by Alt, Helmut, 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
6.
Stochastic algorithms : foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings / Kathleen Steinhöfel, ed.

by SAGA 2001 (2001 : Berlin, Germany) | Steinhöfel, Kathleen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Other title: SAGA 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
7.
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures / Roland Backhouse, Roy Crole, Jeremy Gibbons, eds.

by School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford) | Backhouse, Roland C, 1948- | Crole, Roy L | Gibbons, Jeremy, 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
8.
Foundations of information and knowledge systems : second international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings / Thomas Eiter, Klaus-Dieter Schewe (eds.).

by FoIKS 2002 (2nd : 2002 : Salzau Castle, Germany) | Eiter, Thomas, 1966- | Schewe, Klaus-Dieter | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: FoIKS 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
9.
Automata logics, and infinite games : a guide to current research / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).

by Grädel, Erich, 1958- | Thomas, Wolfgang, 1947- | Wilke, Thomas, 1965- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
10.
Stochastic algorithms : foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings / Andreas Albrecht, Kathleen Steinhöfel (eds.).

by SAGA 2003 (2003 : Hatfield, Hertfordshire, England) | Albrecht, A. (Andreas) | Steinhöfel, Kathleen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
11.
Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / Rudof Berghammer, Bernhard Möller, Georg Struth (eds.).

by International Seminar on Relational Methods in Computer Science (7th : 2003 : Bad Malente, Germany) | Berghammer, R. (Rudolf), 1952- | Möller, Bernhard, 1953- | Struth, Georg | International Workshop on Applications of Kleene Algebra (2nd : 2003 : Bad Malente, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
12.
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday / Juhani Karhumäki [and others].

by Salomaa, Arto | Karhumäki, Juhani.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York, NY : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
13.
Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / Dexter Kozen, editor.

by MPC 2004 (2004: Stirling, Stirling, Scotland) | Kozen, Dexter, 1951-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
14.
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main [and others] (eds.).

by Main, Michael [edt] | Workshop on the Mathematical Foundations of Programming Language Semantics (3 : 08-04-1987 - 10-04-1987 : New Orleans, La.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : SpringerLink, 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
15.
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

by Börger, E. (Egon), 1946- [edt] | Kleine Büning, H. (Hans) [edt] | Richter, Michael M, 1938- [edt] | Workshop on Computer Science Logic (3rd : 1989 : Kaiserslautern, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
16.
Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings / Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.).

by Symposium on Mathematical Foundations of Computer Science (1972- ) (24th : 1999 : Szklarska Poręba, Poland) | Kutyłowski, Mirosław | Pacholski, Leszek | Wierzbicki, Tomasz.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
17.
Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker.

by WADT 2002 (2002 : Frauenchiemsee, Germany) | Wirsing, M. (Martin) | Pattinson, Dirk, 1970- | Hennicker, Rolf, 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
18.
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.).

by CALCO (Conference) (2nd : 2007 : Bergen, Norway) | Mossakowski, Till | Montanari, U. (Ugo) | Haveraaen, Magne.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CALCO 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
19.
Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings / Luděk Kučera, Antonín Kučera (eds.).

by Symposium on Mathematical Foundations of Computer Science (1972- ) (32nd : 2007 : Český Krumlov, Czech Republic) | Kučera, Luděk | Kučera, A. (Antonín).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: MFCS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
20.
Stochastic algorithms: foundations and applications : 4th international symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007 : proceedings / Juraj Hromkovič [and others] (eds.).

by SAGA 2007 (2007 : Zurich, Switzerland) | Hromkovič, Juraj, 1958-.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SAGA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha