Search Results

1

Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /

Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

2

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings /

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

3

Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers /

Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

4

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

5

Algorithms and computation : 7th International Symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996 : proceedings /

Algorithms and computation : 7th International Symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

6

Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings /

Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book