Your search returned 8 results.

Not what you expected? Check for suggestions
1.
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 .
2.
Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3-6, 1992 Proceedings / edited by Jacques Calmet, John A. Campbell.

by Calmet, Jacques | Campbell, John A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers / edited by Jacques Calmet, John A. Campbell.

by AISMC (Conference) (2nd : 1994 : Cambridge, England) | Calmet, Jacques | Campbell, J. A, 1940-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer-Verlag, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.

by Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France) | Cori, Robert | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, French Publisher: Berlin, Heidelberg : Springer-Verlag, 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Information theory, combinatorics, and search theory : in memory of Rudolf Ahlswede / Harout Aydinian, Ferdinando Cicalese, Christian Deppe (eds.).

by Aydinian, Harout | Cicalese, Ferdinando | Deppe, Christian.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report / edited by Bernhard Möller, Helmut Partsch, Steve Schuman.

by Möller, Bernhard | Partsch, Helmut | Schuman, Steve.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey.

by Bowen, J. P. (Jonathan Peter), 1956- | Hinchey, Michael G. (Michael Gerard), 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Combinatorial algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers / edited by Thierry Lecroq, Laurent Mouchard.

by International Workshop on Combinatorial Algorithms (24th : 2013 : Rouen, France) | Lecroq, Thierry [editor.] | Mouchard, Laurent [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha