Search Results

1

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

2

Exploring emerging technologies /

River Edge, NJ : World Scientific Pub. Co., 2001

Conference Proceeding Book

3

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

Algorithms and computation : 4th International Symposium, ISAAC '93, Hong Kong, December 1993 : proceedings /

Berlin ; New York : Springer-Verlag, 1993

Conference Proceeding Book

5

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

6

Computer application in process and plant engineering : papers of the 36th Tutzing-Symposion, Evangelische Akademie, Schloss Tutzing am Starnberger See, 9-12 March 1998 /

Weinheim : Wiley-VCH, 1998

Conference Proceeding Book

7

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

8

Trust management : third international conference, iTrust 2005, Paris, France, May 23-26, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

9

Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings /

Berlin ; New York : Springer, 1999

Conference Proceeding Book

10

Advances in information retrieval : 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006 : proceedings /

Berlin ; New York : Springer, 2006

Conference Proceeding Book

11

Grid computing in life science : First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004 : revised selected and invited papers /

Berlin : Springer, 2005

Conference Proceeding Book

12

Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers /

Berlin ; New York : Springer-Verlag, 1993

Conference Proceeding Book

13

Progress in case-based reasoning : first United Kingdom workshop, Salford, UK, January 12, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

14

Medical image computing and computer-assisted intervention - MICCAI 2003 : 6th International Conference, Montréal, Canada, November 2003 : proceedings /

Berlin ; New York : Springer-Verlag, 2003

Conference Proceeding Book

15

Intelligent agents II : agent theories, architectures, and languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

16

Deontic logic in computer science : normative system specification /

Chichester ; New York : J. Wiley, 1993

Conference Proceeding Book

17

Discovery science : 4th international conference, DS 2001, Washington, DC, USA, November 25-28, 2001 : proceedings /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

18

A decade of digital computing in the mineral industry; a review of the state-of-the-art.

New York, American Institute of Mining, Metallurgical, and Petroleum Engineers, 1969

Conference Proceeding Book

19

Computer aided design in civil engineering : proceedings of a symposium /

New York, N.Y. : The Society, 1984

Conference Proceeding Book

20

Applied algebra, algebraic algorithms, and error-correcting codes : 11th international symposium, AAECC-11, Paris, France, July 1995 : proceedings /

Berlin ; New York : Springer-Verlag, 1995

Conference Proceeding Book

Narrow Search