Search Results

1

Public key cryptography : third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000 : proceedings /

Public key cryptography : third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000 : proceedin...

Berlin ; New York : Springer, 2000

Conference Proceeding Book

2

Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /

Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000,...

Berlin ; New York : Springer, 2000

Conference Proceeding Book

3

Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings /

Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings /

Berlin ; New York : Springer, 2000

Conference Proceeding Book

4

Recent advances in intrusion detection : third international workshop, RAID 2000, Toulouse, France, October 2-4, 2000 : proceedings /

Recent advances in intrusion detection : third international workshop, RAID 2000, Toulouse, France, October 2-4, 2000 : proceedings /

Berlin ; New York : Springer, 2000

Conference Proceeding Book

5

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

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

Berlin ; London : Springer, 2000

Conference Proceeding Book

6

Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings /

Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings /

Berlin ; New York : Springer, 2000

Conference Proceeding Book

7

Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedings /

Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedings /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

8

Information security : third international workshop, ISW 2000, Wollongong, Australia, December 20-21, 2000 : proceedings /

Information security : third international workshop, ISW 2000, Wollongong, Australia, December 20-21, 2000 : proceedings /

Berlin ; New York : Springer, 2000

Conference Proceeding Book

9

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings /

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings /

Berlin ; New York : Springer, 2000

Conference Proceeding Book

10

Intelligent memory systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers /

Intelligent memory systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

11

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /

Berlin ; New York : Springer, 2002

Conference Proceeding Book