Your search returned 27 results.

Not what you expected? Check for suggestions
1.
The mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / Makoto Kanazawa [and others] (eds.).

by Mathematics of Language (12th : 2011 : Nara, Japan) | Kanazawa, Makoto, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, the Netherlands, October 1621, 2001 Revised Papers / edited by Harrie C.M. Swart.

by Swart, Harrie C. M.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Logic, rationality, and interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.).

by LORI (Workshop) (3rd : 2011 : Guangzhou, China) | Ditmarsch, Hans van, 1959- | Lang, Jérôme | Ju, Shier.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement / edited by Werner Kuich, George Rahonis.

by Kuich, Werner, 1941- | Rachōnēs, Geōrgios, 1965-.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.).

by International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany) | Schreck, Pascal | Narboux, Julien | Richter-Gebert, Jürgen, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: ADG 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Combinatorial algorithms : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, revised selected papers / Costas S. Iliopoulos, William F. Smyth (eds.).

by International Workshop on Combinatorial Algorithms (22nd : 2011 : Victoria, B.C.) | Iliopoulos, C. S. (Costas S.) | Smyth, Bill.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: IWOCA 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).

by CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan) | Jouannaud, Jean-Pierre | Shao, Zhong, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Graph drawing : 19th international symposium, GD 2011, Eindhoven, the Netherlands, September 21-23, 2011 : revised selected papers / Marc van Kreveld, Bettina Speckmann (eds.).

by GD (Symposium) (19th : 2011 : Eindhoven, Netherlands) | Kreveld, Marc van | Speckmann, Bettina.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: GD 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Principles of distributed systems : 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (eds.).

by OPODIS (Conference) (15th : 2011 : Toulouse, France) | Anta, Antonio Fernández | Lipari, Giuseppe, 1971- | Roy, Matthieu.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: OPODIS 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI. Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens.

by Swart, Harrie | Orłowska, Ewa | Schmidt, Gunther, 1939- | Roubens, Marc.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised selected papers / Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov (eds.).

by ANB 2010 (2010 : Hagenberg im Mühlkreis, Austria) | Horimoto, Katsuhisa | Nakatsui, Masahiko | Popov, Nikolaj.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: ANB 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Parameterized and exact computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers / edited by Dániel Marx, Peter Rossmanith.

by IPEC (Symposium) (6th : 2011 : Saarbrücken, Germany) | Marx, Dániel | Rossmanith, Peter.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.

by Conference on Computability in Europe (8th : 2012 : Cambridge, England) | Cooper, S. B. (S. Barry) | Dawar, Anuj | Löwe, Benedikt.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: CiE 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / Johan Jeuring [and others] (eds.).

by AISC (Conference) (11th : 2012 : Bremen, Germany) | Jeuring, Johan, 1965- | Calculemus (Symposium) (19th : 2012 : Bremen, Germany) | DML 2012 (2012 : Bremen, Germany) | MKM 2012 (2012 : Bremen, Germany) | CICM (Conference) (5th : 2012 : Bremen, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: AISC 2012 | Calculemus 2012 | DML 2012 | MKM 2012 | CICM 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Arithmetic of finite fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings / Ferruh Özbudak, Francisco Rodríguez-Henríquez (eds.).

by WAIFI (Workshop) (4th : 2012 : Bochum, Germany) | Özbudak, Ferruh | Rodríguez-Henríquez, Francisco.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: WAIFI 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Formal grammar : 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised selected papers / Philippe de Groote, Mark-Jan Nederhof (eds.).

by FG (Conference) (15th : 2010 : Copenhagen, Denmark) | De Groote, Philippe | Nederhof, Mark-Jan | FG (Conference) (16th : 2011 : Ljubljana, Slovenia).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: FG 2010 | FG 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Languages alive : essays dedicated to Jürgen Dassow on the occasion of his 65th birthday / Henning Bordihn, Martin Kutrib, Bianca Truthe (eds.).

by Bordihn, Henning | Kutrib, Martin | Truthe, Bianca.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).

by Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina) | Ong, Luke | Queiroz, Ruy J. G. B. de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: WoLLIC 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Relational and algebraic methods in computer science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / Wolfram Kahl, Timothy G. Griffin (eds.).

by RAMiCS (Conference) (13th : 2012 : Cambridge, England) | Kahl, W. (Wolfram) | Griffin, Timothy G.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: RAMiCS 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Computational methods in systems biology : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings / David Gilbert, Monika Heiner (eds.).

by CMSB (Conference) (10th : 2012 : London, England) | Gilbert, David, Dr | Heiner, Monika, 1954-.

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

Powered by Koha