|
|
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; Format:
available online
 ; 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.
|
|
|
|
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; Format:
available online
; 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; Format:
available online
; 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.
|
|
|
|
6.
|
|
|
|
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; Format:
available online
; 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; Format:
available online
; 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 .
|