Your search returned 127 results.

Not what you expected? Check for suggestions
61.
Parameterized and exact computation : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / Martin Grohe, Rolf Niedermeier (eds.).

by IWPEC (Workshop) (3rd : 2008 : Victoria, B.C.) | Grohe, M. (Martin) | Niedermeier, Rolf.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: IWPEC 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
62.
Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : Proceedings / Sergei N. Artemov, Anil Nerode (eds.).

by LFCS (Symposium) (2009 : Deerfield Beach, Fla.) | Artemov, S. N | Nerode, Anil, 1932-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: LFCS 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
63.
Algebraic methods II : theory, tools, and applications / J.A. Bergstra, L.M.G. Feijs, eds.

by Bergstra, J. A | Feijs, L. M. G. (Loe M. G.) | European Strategic Programme of Research and Development in Information Technology.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Other title: Algebraic methods 2.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
64.
Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings / R.E. Zippel (ed.).

by Zippel, R. E. (Richard E.), 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
65.
Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers / Jan Heering [and others], eds.

by International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands) | Heering, J.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Other title: HOA '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
66.
Advances in cryptology : proceedings, CRYPTO 2009, 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009 / Shai Halevi (ed.).

by CRYPTO (Conference) (29th : 2009 : Santa Barbara, Calif.) | Halevi, Shai | International Association for Cryptologic Research.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg ; New York, NY : Springer, ©2009Other title: CRYPTO 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
67.
Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009 / Martin Leucker, Carroll Morgan (eds.).

by ICTAC (Colloquium) (6th : 2009 : Kuala Lumpur, Malaysia) | Leucker, Martin | Morgan, Carroll, 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg ; New York : Springer, ©2009Other title: ICTAC 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
68.
Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 / Symeon Bozapalidis, George Rahonis (eds.).

by CAI 2009 (2009 : Thessalonikē, Greece) | Bozapalidēs, Symeōn | Rachōnēs, Geōrgios, 1965-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg ; New York : Springer, ©2009Other title: CAI 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
69.
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 .
70.
Cryptographic hardware and embedded systems - CHES 2009 : 11th international workshop, Lausanne, Switzerland, September 6-9, 2009 ; proceedings / Christophe Clavier, Kris Gaj (eds.).

by CHES (Workshop) (11th : 2009 : Lausanne, Switzerland) | Clavier, Christophe | Gaj, Kris.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2009Other title: CHES 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
71.
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 .
72.
Selected areas in cryptography : 16th annual international workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, revised selected papers / Michael J. Jacobson Jr., Vincent Rijmen, Reihaneh Safavi-Naini (eds.).

by SAC (Conference) (16th : 2009 : Calgary, Alta.) | Jacobson, Michael J | Rijmen, Vincent, 1970- | Safavi-Naini, Reihanah.

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 .
73.
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 .
74.
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 .
75.
Cryptology and network security : 9th international conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010 : proceedings / Swee-Huay Heng, Rebecca N. Wright, Bok-Min Goi (eds.).

by International Conference on Cryptology and Network Security (9th : 2010 : Kuala Lampur, Malaysia) | Heng, Swee-Huay | Wright, Rebecca N, 1967- | Goi, Bok-Min.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: CANS 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
76.
Recent advances in constraints : 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / Javier Larrosa, Barry O'Sullivan (eds.).

by Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (14th : 2009 : Barcelona, Spain) | Larrosa, Javier | O'Sullivan, B. (Barry).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2011Other title: CSCLP 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
77.
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 .
78.
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 .
79.
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 .
80.
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 .

Powered by Koha