Search Results

1

Discrete geometry for computer imagery : 6th international workshop, DGCI '96, Lyon, France, November 13-15, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

2

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

3

Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 /

Berlin ; New York : Springer-Verlag, 1982

Conference Proceeding Book

4

Computer security, ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

5

Practice and theory of automated timetabling : first international conference, Edinburgh, U.K., August 29-September 1, 1995 : selected papers /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

6

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

7

Distributed software agents and applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'94, Odense, Denmark, August 3-5, 1994 : proceedin...

Berlin ; New York : Springer, 1996

Conference Proceeding Book

8

Multimedia transport and teleservices : International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings /

Berlin ; New York : Springer-Verlag, 1994

Conference Proceeding Book

9

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

10

Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

11

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings /

Berlin ; New York : Springer-Verlag, 1994

Conference Proceeding Book

12

Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

13

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

14

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

Berlin ; New York : Springer, 1996

Conference Proceeding Book

15

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

16

Entity-relationship approach-- ER '94 : business modelling and re-engineering : 13th International Conference on the Entity-Relationship Approach, Manchester, United Kingdom, Decem...

Berlin ; New York : Springer-Verlag, 1994

Conference Proceeding Book

17

Parallel scientific computing : First International Workshop, PARA '94, Lyngby, Denmark, June 20-23, 1994 : proceedings /

Berlin ; New York : Springer-Verlag, 1994

Conference Proceeding Book

18

Hybrid systems III : verification and control /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

19

Deductive and object-oriented databases : third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings /

Berlin ; New York : Springer-Verlag, 1993

Conference Proceeding Book

20

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 /

Cambridge (England) ; New York : Cambridge University Press, 1980

Conference Proceeding Book

Narrow Search