Your search returned 51 results.

Not what you expected? Check for suggestions
21.
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / Jens Palsberg (ed.).

by Palsberg, Jens.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
22.
Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.).

by CALCO (Conference) (3rd : 2009 : Udine, Italy) | Kurz, Alexander, 1967- | Lenisa, Marina | Tarlecki, Andrzej.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
23.
Computer algebra in scientific computing : 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.).

by CASC (Workshop : 2001- ) (11th : 2009 : Kōbe-shi, Japan) | Gerdt, V. P | Mayr, Ernst | Vorozhtsov, E. V. (Evgenii Vasilʹevich), 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: CASC 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
24.
Combinatorial algorithms : 20th international workshop, IWOCA 2009, Hradec nad [sic] Moravici, ̕ Czech Republic, June 28-July 2, 2009 : revised selected papers / Jiří Fiala, Jan Kratochvíl, Mirka Miller (eds.).

by International Workshop on Combinatorial Algorithms (20th : 2009 : Hradec and Moravicí, Czech Republic) | Fiala, Jiří, 1973- | Kratochvíl, Jan | Miller, Mirka, 1949-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: IWOCA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
25.
Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / Rudolf Berghammer, Ali Mohamed Joaua, Bernhard Möller (eds.).

by International Conference on Relational Methods in Computer Science (11th : 2009 : Doha, Qatar) | Berghammer, R. (Rudolf), 1952- | Jaoua, Ali Mohamed | Möller, Bernhard.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: Relational methods in computer science | Applications of Kleene algebra | Kleene algebra | Relmics 2009 | AKA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
26.
Graph-theoretic concepts in computer science : 35th international workshop, WG 2009, Montpellier, France, June 24-26, 2009 : revised papers / Christophe Paul, Michel Habib (eds.).

by Conference on Graphtheoretic Concepts in Computer Science (35th : 2009 : Montpellier, France) | Paul, Christophe | Habib, M. (Michel).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2010Other title: WG 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
27.
Combinatorial optimization and applications : 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, proceedings. Part I / Weili Wu, Ovidiu Daescu (Eds.).

by COCOA (Conference) (4th : 2010 : Kailua-Kona, Hawaii) | Wu, Weili | Daescu, Ovidiu.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
28.
Parameterized and exact computation : 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / Venkatesh Raman, Saket Saurabh (eds.).

by IPEC (Symposium) (5th : 2010 : Chennai, India) | Raman, V. (Venkatesh), 1962- | Saurabh, Saket.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: IPEC 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
29.
Algebraic informatics : 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : proceedings / Franz Winkler (ed.).

by CAI 2011 (2011 : Linz, Austria) | Winkler, Franz, 1955-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2011Other title: CAI 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
30.
Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / Andrea Corradini, Bartek Klin, Corina Cîrstea (eds.).

by CALCO (Conference) (4th : 2011 : Winchester, England) | Corradini, Andrea, 1960- | Klin, Bartek | Cîrstea, Corina.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2011Other title: CALCO 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
31.
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 .
32.
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 .
33.
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 .
34.
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 .
35.
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 .
36.
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 .
37.
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 .
38.
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 .
39.
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings / Chris Hawblitzel, Dale Miller (eds.).

by CPP 2012 (2012 : Kyoto, Japan) | Hawblitzel, Chris | Miller, Dale (Dale A.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: CPP 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
40.
WALCOM: Algorithms and computation : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / Subir Kumar Ghosh, Takeshi Tokuyama (eds.).

by WALCOM (Workshop) (7th : 2013 : Kharagpur, India) | Ghosh, Subir Kumar | Tokuyama, Takeshi.

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

Powered by Koha