Search Results

1

Mathematical foundations of computer science 2004 : 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

2

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

3

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

4

Stochastic algorithms : foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

5

Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings /

Berlin ; New York : Springer, 2000

Conference Proceeding Book

6

STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

7

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation...

Providence, R.I. : American Mathematical Society, 1989

Conference Proceeding Book

8

Randomization and approximation techniques in computer science : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding Book

9

STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings /

Berlin ; New York : Springer-Verlag, 1992

Conference Proceeding Book

10

Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 /

Berlin ; New York : Springer-Verlag, 1985

Conference Proceeding Book

11

Systems and computer science /

Toronto : University of Toronto Press in association with the University of Western Ontario, 1967

Conference Proceeding Book

12

STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

13

Graph-theoretic concepts in computer science : 26th international workshop, WG 2000, Konstanz, Germany, June 15-17, 2000 : proceedings /

Berlin ; New York : Springer, 2000

Conference Proceeding Book

14

Foundations of computational mathematics : proceedings of the Smalefest 2000, Hong Kong, 13-17, 2000 /

Singapore ; River Edge, N.J. : World Scientific, 2002

Conference Proceeding Book

15

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 2000, revised lectures /

New York : Springer, 2002

Conference Proceeding Kit

16

PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 /

New York : Association for Computing Machinery, 2003

Conference Proceeding

17

Theoretical computer science : proceedings of the fourth Italian Conference : L'Aquila, October 28-30, 1992 /

Singapore ; River Edge, NJ : World Scientific, 1992

Conference Proceeding Audio

18

Seminar on Computerisation-Scenario, Launching of Computerisation Mission : Souvenir /

[Calcutta] : [Institution of Engineers (India)], 1988

Conference Proceeding Book

19

Graph-theoretic concepts in computer science : 27th International Workshop, WG 2001, Boltenhagen, Germany, June 14-16, 2001 : proceedings /

Berlin ; New York : Springer, 2001

Conference Proceeding Map

20

Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

Narrow Search