Your search returned 230 results.

Not what you expected? Check for suggestions
1.
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 .
2.
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 .
3.
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 .
4.
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 .
5.
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 .
6.
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 .
7.
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 .
8.
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 .
9.
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 .
10.
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 .
11.
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 .
12.
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 .
13.
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 .
14.
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 .
15.
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.).

by WADT 2006 (2006 : La Roche-en-Ardenne, Belgium) | Fiadeiro, José Luiz, 1961- | Schobbens, Pierre-Yves, 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2007Other title: WADT 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring, ed.

by International Conference on the Mathematics of Program Construction (4th : 1998 : Marstrand, Sweden) | Jeuring, Johan, 1965- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer Verlag, ©1998Other title: MPC '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 ; proceedings / Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (Eds.).

by International Colloquium on Automata, Languages, and Programming (1999 : Prague, Czech Republic) | Emde Boas, P. van | Wiedermann, J. (Juraj) | Nielsen, M. (Mogens), 1949- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, ©1999Other title: ICALP'99.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings / Ugo Montanari, José D.P. Rolim, Emo Welzl (eds.).

by International Colloquium on Automata, Languages, and Programming (27th : 2000 : Geneva, Switzerland) | Welzl, Emo | Montanari, Ugo | Rolim, José D. P | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2000Other title: ICALP 2000 | International Colloquium ICALP 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings / Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.).

by International Conference on Relational Methods in Computer Science (10th : 2008 : Frauenworth, Germany) | Berghammer, R. (Rudolf), 1952- | Möller, Bernhard, 1953- | Struth, Georg | International Workshop on Applications of Kleene Algebra (5th : 2008 : Frauenworth, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: Relational methods in computer science | Applications of Kleene algebra | Kleene algebra | RelMiCS/AKA 2008 | RelMiCS 2008 | AKA 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).

by WADT 2004 (2004 : Barcelona, Spain) | Fiadeiro, José Luiz, 1961- | Mosses, Peter | Orejas, F. (Fernando).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: WADT 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha