Search Results

1

Security protocols : 13th international workshop, Cambridge, UK, April 20-22, 2005 : revised selected papers /

Berlin ; New York : Springer, 2007

Conference Proceeding Book

2

Federation over the web : international workshop, Dagstuhl Castle, Germany, May 1-6, 2005 : revised selected papers /

Berlin ; New York : Springer, 2006

Book

3

Information security and cryptology : first SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

4

Hybrid systems : computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

5

High-performance computing : 6th international symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005 and First International Workshop on Advanced Low Power Systems, ALPS 2006 : r...

Berlin ; New York : Springer, 2008

Conference Proceeding Book

6

Distributed computing : 19th international conference, DISC 2005, Cracow, Poland, September 26-29, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

7

Generative programming and component engineering : 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

8

Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

9

Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

10

Ontologies-based databases and information systems : first and second VLDB workshops, ODBIS 2005/2006, Trondheim, Norway, September 2-3, 2005 : Seoul, Korea, September 11, 2006 : r...

Berlin ; New York : Springer, 2007

Conference Proceeding Book

11

Algorithms and computation : 16th international symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

12

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

13

Intelligent technologies for interactive entertainment : first international conference, Intetain 2005, Madonna di Campiglio, Italy, November 30 - December 2, 2005 : proceedings /

Berlin ; New York, NY : Springer, 2005
1st ed.

Conference Proceeding Book

14

Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions...

Berlin ; New York : Springer, 2008

Conference Proceeding Book

15

Large-scale scientific computing : 5th international conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005 : revised papers /

Berlin ; New York : Springer, 2006

Conference Proceeding Book

16

Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

17

OpenMP shared memory parallel programming : international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings /

Berlin ; New York : Springer, 2008

Conference Proceeding Book

18

Network and parallel computing : IFIP international conference, NPC 2005, Beijing, China, November 30 - December 3, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

19

Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

20

Model checking software : 12th International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings /

Berlin : Springer, 2005

Conference Proceeding Book

Narrow Search