A Bibliography Compiled by Resource...

A

Bibliography

Compiled by

Resource Centre

Nr. Indroda Circle Gandhinagar 380 007

Lecture Notes in Computer Science

Sr. No. Volume No Title

1. VOL. 374 Cray X-MP/Model 24 : a case study in pipel ined architecture and vector processing Robbins, Kay A. & Robbins, Steven vi, 165 p.: ill. 24 cm ISBN: 0387970894 Acc. No. : 025627 Class No. : 004

2. VOL. 413 Group theoretical methods in image process ing Lenz, Reiner viii, 138 p.: ill. 24 cm. ISBN: 3540522905 Acc. No.: 018802 Class No.: 004

3. VOL. 497 Advances in computing and information--ICC I '91. [International Conference on Computing and Information, Ottawa, Ca nada, May 1991. Dehne, Frank, ed., Fiala, F., ed. & Koczkodaj, W. W., ed. viii, 744 p.: ill. 24 cm. ISBN: 3540540296 Acc. No.: 023928 Class No.: 004

4. Vol. 559 Fundamental Algorithms for Permutation Gr oups Butler, G. 1991, XII, 238 p. ISBN: 0-387-54955-2 Acc. No. : 005664 Class No. : 004

5. Vol. 770 Digital Rights Management: Technological, Economic, Legal and Political Aspects Becker,E.;Buhse, W.;Günnewig,D.;Rump,N.(Hrsg.) 2003,XI, 805 p. ISBN:3-540-40465-1 Acc. No. : 008462 Class No. : 004

6. VOL. 900 STACS 95 : 12th annual symposium on theoretical asp ects of computer science, Munich, Germany, March 2-4, 1995 : proceedings Mayr, Ernst W., ed. & Puech, Claude, ed.: xiii, 654 p.: ill. 24 cm. ISBN: 3540590420 Acc. No.: 017919 Class No.: 004

7. Vol. 1001 Efficient Checking of Polynomials and Pr oofs and the Hardness of Approximation Problems Sudan, Madhu (Ed.) 1995, XIV, 87 p. ISBN: 3-540-60615-7 Acc. No. : 011939 Class No. : 004

8. Vol. 1002 Disconnected Operation in a Distributed File System Kistler, James J. (Ed.) 1995, XIX, 249 p. ISBN: 3-540-60627-0 Acc. No. : 011938 Class No. : 004

9. VOL. 1043

Logics for concurrency : structure versus automata Moller, Faron, ed. & Birtwistle, Graham, ed. 1996, xi, 266 p.: ill. 24 cm ISBN: 3540609156 Acc. No.: 017860 Class No. 004

10. Vol. 1172 Information Security and Privacy Pieprzyk, J., Seberry, J. (Eds.) 1996, IX, 333 p. ISBN 3-540-61991-7 Acc. No. : 000025 Class No. : 004

11. Vol. 1174 Information Hiding: First International Workshop, Cambridge, U.K. May 30 – June 1, 1996. Proceedings Anderson, Ross (Ed.) 1996, VIII, 351 p. ISBN: 3-540-61996-8 Acc. No. : 006707 Class No. : 004

12. Vol. 1255 Applied Algebra, Algebraic Algorithms an d Error-Correcting Codes: 12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings Mora,Teo; Mattson, Harold F. (Eds.) 1997, X, 353 p. ISBN: 3-540-63163-1 Acc. No. : 007552 Class No. : 004

13. Vol. 1340 Algorithmic Foundations of Geographic In formation Systems Kreveld, M.v.; Nievergelt, J.; Roos, T.; Widmayer, P. (Eds.) 1st ed. 1997. 2nd printing, 2000, XIV, 290 p. ISBN: 3-540-63818-0 Acc. No. : 007289 Class No. : 004

14. Vol. 1390 Universal Routing Strategies for Interco nnection Networks Scheideler, Christian 1998, XVII, 234 p. ISBN: 3-540-64505-5 Acc. No. : 007173 Class No. : 004

15. Vol. 1410 Audio System for Technical Readings Raman, T.V. 1998, XVI, 121 p. ISBN: 3-540-65515-8 Acc. No. : 011934 Class No. : 004

16. Vol. 1423

Algorithmic Number Theory: Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings Buhler, Joe P. (Ed.) 1998, X, 640 p. ISBN: 3-540-64657-4 Acc. No. : 004620 Class No. : 004

17. Vol. 1439 System Configuration Management: ECOOP’98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, Proceedings Magnusson, Boris ed. 1998, X, 207 p. ISBN: 3-540-64733-3 Acc. No. : 002128 Class No. : 004

18. Vol. 1464 Multimedia Information Analysis and Retr ieval: IAPR International workshop, MINAR’ 98 Hong Kong, China, August 1998 Proceedings Horace, H. S. 1998, 264 p.

ISBN: 3-540-64826-7 Acc. No. : 000002 Class No. : 004

19. Vol. 1499 Distributed Computing: 12th International Symposium, DISC’98, Andros, Greece, September 24 -26, 1998, Proceedings Kutten,Shay (Ed.) 1998, XI, 419 p. ISBN: 3-540-65066-0 Acc. No. : 009023 Class No. : 004

Vol. 1500 Software Process Derniame, Jean-Claude 1999, XIII, 307 p. ISBN: 3-540-65516-6 Acc. No. : 000012 Class No. : 004

20. Vol. 1525 Information Hiding: Second International Workshop, IH’98, Portland, Oregon, USA, April 14-17,1998, Proceedings Aucsmith, David (Ed.) 1998, IX, 369 p. ISBN: 3-540-65386-4 Acc. No. : 006706 Class No. : 004

21. Vol. 1528 State of the Art in Applied Cryptography : Course on Computer Security and Industrial Cryptography, Leuven, Belgium, June 3-6, 1997 Revised Lectures Preneel, Bart; Rijmen, Vincent (Eds.) 1998, VIII, 395 p. ISBN: 3-540-65474-7 Acc. No. : 006035 Class No. : 004

22. Vol. 1554 Advanced Multimedia Content Processing: First International Conference, AMCP’98, Osaka, Japan, November 9-11, 1998, Proceedings Nishio, Shojiro 1999, XIV, 454 p. ISBN: 3-540-65762-2 Acc. No. : 000026 Class No. : 004

23. Vol. 1560 Public Key Cryptography: Second International Workshop on Practice and Theory in Public Key Cryptography, PKC’99, Kamakura, Japan, March 1-3, 1999, Proceedings Imai, Hideki; Zheng, Yuliang (Eds.) 1999, IX, 327 p. ISBN: 3-540-65644-8 Acc. No. : 007263 Class No. : 004

24. Vol. 1561 Lectures on Data Security : Modern Crypt ology in Theory and Practice: Modern Cryptology in Theory and Practice Damgard, Ivan 1999, VII, 250 p. ISBN: 3-540-35757-6 Acc. No. : 006048 Class No. : 004

25. Vol. 1614 Visual Information and Information Syste ms: Third International Conference, VISUAL’99, Amsterdam, The Netherlands, June 2-4, 1999, Proceedings Huijsmans, Dionysius P. 1999, XVIII, 827 p.

ISBN: 3-540-66079-8 Acc. No. : 000007 Class No. : 004

26. Vol. 1626 Advanced Information Systems Engineering : 11th International Conference, CaiSE’99, Heidelberg, Germany, June 14-18, 1999, Proceedings Jarke, Matthias ed. 1999, XIV, 478 p. ISBN: 3-540-66157-3 Acc. No. : 000009 Class No. : 004

27. Vol. 1628 ECOOP ’99 – Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14-18, 1999 Proceedings Guerraoui, Rachid (Ed.) 1999, XIII, 529 p. ISBN: 3-540-66156-5 Acc. No. : 002129 Class No. : 004

28. Vol. 1629 Multimedia Applications, Services and Te chniques – ECMAST ’99: 4th European Conference, Madrid, Spain, May 26-28, 1999, Proceedings Leopold, Helmut ed. 1999, XV, 574 p. ISBN: 3-540-66082-8 Acc. No. : 000006 Class No. : 004

29. Vol. 1635 Artificial Animals for Computer Animatio n: Biomechanics, Locomotion, Perception, and Behavior Tu, Xiaoyuan 1999, XIV, 172 p. ISBN: 3-540-66939-6 Acc. No. : 011933 Class No. : 004

30. Vol. 1658 Mobile Agents : Control Algorithms Baumann, Joachim 2000, XIX, 161 p. ISBN: 3-540-41192-5 Acc. No. : 011438 Class No. : 004

31. Vol. 1665 Graph Theoretic Concepts in Computer Sci ence: 25th International Workshop, WG’99, Ascona, Switzerland, June 17-19, 1999 Proceedings Widmayer, Peter ed. 1999, XI, 414 p. ISBN: 3-540-66731-8 Acc. No. : 000027 Class No. : 004

32. Vol. 1672 Mathematical Foundations of Computer Sci ence 1999: 24th International Symposium, MFCS’99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings Kutytowski, Mirostaw 1999, XII, 455 p. ISBN: 3-540-66408-4 Acc. No. : 000022 Class No. : 004

33. Vol. 1676 Data Warehousing and Knowledge Discovery : First International Conference, DaWaK’99 Florence, Italy, August 30 – September 1, 1999 Proceedings Mohania, Mukesh; Tjoa, A Min (Eds.) 1999, XII, 400 p. ISBN: 3-540-66458-0 Acc. No. : 000010

Class No. : 004 34. Vol. 1717 Cryptographic Hardware and Embedded Syst ems:

First International Workshop, CHES’99 Worcester, MA, USA, August 12-13,1999 Proceedings Koc, Cetin K; Paar, Christof (Eds.) 1999, XI, 353 p. ISBN: 3-540-66646-X Acc. No. : 007162 Class No. : 004

35. VOL. 1736 Networked group communication. [Third int ernational COST264 workshop, NGC 2001 London, UK, November 7-9, 2001 . Crowcroft, Jon & Hofmann, Markus: 2001, 204 p. ISBN: 3540428240 Acc. No.: 006049 Class No.: 004

36. Vol. 1738 Foundations of Software Technology and T heoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999 Proceedings Rangan, C. Pandu, Raman, V.; Ramanujam, R. (Eds.) 1999, XII, 452 p. ISBN: 3-540-66836-5 Acc. No. : 000018 Class No. : 004

37. Vol. 1752 Advances in Distributed Systems: Advanced Distributed Computing: From Algorithms to Systems Krakowiak, Sacha; Shrivastava, Santosh (Eds.) 2000, VIII, 524 p. ISBN: 3-540-67196-X Acc. No. : 000030 Class No. : 004

38. Vol. 1768 Information Hiding: Third International Workshop, IH’99, Dresden, Germany, September 29 — October 1, 1999 Proceedings Pfitzmann, Andreas (Ed.) 2000,IX, 492p. ISBN: 3-540-67182-X Acc. No. : 006705 Class No. : 004

39. Vol. 1796 Security Protocols: 7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings Christianson, B.; Crispo, B.; Malcolm, J.A.; Roe, M. (Eds.) 2000,XII, 229 p. ISBN: 3-540-67381-4 Acc. No. : 007169 Class No. : 004

40. Vol. 1914 Distributed Computing: 14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings Herlihyi, Maurice (Ed.) 2000, VIII, 388 p. ISBN: 3-540-41143-7 Acc. No. : 009022 Class No. : 004

41. Vol. 1939 UML 2000 — The Unified Modeling Language . Advancing the Standard: Third International Conference York, UK, October 2-6, 2000 Proceedings Evans, Andy; Kent, Stuart; Selic, Bran (Eds.) 2000, XIV, 572 p. ISBN: 3-540-41133-X Acc. No. : 007547 Class No. : 004

42. Vol. 1950 Randomness and Completeness in Computati onal Complexity Melkebeek, Dieter van 2000, XV, 196 p. ISBN: 3-540-41492-4 Acc. No. : 011944 Class No. : 004

43. Vol. 1958 IT-Security and Privacy: Design and Use of Privacy-Enhancing Security Mechanisms Fischer-Hübner , Simone 2001, XIII, 351 p. ISBN: 3-540-42142-4 Acc. No. : 011430 Class No. : 004

44. Vol. 1965 Cryptographic Hardware and Embedded Syst ems — CHES 2000: Second International Workshop Worcester, MA, USA, August 17-18, 2000 Proceedings Koc, Cetin K.; Paar, Christof (Eds.) 2000,XI,355 p. ISBN: 3-540-41455-X Acc. No. : 007160 Class No. : 004

45. Vol. 1971 Grid Computing — GRID 2000: First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings Buyya, Rajkumar; Baker, Marc (Eds.) 2000, XIV, 229 p. ISBN: 3-540-41403-7 Acc. No. : 011952 Class No. : 004

46. Vol. 1980 Lectures on Information Retrieval: Third European Summer-School, ESSIR 2000 Varenna, Italy, September 11-15, 2000. Revised Lectures Agosti, Maristella; Crestani, Fabio; Pasi, Gabriella (Eds.) 2001, XI, 311 p. ISBN: 3-540-41933-0 Acc. No. : 011434 Class No. : 004

47. Vol. 1992

Public Key. Cryptography: 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001, Cheju Island, Korea, February 13-15, 2001. Proceedings Kim, Kwangjo (Ed.) 2001,XI, 423 p. ISBN:3-540-41658-7 Acc. No. : 007618 Class No. : 004

48. Vol. 2000 Informatics : 10 years back, 10 years ah ead Wilhelm, Reinhard (Ed.) 2001, IX, 369 p. ISBN: 3-540-41635-8 Acc. No. : 006046 Class No. : 004

49. Vol. 2008 Power-Aware Computer Systems: First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers Falsafi, B.; Vijaykumar, T.N. (Eds.) 2001, X, 153 p. ISBN: 3-540-42329-X Acc. No. : 011926 Class No. : 004

50. Vol. 2016 Web Engineering: Managing diversity and complexity of web application development

Murugesan, San; Deshpande, Yogesh (Eds.) 2001, IX, 357 p. ISBN: 3-540-42130-0 Acc. No. : 002807 Class No. : 004

51. Vol. 2047 Performance Engineering: State of the Art and Current Trends Dumke, R.; Rautenstrauch, C.; Schmietendorf, A.; Scholz, A. (Eds.) 2001, XIV, 349 p. ISBN: 3-540-42145-9 Acc. No. : 011441 Class No. : 004

52. Vol. 2090 Lectures on Formal Methods and Performan ce Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter (Eds.) 2001, VII, 431 p. ISBN: 3-540-42479-2 Acc. No. : 011433 Class No. : 004

53. Vol. 2121 Advances in Spatial and Temporal Databas es: 7th International Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15,2001 Proceedings Jensen, C.S.; Schneider, M.; Seeger, B.; Tsotras, V.J. (Eds.) 2001, XI, 543 p. ISBN:3-540-42301-X Acc. No. : 007288 Class No. : 004

54. Vol. 2133 Security Protocols: 8th International Workshops Cambridge, UK, April 3-5, 2000 Revised Papers Christianson, B.; Crispo, B.; Malcolm, J.A.; Roe, M. (Eds.) 2001, VIII, 257 p. ISBN: 3-540-42566-7 Acc. No. : 007170 Class No. : 004

55. Vol. 2137 Information Hiding: 4th International Workshop, IH 2001, Pittsburgh, PA, USA, April 25-27, 2001. Proceedings Moskowitz, Ira S. (Ed.) 2001, VIII, 412 p. ISBN: 3-540-42733-3 Acc. No. : 006758 Class No. : 004

56. Vol. 2162 Cryptographic Hardware and Embedded Syst ems CHES 2001: Third International Workshop, Paris, France, May 14-16, 2001 Proceedings Koc, Cetin K.; Nacchae, David; Paar, Christof (Eds.) 2001, XIV, 411 p. ISBN: 3-540-42521-7 Acc. No. : 007161 Class No. : 004

57. Vol. 2218 Middleware 2001: IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings Guerraoui, Rachid (Ed.) 2001, XIII, 395 p. ISBN: 3-540-42800-3 Acc. No. : 009019 Class No. : 004

58. Vol. 2233 Networked Group Communication:

Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001. Proceedings Crowcroft, Jon; Hofmann, Markus (Eds.) 2001, X, 205 p. ISBN: 3-540-42824-0 Acc. No. : 006049 Class No. : 004

59. Vol. 2236 Cooperative Environments for Distributed Systems Engineering : the distributed systems environment report Drira, Khalil, Martelli, Andrea, Villemur, Thierry 2001, IX, 281 p. ISBN: 3-540-43083-0 Acc. No. : 009025 Class No. : 004

60. Vol. 2242 Grid Computing — GRID 2001: Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings Lee, Craig A. (Ed.) 2001, XII, 185 p. ISBN: 3-540-42949-2 Acc. No. : 011950 Class No. : 004

61. Vol. 2243 Digital and Image Geometry: Advanced Lectures Bertrand, Gilles; Imiya, Atsushi; Klette, Reinhard (Eds.) 2001, VIII, 455 p. ISBN: 3-540-43079-2 Acc. No. : 011417 Class No. : 004

62. Vol. 2270 On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors . Pflanz, Matthias; Berlin 2002, xii, 126 p. ISBN 3-540-43318-X Acc. No. : 011440 Class No. : 004

63. VOL. 2274 Public key cryptography : 4 th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris , France, February 12-14, 2002 : proceedings Naccache, David, ed. & Paillier,Pascal, ed.: 2002, xi, 383 p. ISBN: 3540431683 Acc. No.: 018621 Class No.: 004

64. Vol. 2283 Isabelle/HOL: A Proof Assistant for Higher-Order Logic Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus 2002, XIII, 218 p. ISBN: 3-540-43376-7 Acc. No. : 011975 Class No. : 004

65. Vol. 2300 Formal and natural computing : essays de dicated to Grzegorz Rozenberg/ Brauer , Wilfried. ... [et al.] (eds.) 2002 , xxxvi, 429 p.: ill. 24 cm. ISBN: 354043190X Acc. No.: 019817 Class No.: 004

66. Vol. 2319 Software Reuse Methods, Techniques, and Tools : 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings Gacek, Cristina (Ed.)

2002, XI, 353 p. ISBN: 3-540-43483-6 Acc. No. : 013479 Class No. : 004

67. Vol. 2341 High-Dimensional Indexing: Transformational Approaches to High-Dimensional Range and Similarity Searches, Yu,Cui 2003,XI,150 p. ISBN: 3-540-44199-9 Acc. No. : 011423 Class No. : 004

68. Vol. 2342 Semantic Web — ISWC 2002: First Internati onal Semantic Web Conference Sardinia, Italy, June 2002: Proceedings Horrocks, Ian, ed. & Hendler, James, ed. 2002, xvi, 476 p. ISBN: 3-540-43760-6 Acc. No. : 011870 Class No.: 004

69. Vol. 2362 Digital Cities II. Computational and So ciological Approaches: Second Kyoto Workshop on Digital Cities, Kyoto, Japan, October 18-20, 2001. Revised Paper Tanabe, Makoto; Besselaar, Peter van den; Ishida,Toru (Eds.) 2002, XI, 399 p. ISBN: 3-540-43963-3 Acc. No. : 007177 Class No. : 004

70. Vol. 2434 Computer Safety, Reliability and Securit y: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings Anderson, Stuart; Bologna, Sandro; Felici, Massimo (Eds.) 2002, XX, 347 p. ISBN:3-540-44157-3 Acc. No. : 008461 Class No. : 004

71. Vol. 2437 Infrastructure Security: International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002 Proceedings Davida, George; Frankel, Yair; Rees, Owen (Eds.) 2002, XI, 339 p. ISBN: 3-540-44309-6 Acc. No. : 006047 Class No. : 004

72. Vol. 2452 Algorithms in Bioinformatics: Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings Guigo, Roderic; Gusfield, Dan (Eds.) 2002, X, 554 p. ISBN: 3-540-44211-1 Acc. No. : 004621 Class No. : 004

73. Vol. 2467 Security Protocols : 9 th International Workshop Cambridge, UK, April 25-27, 2001 Revised Papers Christianson, B.; Crispo, B.; Malcolm, J.A.; Roe, M. (Eds.) 2002, IX, 241 p. ISBN: 3-540-44263-4 Acc. No. : 011864 Class No. : 004

74. Vol. 2468 Distributed Communities on the Web: 4th International Workshop, DCW 2002 Sydney, Australia, April 3-5, 2002 Revised Papers Plaice, J.; Kropf, P.; Schulthess, P.; Slonim, J. (Eds.) 2002, XI, 305 p. (Also available as online version).

ISBN: 3-540-00301-0 Acc. No. : 009024 Class No. : 004

75. Vol. 2482 Privacy Enhancing Technologies, Second In ternational Workshop, PET 2002, San Francisco, CA, USA, April 14-15, 2002 , Revised Papers. 2003, (Eds.) Dingledine, Roger (Ed.) & Syverson, Paul (Ed.) 2003, 238 p. ISBN 3-540-00565-X Acc. No. : 007166 Class No. : 004

76. Vol. 2497 Advanced Lectures on Networking: NETWORKING 2002 Enrico Gregori, ; Anastasi, Giuseppe; Basagni, Stefano (Eds.) 2002, XI, 195 p. ISBN: 3-540-00165-4 Acc. No. : 006050 Class No. : 004

77. Vol. 2509

Unconventional Models of Computation: Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings Calude, Cristian; Dinneen, Michael J.; Peper, F. (Eds.) 2002, VIII, 331 p. ISBN: 3-540-44311-8 Acc. No. : 007172 Class No. : 004

78. Vol. 2523 Cryptographic Hardware and Embedded Syst ems — CHES 2002: 4th International Workshop, Redwood Shores, CA, USA, August 13-15, 2002 Revised Papers Kaliski, Burton S. Jr.; Koc, Cetin K.; Paar, Christof (Eds.) XIV, 612 p. 2003, XIV, 612 p. ISBN: 3-540-00409-2 Acc. No. : 007159 Class No. : 004

79. Vol. 2529 Formal Techniques for Networked and Dist ributed Systems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002 Proceedings Peled, Doron A.; Vardi, Moshe Y. (Eds.) XI, 371p. 2002, XI, 371 p. ISBN: 3-540-00141-7 Acc. No. : 009020 Class No. : 004

80. Vol. 2536 Grid Computing — GRID 2002: Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings Parashar, Manish (Ed.) 2002, XI, 318 p. ISBN: 3-540-00133-6 Acc. No. : 009595 Class No. : 004

81. Vol. 2550 Advances in Computing Science—ASIAN 2002 : Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, a nd Cluster Computing: 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, Proceedings Jean-Marie, Alain, Ed. 2002, CCXXXIII, 10 p. ISBN: 3-540-00195-6 Acc. No. : 009596 Class No. : 004

82. Vol. 2571 Distributed Computing : Mobile and Wirel ess Computing: 4th international workshop, IWDC 2002, Calcutta, India, December 28-31,

2002 : proceedings 2003, Xiv, 354 p. ISBN: 354000355X Acc. No. : 009021 Class No. : 004

83. Vol. 2572

Database Theory — ICDT 2003: 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings Calvanese, Diego; Lenzerini, Maurizio; Motwani, Rajeev (Eds.) 2002, XI, 455 p. ISBN: 3-540-00323-1 Acc. No. : 010947 Class No. : 004

84. Vol. 2578 Information Hiding: 5th International Workshop, IH 2002, Noordwijkerhout, The Netherlands, October 7-9, 2002, Revised Papers. Springer 2003, ISBN 3-540-00421-1 Moskowitz, Ira S. (Ed.) 2002, VIII, 412 p. ISBN: 3-540-00421-1 Acc. No. : 006040 Class No. : 004

85. Vol. 2601 Quality of Service in Multiservice IP Ne tworks: Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings Ajmone Marsan, M.; Corazza, G.; Listanti, M.; Roveri, A. (Eds.) 2003, XV, 759 p. Also available online, ISBN: 3-540-00604-4 Acc. No. : 006702 Class No. : 004

86. Vol. 2609 Software Security — Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers Okada, M.; Pierce, B.; Scedrov, A.; Tokuda, H.; Yonezawa, A. (Hrsg.) 2003, XI, 471 p. Also available online, ISBN: 3-540-00708-3 Acc. No. : 006051 Class No. : 004

87. Vol. 2625 Algorithms for Memory Hierarchies: Advanced Lectures Meyer, Ulrich; Sanders, Peter; Sibeyn, Jop (Eds.) 2003, XVII, 428 p. Also available online, ISBN: 3-540-00883-7 Acc. No. : 006481 Class No. : 004

88. Vol. 2634 Information Processing in Sensor Network s: Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings Zhao, Feng; Guibas, Leonidas (Eds.) 2003, XII, 676 p. ISBN: 3-540-02111-6 Acc. No. : 008473 Class No. : 004

89. Vol. 2643 Applied Algebra, Algebraic Algorithms an d Error-Correcting Codes: 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings Fossorier, Marc; Hoeholdt, Tom; Poli, Alain (Eds.) 2003, X, 265 p. Also available online, ISBN: 3-540-40111-3 Acc. No. : 008740 Class No. : 004

90. Vol. 2644 Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings Hogrefe, Dieter; Wiles, Anthony (Eds.)

2003, XII, 311 p. , ISBN: 3-540-40123-7 Acc. No. : 007171 Class No. : 004

91. Vol. 2651 ZB 2003: Formal Specification and Develo pment in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings Bert, D.; Bowen, J.P.; King, S.; Waldén, M. (Eds.) 2003, XIII, 547 p. ISBN: 3-540-40253-5 Acc. No. : 007284 Class No. : 004

92. Vol. 2662 Information Networking: Networking technologies for enhanced internet services International Conference, ICOIN 2003 Cheju Island, Korea, February 12-14, 2003 Revised Selected Papers Kahng, Hyun-Kook, Ed. 2003, XVII, 1032 p. ISBN: 3-540-40827-4 Acc. No. : 008466 Class No. : 004

93. Vol. 2664 Logic Based Program Synthesis and Transf ormation: 12 th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 Leuschel, Michael (Ed.) 2003, X, 281 p. ISBN: 3-540-40438-4 Acc. No. : 007164 Class No. : 004

94. Vol. 2665 Intelligence and Security Informatics: First NSF/NIJ Symposium, ISI 2003, Tucson, AZ, USA, June 2-3, 2003, Proceedings Chen, H.; Miranda, R.; Zeng, D.D.; Demchak, C.; Madhusudan, T. (Eds.) 2003, XIV, 392 p. ISBN: 3-540-40189-X Acc. No. : 007285 Class No. : 004

95. Vol. 2692 Trust Management: First International Conference, iTrust 2003, Heraklion, Crete, Greece, May 28-30, 2002, Proceedings Nixon, Paddy; Terzis, Sotirios (Eds.) 2003, X, 349 p. ISBN: 3-540-40224-1 Acc. No. : 007291 Class No. : 004

96. Vol. 2693 Component-Based Software Quality: Methods and Techniques Cechich, Alejandra; Piattini, Mario; Vallecillo, Antonio (Eds.) 2003, X, 403 p. Also available online., ISBN: 3-540-40503-8 Acc. No. : 011973 Class No. : 004

97. Vol. 2707 Quality of Service — IWQoS 2003: 11th international workshop Berkeley, CA, USA, June 2-4, 2003, Proceedings Jeffay, Kevin; Stoica, Ion; Wehrle, Klaus (Eds.) 2003, XI, 517 p. , ISBN: 3-540-40281-0 Acc. No. : 007287 Class No. : 004

98. Vol. 2708 SDL 2003: System Design: 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings

Reed, Rick; Reed, Jeanne (Eds.) 2003, XI, 405 p. ISBN: 3-540-40539-9 Acc. No. : 007168 Class No. : 004

99. Vol. 2722 Web Engineering: International Conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003. Proceedings Cueva Lovelle, J.M.; González Rodríguez, B.M.; Joyanes Aguilar, L.; Labra Gayo, J.E.; del Puerto Paule de Ruiz, M. (Eds.) 2003, XX, 554 p. Also available online, ISBN: 3-540-40522-4 Acc. No. : 007174 Class No. : 004

100. Vol. 2745 Parallel and Distributed Processing and Applications: International symposium, ISPA 2003 Aizu-Wakamatsu, Japan 2-4, 2003 Proceedings Guo, Minyi; Yang, Laurence Tianruo (Eds.) 2003, XII, 450 p. ISBN: 3-540-40523-2 Acc. No. : 007165 Class No. : 004

101. Vol. 2747 Mathematical Foundations of Computer Sci ence 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings Rovan, Branislav; Vojtas, Peter (Eds.) 2003, XIII, 692 p. ISBN: 3-540-40671-9 Acc. No. : 007637 Class No. : 004

102. Vol. 2754 Security Engineering with Patterns : Ori gins, Theoretical Models, and New Applications Schumacher, Markus 2003, XIV, 208 p. ISBN: 3-540-40731-6 Acc. No. : 012609 Class No. : 004

103. Vol. 2756 Computer Analysis of Images and Patterns : 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003, Proceedings Petkov, Nicolai; Westenberg, Michel A. (Eds.) 2003, XVIII, 781 p. ISBN: 3-540-40730-8 Acc. No. : 007625 Class No. : 004

104. Vol. 2757 Formal Methods at the Crossroads : From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers Aichernig, Bernhard K.; Maibaum, Tom (Eds.) 2003, XIV, 455 p. ISBN: 3-540-20527-6 Acc. No. : 008437 Class No. : 004

105. Vol. 2763 Parallel Computing Technologies: 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings Malyshkin, Victor (Ed.) 2003, XIII, 570 p. ISBN: 3-540-40673-5 Acc. No. : 007639

Class No. : 004 106. Vol. 2767

Formal Techniques for Networked and Distributed Sys tems — FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003 König, Hartmut; Heiner, Monika; Wolisz, Adam (Eds.) 2003, XII, 431 p. ISBN: 3-540-20175-0 Acc. No. : 008464 Class No. : 004

107. Vol. 2769 Research and Advanced Technology for Dig ital Libraries: 7th European Conference, ECDL 2003, Trondheim, Norway, August 17-22, 2003. Proceedings Koch, Traugott; Solvberg, Ingeborg T. (Eds.) 2003, XV, 536 p. ISBN: 3-540-40726-X Acc. No. : 007640 Class No. : 004

108. Vol. 2770 Digital Rights Management : Technologica l, Economic, Legal and Political Aspects Becker, E.; Buhse, W.; Günnewig, D.; Rump, N. (Eds.) 2003, XI, 805 p. ISBN: 3-540-40465-1 Acc. No. : 008462 Class No. : 004

109. Vol. 2775 Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003, Proceedings Conti, M.; Giordano, S.; Gregori, E.; Olariu, S. (Eds.) 2003, XVI, 855 p. ISBN: 3-540-20123-8 Acc. No. : 008456 Class No. : 004

110. Vol. 2776 Computer Network Security: Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings Gorodetsky, Vladimir; Popyack, Leonard; Skormin, Victor (Eds.) 2003, XIV, 470 p. ISBN: 3-540-40797-9 Acc. No. : 008451 Class No. : 004

111. Vol. 2779 Cryptographic Hardware and Embedded Syst ems — CHES 2003: 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings Walter, Colin D.; Koc, Cetin K.; Paar, Christof (Eds.) 2003, XIII, 441 p. ISBN: 3-540-40833-9 Acc. No. : 007627 Class No. : 004

112. Vol. 2783 Advances in Web-Based Learning — ICWL 200 3: Second International Conference, Melbourne, Australia, August 18-20, 2003, Proceedings Zhou, W.; Nicholson, P.; Corbitt, B.; Fong, J. (Hrsg.) 2003, XV, 552 p. Also available online, ISBN: 3-540-40772-3 Acc. No. : 011404 Class No. : 004

113. Vol. 2788 Computer Safety, Reliability, and Securi ty: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings Anderson, Stuart; Felici, Massimo; Littlewood, Bev (Eds.)

2003, XIX, 426 p. ISBN: 3-540-20126-2 Acc. No. : 009309 Class No. : 004

114. Vol. 2795 Human-Computer Interaction with Mobile D evices and Services: 5th International Symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003, Proceedings Chittaro, Luca (Ed.) 2003, XV, 494 p. ISBN: 3-540-40821-5 Acc. No. : 007632 Class No. : 004

115. Vol. 2798 Advances in Databases and Information Sy stems: 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings Kalinichenko, L.; Manthey, R.; Thalheim, B.; Wloka, U. (Eds.) 2003, XIII, 431 p. ISBN: 3-540-20047-9 Acc. No. : 007622 Class No. : 004

116. Vol. 2802

Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers Hutteri, D.; Müller, G.; Stephan, W.; Ullmann, M. (Eds.) 2004, XI, 291 p. ISBN: 3-540-20887-9 Acc. No. : 009659 Class No. : 004

117. Vol. 2804

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures Bernardo, Marco; Inverardi, Paola (Eds.) 2003, VII, 287 p. ISBN: 3-540-20083-5 Acc. No. : 008446 Class No. : 004

118. Vol. 2808 Computer Security-ESORICS 2003: 8th European Symposium on Research in Computer Security, Gjovik, Norway, October 13-15, 2003, Proceedings Snekkenes, Einar; Gollmann, Dieter (Eds.) 2003, X, 345 p. ISBN: 3-540-20300-1 Acc. No. : 008430 Class No. : 004

119. Vol. 2810 Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings Pfenning, F.; Berthold, M.R.; Lenz, H.-J.; Bradley, E.; Kruse, R.; Borgelt, C. (Eds.) 2003, XV, 624 p. ISBN: 3-540-40813-4 Acc. No. : 007623 Class No. : 004

120. Vol. 2815 Composition of Secure Multi-Party Protoc ols: A Comprehensive Study Lindell, Yehuda 2003, XVI, 192 p. ISBN: 3-540-20105-X Acc. No. : 008467 Class No. : 004

121. Vol. 2816 Group Communications and Charges : Techn ology and Business Models:

5th COST264 International Workshop on Networked Group Communications, NGC 2003, and 3rd International Workshop on Internet Charging and QoS Technologies, ICQT 2003, Munich, Germany, September 16-19, 2003 Proceedings Stiller, B.; Carle, G.; Karsten, M.; Reichl, P. (Eds.) 2003, XIII, 354 p. ISBN: 3-540-20051-7 Acc. No. : 008443 Class No. : 004

122. Vol. 2817 Object-Oriented Information Systems: 9 th International Conference, OOIS 2003 Geneva, Switzerland, September 2-5, 2003: Proceedings Konstantas, D.; Leonard, M.; Pigneur, Y.; Patel, S. (Eds.) 2003, XII, 426 p. ISBN: 3-540-40860-6 Acc. No. : 007638 Class No. : 004

123. Vol. 2818 Intelligent Search on XML Data: Applications, Languages, Models, Implementations, and Benchmarks Blanken, H.; Grabs, T.; Schek, H.-J.; Schenkel, R.; Weikum, G. (Eds.) 2003, XVII, 319 p. ISBN: 3-540-40768-5 Acc. No. : 007633 Class No. : 004

124. Vol. 2820 Recent Advances in Intrusion Detection: 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003, Proceedings Vigna, Giovanni; Jonsson, Erland; Kruegel, Christopher (Eds.) 2003, X, 239 p. ISBN: 3-540-40878-9 Acc. No. : 008441 Class No. : 004

125. Vol. 2824 Database and XML Technologies: First International XML Database Symposium, XSYM 2003, Berlin, Germany, September 8, 2003, Proceedings Bellahsène, Z.; Chaudhri, A.B.; Rahm, E.; Rys, M.; Unland, R. (Eds.) 2003, X, 283 p. Also available online., ISBN: 3-540-20055-X Acc. No. : 011945 Class No. : 004

126. Vol. 2826 Software and Compilers for Embedded Syste ms: 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings Krall, Andreas (Ed.) 2003, XI, 403 p. ISBN: 3-540-20145-9 Acc. No. : 008459 Class No. : 004

127. Vol. 2828 Communications and Multimedia Security : Advanced Techniques for Netwroks and Data Protection: 7th IFIP TC-6 TC-11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003, Proceedings Lioy, Antonio; Mazzocchi, Daniele (Eds.) 2003, VIII, 265 p. ISBN: 3-540-20185-8 Acc. No. : 008431 Class No. : 004

128. Vol. 2836 Information and Communications Security: 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003, Proceedings Perner, P.; Qing, S.; Gollmann, D.; Zhou, J. (Eds.) 2003, XI, 416 p. ISBN: 3-540-20150-5

Acc. No. : 008447 Class No. : 004

129. Vol. 2839 Management of Multimedia Networks and Se rvices: 6th IFIP/IEEE International conference, MMNS 2003 Belfast, Northern Ireland, UK, September 7-10, 2003, Proceedings Marshall, Alan; Agoulmine, Nazim (Eds.) 2003, XIV, 532 p. ISBN: 3-540-20050-9 Acc. No. : 007636 Class No. : 004

130. Vol. 2845 Security Protocols: 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers Christianson, B.; Crispo, B.; Malcolm, J.A.; Roe, M. (Eds.) 2004, VIII, 243 p. ISBN: 3-540-20830-5 Acc. No. : 009660 Class No. : 004

131. Vol. 2846 Applied Cryptography and Network Securit y: First International Conference, ACNS 2003. Kunming, China, October 16-19, 2003, Proceedings Zhou, Jianying; Yung, Moti; Han, Yongfei (Eds.) 2003, XI, 436 p. ISBN: 3-540-20208-0 Acc. No. : 008433 Class No. : 004

132. Vol. 2851 Information Security: 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings Boyd, Colin; Mao, Wenbo (Eds.) 2003, XI, 453 p. ISBN: 3-540-20176-9 Acc. No. : 008460 Class No. : 004

133. Vol. 2858 High Performance Computing: 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings Veidenbaum, A.; Joe, K.; Amano, H.; Aiso, H. (Eds.) 2003, XV, 566 p. ISBN: 3-540-20359-1 Acc. No. : 008439 Class No. : 004

134. Vol. 2863 UML 2003 — The Unified Modeling Language , Modeling Languages and Applications: 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings Stevens, Perdita; Whittle, Jon; Booch, Grady (Eds.) 2003, XIV, 415 p. ISBN: 3-540-20243-9 Acc. No. : 008448 Class No. : 004

135. Vol. 2865 Ad-hoc, Mobile and Wireless Networks: Second International Conference, ADHOC-NOW 2003 Montreal, Canada, October 8-10, 2003, Proceedings Pierre, Samuel; Barbeau, Michel; Kranakis, Evangelos (Eds.) 2003, X, 293 p. ISBN: 3-540-20260-9 Acc. No. : 008436 Class No. : 004

136. Vol. 2868 Medical Data Analysis: 4th International Symposium, ISMDA 2003, Berlin, Germany, October 9-10, 2003, Proceedings

Perner, Petra; Brause, Rüdiger; Holzhütter, Hermann-Georg (Eds.) 2003, VIII, 127 p. ISBN: 3-540-20282-X Acc. No. : 008449 Class No. : 004

137. Vol. 2874 Global Computing. Programming Environmen ts, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Roveretoi, Italy, February 9-14, 2003, Revised Papers Priami, Corrado (Ed.) 2003, XIX, 255 p. ISBN: 3-540-20583-7 Acc. No. : 008455 Class No. : 004

138. Vol. 2877 Innovative Internet community systems: Third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003, Revised Papers Böhme, Thomas; Heyer, Gerhard; Unger, Herwig (Eds.) 2003, VIII, 263 p. ISBN: 3-540-20436-9 Acc. No. : 008465 Class No. : 004

139. Vol. 2887 Fast Software Encryption: 10th International Workshop, FSE 2003, LUND, Sweden, February 24-26, 2003, Revised Papers Johansson, Thomas (Ed.) 2003, IX, 397 p. ISBN: 3-540-20449-0 Acc. No. : 008445 Class No. : 004

140. Vol. 2890 Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers Broy, Manfred; Zamulin, Alexandre V. (Eds.) 2003, XV, 572 p. ISBN: 3-540-20813-5 Acc. No. : 009663 Class No. : 004

141. Vol. 2893 Distributed Applications and Interoperab le Systems: 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings Stefani, Jean-Bernard; Demeure, Isabelle; Hagimont, Daniel (Eds.) 2003, XIII, 311 p. ISBN: 3-540-20529-2 Acc. No. : 008440 Class No. : 004

142. Vol. 2896 Advances in Computing Science-ASIAN 2003 : Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings Saraswat, Vijay A., Ed. 2003, VIII, 305 p. ISBN: 3-540-20632-9 Acc. No. : 008463 Class No. : 004

143. Vol. 2901 Principles of Program Analysis: Nielson, Flemming, Nielson, Hanne R., Hankin, Chris 1st ed. 1999. Corr. 2nd printing, 2005, XXI, 452 p. 56 figs ., Hardcover ISBN: 3-540-65410-0 Acc. No. : 011958 Class No. : 004

144. Vol. 2904 Progress in Cryptology — INDOCRYPT 2003:

4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings Johansson, Thomas; Maitra, Subhamoy (Eds.) 2003, XI, 431 p. ISBN: 3-540-20609-4 Acc. No. : 008444 Class No. : 004

145. Vol. 2907 Large-Scale Scientific Computing: 4th International Conference, LSSC 2003, Sozopal, Bulgaria, June 4-8, 2003, Revised Papers Lirkovi, I.; Margenov, S.; Wasniewski, J.; Plamen, Y. (Eds.) 2004, XI, 490 p. ISBN: 3-540-21090-3 Acc. No. : 009655 Class No. : 004

146. Vol. 2908 Information Security Applications : 4 th International Workshop, WISA 2003, Jeju Island, Korea, August 2003 : Revised Pap ers Chae, Kijoon, Ed. 2004, XII, 506 p. ISBN: 3-540-20827-5 Acc. No. : 009654 Class No. : 004

147. Vol. 2920 Wireless Sensor Networks: First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings Karl, Holger; Willig, Andreas; Wolisz, (Eds.) 2004, XIV, 365 p. ISBN: 3-540-20825-9 Acc. No. : 009662 Class No. : 004

148. Vol. 2933 Membrane Computing: International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers Martín-Vide, C.; Mauri, G.; Paun, G.; Rozenberg, G.; Salomaa, A. (Eds.) 2004, VIII, 383 p. ISBN: 3-540-20895-X Acc. No. : 009656 Class No. : 004

149. Vol. 2939 Digital Watermarking: Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, Revised Papers Kalker, Ton; Ro, Yong M.; Cox, Ingemar J. (Eds.) 2004, XII, 602 p. Also availavle online. ISBN: 3-540-21061-X Acc. No. : 009651 Class No. : 004

150. Vol. 2943 DNA Computing: 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers Chen, Junghuei; Reif, John (Eds.) 2004, X, 225 p. ISBN: 3-540-20930-1 Acc. No. : 009650 Class No. : 004

151. Vol. 2946 Foundations of Security Analysis and Des ign II: FOSAD 2001/2002 Tutorial Lectures Focardi, Riccardo; Gorrieri, Roberto (Eds.) 2004, VII, 267 p. ISBN: 3-540-20955-7 Acc. No. : 009652 Class No. : 004

152. Vol. 2952 Scientific Engineering of Distributed Ja va Applications:

Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers Guelfi, Nicoals; Astesiano, Egidio; Reggio, Gianna (Eds.) 2004, X, 157 p. ISBN: 3-540-21091-1 Acc. No. : 009658 Class No. : 004

153. Vol. 2964 Topics in Cryptology—CT-RSA 2004: The Cryptographers’ Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings Okamoto, Tatsuaki (Ed.) 2004, XI, 387 p. ISBN: 3-540-20996-4 Acc. No. : 009661 Class No. : 004

154. Vol. 2967 Generic Model Management: Concepts and Algorithms Melnik, Sergey 2004, XIX, 238 p. ISBN: 3-540-21980-3 Acc. No. : 010896 Class No. : 004

155. Vol. 2970 Grid Computing: First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers Fernández Rivera, F.; Bubak, M.; Gómez Tato, A.; Doallo, R. (Eds.) 2004, XI, 328 p. Also available online., ISBN: 3-540-21048-2 Acc. No. : 011951 Class No. : 004

156. Vol. 2973 Database Systems for Advances Applicatio ns : 9th International Conference, DASFAA 2004, Jeju Island, Korea, March 17-19, 2003, Proceedings Lee, Y.; Li, J.; Whang, K.-Y.; Lee, D. (Eds.) 2004, XXIV, 925 p. ISBN: 3-540-21047-4 Acc. No. : 009598 Class No. : 004

157. Vol. 2979 Stateless Core : A Scalable Approach for Quality of Service in the Internet : winning thesis of the 2001 ACM doctoral dissertation Competition Stoica, Ion 2004, XVI, 219 p. ISBN: 3-540-21960-9 Acc. No. : 010190 Class No. : 004

158. Vol. 3000 Primality Testing in Polynomial Time: From Randomized Algorithms to “PRIMES Is in P” Dietzfelbinger, Martin 2004, X, 147p. ISBN: 3-540-40344-2 Acc. No. : 010881 Class No. : 004

159. Vol. 3015 Passive and Active Network Measurement: 5th International Workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004, Proceedings Barakat, Chadi; Pratt, Ian (Eds.) 2004, XI, 300 p. ISBN: 3-540-21492-5 Acc. No. : 010189 Class No. : 004

160. Vol. 3032 Grid and Cooperative Computing: Second International Workshop, GCC 2003, Shanghai, China, December

7 — 10, 2003, Revised Papers, Part I Volume package: Li, M.; Sun, X.-H.; Deng, Q.; Ni, J. (Eds.) 2004, XXXVII, 1112 p. ISBN: 3-540-21988-9 Acc. No. : 010183 Class No. : 004

161. Vol. 3033 Grid and Cooperative Computing: Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II Volume package: Li, M.; Sun, X.-H.; Deng, Q.; Ni, J. (Eds.) 2004, XXXVIII, 1076 p. ISBN: 3-540-21993-5 Acc. No. : 010184 Class No. : 004

162. Vol. 3042 Networking Two Thousand Four, Networking Technologies, Services, and Protocols; Performance of Computer and Communic ation Network; Mobile and Wireless Communications: Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004, Proceedings Mitrou, N.; Kontovasilis, K.; Rouskas, G.; Iliadis, I.; Merakos, L. (Eds.) 2004, XXXIII, 1519 p. ISBN: 3-540-21959-5 Acc. No. : 010188 Class No. : 004

163. Vol. 3053 Semantic Web : Research and Applications : First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings Davies, J.; Fensel, D.; Bussler, C.; Studer, R. (Eds.) 2004, XIII, 490 p. ISBN: 3-540-21999-4 Acc. No. : 010944 Class No. : 004

164. Vol. 3058 Computer Vision in Human-Computer Intera ction: ECCV 2004 Workshop on HCI, Prague, Czech Republic, May 16, 2004, Proceedings Sebe, Nicu; Lew, Michael S.; Huang, Thomas S. (Eds.) 2004, X, 233 p. ISBN: 3-540-22012-7 Acc. No. : 010946 Class No. : 004

165. Vol. 3087 Biometric Authentication: ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15, 2004, Proceedings Maltoni, Davide; Jain, Anil K. (Eds.) 2004, XIII, 343 p. Also available online., ISBN: 3-540-22499-8 Acc. No. : 011936 Class No. : 004

166. Vol. 3089 Applied Cryptography and Network Securit y: Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004. Proceedings Jakobsson, Markus; Yung, Moti; Zhou, Jianying (Eds.) 2004, XIV, 510 p. ISBN: 3-540-22217-0 Acc. No. : 010179 Class No. : 004

167. Vol. 3109 Combinatorial Pattern Matching: 15th Annual Symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004, Proceedings Sahinalp, Suleyman C.; Muthukrishnan, S.; Dogrusoz, Ugur (Eds.) 2004, XI, 486 p. Also available online.,

ISBN: 3-540-22341-X Acc. No. : 011937 Class No. : 004

168. Vol. 3115 Image and Video Retrieval: Third International Conference, CIVR 2004, Dublin, Ireland, July 21-23, 2004, Proceedings Enser, P.; Kompatsiaris, Y.; O’Connor, N.E.; Smeaton, A.F.; Smeulders, A.W.M. (Eds.) 2004, XVII, 679 p. Also available online., ISBN: 3-540-22539-0 Acc. No. : 011940 Class No. : 004

169. Vol. 3136 Natural Language Processing and Informat ion Systems: 9th International Conference on Applications of Natural Languages to Information Systems, NLDB 2004, Salford, UK, June 23-25, 2004, Proceedings Meziane, Farid; Métais, Elizabeth (Eds.) 2004, XII, 436 p. ISBN: 3-540-22564-1 Acc. No. : 011305 Class No. : 004

170. Vol. 3141 Biologically Inspired Approaches to Adva nced Information Technology: First International Workshop, BioADIT 2004, Lausanne, Switzerland, January 29-30, 2004. Revised Selected Papers jspeert, Auke Jan; Murata, Masayuki; Wakamiya, Naoki (Eds.) 2004, XIV, 514 p. ISBN: 3-540-23339-3 Acc. No. : 012497 Class No. : 004

171. Vol. 3150 Medical Imaging and Augmented Reality: Second International Workshop, MIAR 2004, Beijing, China, August 19-20, 2004, Proceedings Yang, Guang-Zhong; Jiang, Tianzi (Eds.) 2004, XII, 378 p. ISBN: 3-540-22877-2 Acc. No. : 011303 Class No. : 004

172. Vol. 3152 Advances in Cryptology : CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004, Proceedings Franklin, Matt (Ed.) 2004, XI, 579 p. ISBN: 3-540-22668-0 Acc. No. : 011337 Class No. : 004

173. Vol. 3160 Mobile Human-Computer Interaction — Mobi le HCI 2004: 6th International Symposium, Glasgow, UK, September 13-16, 2004, Proceedings Brewster, Stephen; Dunlop, Mark (Eds.) 2004, XVII, 541p. ISBN: 3-540-23086-6 Acc. No. : 011304 Class No. : 004

174. Vol. 3163 Document Analysis Systems VI: 6th International Workshop, DAS 2004, Florence, Italy, September 8-10, 2004, Proceedings Marinai, Simone; Dengel, Andreas (Eds.) 2004, XI, 564 p. ISBN: 3-540-23060-2 Acc. No. : 011343 Class No. : 004

175. Vol. 3165 Grid Computing: Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers Dikaiakos, Marios D. (Ed.) 2004, XIII, 272 p. ISBN: 3540228888 Acc. No. : 012499 Class No. : 004

176. Vol. 3166 Entertainment Computing — ICEC 2004: Third International Conference, Eindhoven, The Netherlands, September 1-3, 2004, Proceedings Rauterberg, Matthias (Ed.) 2004, XXIII, 617 p. Also available online., ISBN: 3-540-22947-7 Acc. No. : 011949 Class No. : 004

177. Vol. 3175 Pattern Recognition: 26th DAGM Symposium, August 30 — September 1, 2004, Proceedings Rasmussen, C.E.; Bülthoff, H.H.; Schölkopf, B.; Giese, M.A. (Hrsg.) 2004, XVIII, 581p. Also available online., ISBN: 3-540-22945-0 Acc. No. : 011942 Class No. : 004

178. Vol. 3178 Secure Data Management: VLDB 2004 Workshop, SDM 2004, Toronto, Canada, August 30, 2004, Proceedings Jonker, Willem; Petkovic, Milan (Eds.) 2004, VIII, 219 p. Also available online., ISBN: 3-540-22983-3 Acc. No. : 011959 Class No. : 004

179. Vol. 3182 E-Commerce and Web Technologies: 5th International Conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, Proceedings Bauknecht, Kurt; Bichler, Martin; Pröll, Birgit (Eds.) 2004, XI, 370 p. Also available online., ISBN: 3-540-22917-5 Acc. No. : 011947 Class No. : 004

180. Vol. 3183 Electronic Government: Third International Conference, EGOV 2004, Zaragoza, Spain, August 30-September 3, 2004, Proceedings Traunmüller, Roland (Ed.) 2004, XIX, 583 p. Also available online, ISBN: 3-540-22916-7 Acc. No. : 011948 Class No. : 004

181. Vol. 3184 Trust and Privacy in Digital Business: First International Conference, TrustBus 2004, Zaragoza, Spain, August 30-September 1, 2004, Proceedings Katsikas, Sokratis; Lopez, Javier; Pernul, Günther (Eds.) 2004, XI, 299 p. Also available online., ISBN: 3-540-22919-1 Acc. No. : 011966 Class No. : 004

182. Vol. 3188 Formal Methods for Components and Object s: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures Boer, F.S.d.; Bonsangue, M.M.; Graf, S.; de Roever, W.-P. (Eds.) 2004, VIII, 373 p. ISBN: 3-540-22942-6 Acc. No. : 011502

Class No. : 004 183. Vol. 3205 UbiComp 2004: Ubiquitous Computing:

6th International Conference, Nottingham, UK, September 7-10, 2004, Proceedings Davies, Nigel; Mynatt, Elizabeth; Siio, Itiro (Eds.) 2004, XVI, 452 p. ISBN: 3-540-22955-8 Acc. No. : 011312 Class No. : 004

184. Vol. 3208 Principles and Practice of Semantic Web R easoning : second international workshop, PPSWR 2004, proceedings Ohlbach, Hans Jurgen, ed. And Schaffert, Sebastian, ed. 2004, vi, 163 p. ISBN: 3-540-22961-2 Acc. No.: 011308 Class No.: 004

185. Vol. 3216 Medical Image Computing and Computer-Ass isted Intervention — MICCAI 2004: 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I Volume package: Barillot, Christian; Haynor, David R.; Hellier, Pierre (Eds.) 2004, XXXVIII, 930 p. ISBN: 3-540-22976-0 Acc. No. : 011506 Class No. : 004

186. Vol. 3217 Medical Image Computing and Computer-Ass isted Intervention – MICCAI 2004: Seventh international I Sainto-Malo, France, �eptember 2004 proceedings, part II Barillot, Christian, ed. 2004, xxxviii, 1114 p. ISBN: 3540229779 Acc. No. : 011507 Class No. : 004

187. Vol. 3218 Modular Algorithms in Symbolic Summation and Symbolic Integration Gerhard, Jürgen 2005, XVI, 224 p. Also available online., ISBN: 3-540-24061-6 Acc. No. : 011923 Class No. :004

188. Vol. 3220 Intelligent Tutoring Systems: 7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 — September 3, 2004, Proceedings Lester, James C.; Vicari, Rosa Maria; Paraguacu, Fábio (Eds.) 2004, XXI, 920 p. Also available online., ISBN: 3-540-22948-5 Acc. No. : 011953 Class No. : 004

189. Vol. 3221 Algorithms — ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, Proceedings Albers, Susanne; Radzik, Tomasz (Eds.) 2004, XVIII, 836 p. ISBN: 3-540-23025-4 Acc. No. : 011323 Class No. : 004

190. Vol. 3222 Network and Parallel Computing: IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings Jin, H.; Gao, G.; Xu, Z.; Chen, H. (Eds.) 2004, XX, 694 p.

ISBN: 3-540-23388-1 Acc. No. : 011315 Class No. : 004

191. Vol. 3226 Semantics of a Networked World : Semanti cs for Grid Databases: First International IFIP Conference on Semantics of a Networked World: ICSNW 2004, Paris, France, June 17-19, 2004. Revised Selected Papers Bouzeghoub, M.; Goble, C.; Kashyap, V.; Spaccapietra, S. (Eds.) 2004, XIII, 326 p. ISBN: 3-540-23609-0 Acc. No. : 012502 Class No. : 004

192. Vol. 3231 Middleware 2004: ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings Jacobsen, Hans-Arno (Ed.) 2004, XV, 514 p. ISBN: 3-540-23428-4 Acc. No. : 011317 Class No. : 004

193. Vol. 3239 Artificial Immune Systems: Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, Proceedings Nicosia, G.; Cutello, V.; Bentley, P.J.; Timmis, J.I. (Eds.) 2004, XII, 444 p. ISBN: 3540230971 Acc. No. : 011338 Class No. : 004

194. Vol. 3243 Algorithms and Models for the Web-Graph : Third International W orkshop, WAW 2004 Rome, Italy, October 2004, Proceedings Leonardi, Stefano, ed. 2004, VIII, 189 p. ISBN: 3540234276 Acc. No. : 011322 Class No. : 004

195. Vol. 3250 Web Services: European Conference, ECOWS 2004, Erfurt, Germany, September 27-30, 2004, Proceedings Zhang, Liang-Jie (Hrsg.) 2004, X, 301 p. ISBN: 3-540-23202-8 Acc. No. : 011518 Class No. : 004

196. Vol. 3252 Grid and Cooperative Computing — GCC 200 4 Workshops : GCC 2004 workshops : GCC 2004 international workshops, IGKG, SGT Giss, AAC-GEVO, and WS, Wuhan, China, October 21-24, 2004; Proceedings Jin, Hai, ed. Xvii, 782 p. ISBN: 3-540-23578-7 Acc. No. : 012498 Class No. : 004

197. Vol. 3254 Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings Macii, Enrico; Paliouras, Vassilis; Koufopavlou, Odysseas (Eds.) 2004, XVI, 910 p. ISBN: 3-540-23095-5 Acc. No. : 011301 Class No. : 004

198. Vol. 3260 Personal Wireless Communications: IFIP-TC6 9th International Conference, PWC 2004, Delft, The Netherlands,

September 2004, Delft, The Netherlands, September 21-23, 2004, Proceedings Niemeegers, Ignas; Heemstra de Groot, Sonia (Eds.) 2004, XIV, 478 p. ISBN: 3-540-23162-5 Acc. No. : 011307 Class No. : 004

199. Vol. 3263 Object-Oriented and Internet-Based Techn ologies: 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, NODe 2004. Proceedings Weske, Mathias; Liggesmeyer, Peter (Eds.) 2004, XII, 239 p. ISBN: 3-540-23201-X Acc. No. : 011508 Class No. : 004

200. Vol. 3268 Current Trends in Database Technology — EDBT 2004 Workshops: EDBT 2004 Workshops PhD, DataX, PIM, P2P&DB, and ClustWeb, Heraklion, Crete, Greece, March 14-18, 2004, Revised Selected Papers Lindner, W.; Mesiti, M.; Türker, C.; Tzitzikas, Y.; Vakali, A. (Eds.) 2005, XVIII, 608 p. Also available online., ISBN: 3-540-23305-9 Acc. No. : 011917 Class No. : 004

201. Vol. 3272 Ubiquitous Mobile Information and Collab oration System: Second CaiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers Baresi, L.; Dustdar, S.; Gall, H.; Matera, M. (Eds.) 2005, VIII, 197 p. Also available online., ISBN: 3-540-24100-0 Acc. No. : 011910 Class No. : 004

202. Vol. 3273 UML 2004 — the Unified Modeling Language : Modeling Languages and Applications : 7th international conference, Lisbon, Portugal, October 11-15, 2004, proceedings Baar, Thomas, ed., Strohmeier, Alfred, ed., Moreira, Ana, ed., Mellor, Stephen J., ed. 2004, xiii, 454 p. ISBN: 3-540-23307-5 Acc. No.: 011313 Class No.: 004

203. Vol. 3277 Job Scheduling Strategies for Parallel P rocessing : tenth international workshop, JSSPP 2004, New York, NY, USA, June 13, 2004: Feitelson, Dror; Rudolph, Larry; Schwiegelshohn, Uwe (Eds.) 2005, VIII, 317 p. ISBN: 3-540-25330-0 Acc. No. : 012853 Class No. : 004

204. Vol. 3278 Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings Sahai, Akhil; Felix, Wu (Eds.) 2004, XI, 270 p. ISBN: 3-540-23631-7 Acc. No. : 011516 Class No. : 004

205. Vol. 3281 Software Process Improvement: 11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings

Dingsøyr, T. (Ed.) 2004, X, 207 p. ISBN: 3-540-23725-9 Acc. No. : 011515 Class No. : 004

206. Vol. 3284 Mobility Aware Technologies and Applicat ions: First International Workshop, MATA 2004, Florianopolis, Brazil, October 20-22, 2004. Proceedings Karmouch, Ahmed; Korba, Larry; Madeira, Edmundo (Eds.) 2004, XII, 382 p. ISBN: 3-540-23423-3 Acc. No. : 011316 Class No. : 004

207. Vol. 3285 Applied Computing: Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004 ; proceedings Manandhar, S.; Austin, J.; Desai, U.; Oyanagi, Y.; Talukder, A. (Eds.) 2004, XII, 334 p. ISBN: 3-540-23659-7 Acc. No. : 013405 Class No. : 004

208. Vol. 3289 Conceptual Modeling for Advanced Applica tion Domains: ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and Ecomo, Shanghai, China, November 8-12, 2004. Proceedings Wang, S.; Tanaka, K.; Zhou, S.; Ling, T.W.; Guan, J.; Yang, D.; Grandi, F, Mangina, E.; Song, I.-Y.; Mayr, H.C. (Eds.) 2004, XXII, 692 p. ISBN: 3-540-23722-4 Acc. No. : 011498 Class No. : 004

209. Vol. 3296 High Performance Computing — HiPC 2004: 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings Bougé, Luc; Prasanna, Viktor K. (Eds.) 2005, XXV, 530 p. Also available online., ISBN: 3-540-24129-9 Acc. No. : 011921 Class No. : 004

210. Vol. 3298 The Semantic Web — ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings McIlraith, Sheila A.; Plexousakis, Dimitris; Harmelen, Frank van (Eds.) 2004, XXI, 841 p. ISBN: 3-540-23798-4 Acc. No. : 011514 Class No. : 004

211. Vol. 3299 Automated Technology for Verification an d Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 — November 3, 2004. Proceedings Wang, Farn (Ed.) 2004, XII, 506 p. ISBN: 3-540-23610-4 Acc. No. : 013383 Class No. : 004

212. Vol. 3313 Security in Ad-hoc and Sensor Networks: First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers Castelluccia, C.; Hartenstein, H.; Paar, C.; Westhoff, D. (Eds.) 2005, VIII, 231 p. ISBN: 3-540-24396-8 Acc. No. : 012210 Class No. : 004

213. Vol. 3320 Parallel and Distributed Computing: Appl ications and Technologies:

5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004, Proceedings Liew, K.-M.; Shen, H.; See, S.; Cai, W.; Fan, P.; Horiguchi, S. (Eds.) 2005, XXIV, 891 p. Also available online., ISBN: 3-540-24013-6 Acc. No. : 011924 Class No. : 004

214. Vol. 3321 Advances in Computer Science — ASIAN 200 4 Higher Level Decision Making: 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004 Maher, Michael J. (Ed.) 2005, XII, 510 p. Also available online., ISBN: 3-540-24087-X Acc. No. : 011911 Class No. : 004

215. Vol. 3323 Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings Antoniou, Grigoris; Boley, Harold (Eds.) 2004, X, 215 p. ISBN: 3-540-23842-5 Acc. No. : 011512 Class No. : 004

216. Vol. 3325 Information Security Applications: 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers Lim, Chae Hoon; Yung, Moti (Eds.) 2005, XII, 472 p. ISBN: 3-540-24015-2 Acc. No. : 012389 Class No. : 004

217. Vol. 3326 Distributed Computing — IWDC 2004: 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings Das, N.; Sen, A.; Das, S.K.; Sinha, B.P. (Eds.) 2005, XIX, 546 p. Also available online, ISBN: 3-540-24076-4 Acc. No. : 011919 Class No. : 004

218. Vol. 3328 FSTTCS 2004 : Foundations of Software Te chnology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings Lodaya, Kamal; Mahajan, Meena (Eds.) 2005, XVI, 532 p. ISBN: 3540240586 Acc. No. : 011628 Class No. : 004

219. Vol. 3335 Service availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers Malek, Miroslaw; Reitenspieß, Manfred; Kaiser, Jörg (Eds.) 2005, X, 213 p. ISBN: 3-540-24420-4 Acc. No. : 012218 Class No. : 004

220. Vol. 3341 Algorithms and Computation: 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings Fleischer, Rudolf; Trippen, Gerhard (Eds.) 2005, XVII, 935 p. Also available online,

ISBN: 3-540-24131-0 Acc. No. : 011914 Class No. : 004

221. Vol. 3347 Distributed Computing and Internet Techn ology: First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings Ghosh, R.K.; Mohanty, Hrushikesha (Eds.) 2005, XX, 472 p. Also available online., ISBN: 3-540-24075-6 Acc. No. : 011920 Class No. : 004

222. Vol. 3356 Intelligent Information Technology: 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings Das, Gautam; Gulati, V.P. (Eds.) 2005, XII, 428 p. Also available online., ISBN: 3-540-24126-4 Acc. No. : 011922 Class No. : 004

223. Vol. 3360 Journal on Data Semantic II: Spaccapietra, S.; Bertino, E.; Jajodia, S.; King, R.B.; McLeod, D.; Orlowska, M.E.; Strous, L. (Eds.) 2005, XI, 223 p. ISBN: 3-540-24208-2 Acc. No. : 012224 Class No. : 004

224. Vol. 3361 Machine Learning for Multimodal Interact ion: First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers Bengio, Samy; Bourlard, Hervé (Eds.) 2005, XII, 362 p. ISBN: 3-540-24509-X Acc. No. : 012221 Class No. : 004

225. Vol. 3362 Construction and Analysis of Safe, Secur e, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Barthe, G.; Burdy, L.; Huisman, M.; Lanet, J.-L.; Muntean, T. (Eds.) 2005, IX, 258 p. ISBN: 3-540-24287-2 Acc. No. : 012211 Class No. : 004

226. Vol. 3363 Database Theory — ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings Eiter, Thomas; Libkin, Leonid (Eds.) 2005, XI, 413 p. Also available online., ISBN: 3-540-24288-0 Acc. No. : 011918 Class No. : 004

227. Vol. 3379 From Integrated Publication and Informat ion Systems to Information and Knowledge Environments: Essays dedicated to Erich J. Neuhold on the occasion of his 65th birthday. Hemmji, Matthias; Niederee, Claudia; Risse, Thomas (Eds.) 2005, XXIV, 319 p. ISBN: 3-540-24551-0 Acc. No. : 012223 Class No. : 004

228. Vol. 3382 Agent-Oriented Software Engineering v: 5th international workshop, AOSE 2004, New York, NY, USA, July 19, 2004; revised selected papers

Odell, James; Giorgini, Paolo; Muller, Jorg P. (Eds.) 2005, X, 237 p. ISBN: 3-540-24286-4 Acc. No. : 012209 Class No. : 004

229. Vol. 3387 Semantic Web Services and Web Process Com position : first international workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004 ; revised selected papers Cardoso, Jorge, ed., Sheth, Amit, ed 2005, viii, 146 p. ISBN: 3-540-24328-3 Acc. No.: 012215 Class No.: 004

230. Vol. 3393 Formal Methods in Software and Systems M odeling: Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday Kreowski, Hans-Jorg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz, Eds.) 2005, XXVII, 411 p. ISBN: 3-540-24936-2 Acc. No. : 012388 Class No. : 004

231. Vol. 3406 Computational Linguistics and Intelligen t Text Processing: 6th international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005; Proceedings Gelbukh, Alexander (Ed.) 2005, XVII, 829 p. ISBN: 3-540-24523-5 Acc. No. : 012225 Class No. : 004

232. Vol. 3418 Network Analysis: Methodological foundations Brandes, Ulrik; Erlebach, Thomas (Eds.) 2005, XII, 471 p. ISBN: 3-540-24979-6 Acc. No. : 012391 Class No. : 004

233. Vol. 3424 Privacy Enhancing Technologies: 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers Martin, David; Serjantov, Andrei (Eds.) 2005, VIII, 345 p. ISBN: 3-540-26203-2 Acc. No. : 013384 Class No. : 004

234. Vol. 3428 Web and Wireless Geographical Informatio n Systems: 4th International Workshop, W2GIS 2004, Goyang, Korea, November 26-27, 2004, Revised Selected Papers Claramunt, Christophe; Kwon, Yong-Jin; Bouju, Alain (Eds.) 2005, XII, 255 p. ISBN: 3-540-26004-8 Acc. No. : 013243 Class No. : 004

235. Vol. 3431 Passive and Active Network Measurement: 6th international workshop, PAM 2005, Boston, Ma, USA, March 31 — April 1, 2005, Proceedings Dovrolis, Constantinos (Ed.) 2005, XII, 371 p. ISBN: 3-540-25520-6 Acc. No. : 012545 Class No. : 004

236. Vol. 3434 Graph-Based Representations in Pattern R ecognition: 5th IPAR International workshop, gbrpr 2005, poitiers, France, April 11-13, 2005, Proceedings

Brun, Luc; Vento, Mario, (Eds.) 2005, XII, 384 p. ISBN: 3-540-25270-3 Acc. No. : 012549 Class No. : 004

237. Vol. 3437 Software Engineering and Middleware : 4th international workshop, SEM 2004, Linz, Austria, September 20-21, 2004, revised selected papers Gschwind, Thomas; Mascolo, Cecilia (Eds.) 2005, X, 244 p. ISBN: 3-540-25328-9 Acc. No. : 012854 Class No. : 004

238. Vol. 3447 Genetic Programming: 8th European conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings. Keizer, Maarten; Tettamanzi, Andrea; Collet, Pierre; Hemert, Jano Van (Eds.) 2005, XIII, 382 p. ISBN: 3-540-25436-6 Acc. No. : 012550 Class No. : 004

239. Vol. 3448 Evolutionary Computation in Combinatoria l Optimization: 5th European conference, EVOCOP 2005, Lausanne, Switzerland, March 30 — April 1, 2005, Proceedings Raidl, Gunther R.; Gottlieb, Jens (Eds.) 2005, XI, 269 p. ISBN: 3-540-25337-8 Acc. No. : 012552 Class No. : 004

240. Vol. 3449 Applications of Evolutionary Computing: EvoWorkshops 2005 : EvoCOMNET, EvoHOT EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 — April 1, 2005, Proceedings Rothlauf, Franz, (Ed.) 2005, XX, 630 p. ISBN: 3-540-25396-3 Acc. No. : 012554 Class No. : 004

241. Vol. 3453 Database Systems for Advanced Applicatio ns: 10th international conference, DASFAA 2005, Beijing, China, April 17-20, 2005, Proceedings Zhou, Lizhu; Ooi, Beng Chin; Meng, Xiaofeng (Eds.) 2005, XXVII, 929 p. ISBN: 3-540-25334-3 Acc. No. : 012779 Class No. : 004

242. Vol. 3456 Operational Semantics for Timed Systems: A non-standard approach to uniform modeling of timed and hybrid systems Rust, Heinrich (Ed.) 2005, XII, 223 p. ISBN: 3-540-25576-1 Acc. No. : 012780 Class No. : 004

243. Vol. 3458 Scientific Applications of Grid Computin g: First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers Herrero, Pilar; Pérez, Maria S.; Robles, Victor (Eds.) 2005, X, 208 p. ISBN: 3-540-25810-8 Acc. No. : 013244 Class No. : 004

244. Vol. 3463 Dependable Computing EDCC 2005:

5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 , Proceedings Dal Cin, Mario; Kaaniche, Mohamed; Pataricza, Andras (Eds.) 2005, XVI, 472 p. ISBN: 3-540-25723-3 Acc. No. : 012851 Class No. : 004

245. Vol. 3465 Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, advanced lectures. Bernardo, Marco; Bogliolo, Alessandro (Eds.) 2005, VI, 270 p. ISBN: 3-540-25697-0 Acc. No. : 012852 Class No. : 004

246. VOL. 3472 Model-based testing of reactive systems Broy, Manfred, ed., Jonsson, Bengt, ed., Katoen, Joost-Pieter, ed. & Leucker, Martin, ed. ... [et al.]: 2005, viii, 659 p. ISBN: 3540262784 Acc. No.: 013568 Class No.: 004

247. Vol. 3475 Rapid Integration of Software Engineerin g Techniques: First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers Guelfi, Nicolas (Ed.) 2005, X, 145 p. ISBN: 3-540-25812-4 Acc. No. : 013242 Class No. : 004

248. Vol. 3477 Trust Management: Third International conference, iTrust 2005 Paris, France, May 23-26, 2005 , Proceedings Herrmann, Peter; Issarny, Valerie; Shiu, Simon (Eds.) 2005, XII, 423 p. ISBN: 3-540-26042-0 Acc. No. : 012963 Class No. : 004

249. Vol. 3479 Location-and Context-Awareness: First international workshop, LOCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings Strang, Thomas; Linnhoff-Popien, Claudia(Eds.) 2005, VIII, 378 p. ISBN: 3-540-25896-5 Acc. No. : 012961 Class No. : 004

250. Vol. 3491 Multilingual Information Access for Text , Speech and Images: 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers Peters, C.; Clough, P.; Gonzalo, J.; Jones, G.J.F.; Kluck, M.; Magnini, B. (Ed.) 2005, XVI, 845 p. ISBN: 3-540-27420-0 Acc. No. : 014289 Class No. : 004

251. Vol. 3507 Information Context : Nature, Impact, an d Role: 5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, UK, June 4-8, 2005 Proceedings Crestani, Fabio; Ruthven, Ian (Eds.) 2005, XIII, 253 p. ISBN: 3-540-26178-8 Acc. No. : 013392

Class No. : 004 252. Vol. 3522 Pattern Recognition and Image Analysis :

Second Iberian Conference, IBPRIA 2005, Estoril, Portugal, June 7-9, 2005, proceedings, part I Marques, Jorge S., ed., Blanca, Nicolas Perez de la, ed., Pina, Pedro, ed. 2005, xxv, 703 p. ISBN: 354-0261-532 Acc. No.: 013389 Class No.: 004

253. Vol. 3531 Applied Cryptography and Network Securit y: Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings Ioannidis, John; Keromytis, Angelos; Yung, Moti (Eds.) 2005, XI, 530 p. ISBN: 978-3-540-26223-7 Acc. No. : 013387 Class No. : 004

254. Vol. 3532 Semantic Web: Research and Applications: Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29—June 1, 2005, Proceedings Gómez-Pérez, Asuncion; Euzenat, Jerome (Eds.) 2005, XV, 728 p. ISBN: 978-3-540-26124-7 Acc. No. : 013391 Class No. : 004

255. Vol. 3544 Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers Higashino, Teruo (Ed.) 2005, XII, 460 p. ISBN: 3-540-27324-7 Acc. No. : 013564 Class No. : 004

256. Vol. 3564 Reasoning Web : first international summer school 2005, MSIDA, Malta, July 25-29, 2005, tutorial lectures Eisinger, Norbert, ed., Maluszynski, Jan, ed. 2005, vii, 317 p. ISBN: 3-540-27828-1 Acc. No.: 013563 Class No.: 004

257. Vol. 3579 Web Engineering: 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005, Proceedings Lowe, David; Gaedke, Martin (Eds.) 2005, XXII, 633 p. ISBN: 3-540-27996-2 Acc. No. : 013551 Class No. : 004

258. Vol. 3598 Ubiquitous Computing Systems: Second International Symposium, UCS Tokyo, Japan, November 8-9, 2004 Revised Selected Papers Murakami, H.; Nakashima, H.; Tokuda, H.; Yasumura, M. (Eds.) 2005, XIII, 275 p. ISBN: 3-540-27893-1 Acc. No. : 013554 Class No. : 004

259. Vol. 3603 Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings Hurd, Joe; Melham, Tom (Eds.) 2005, IX, 409 p. ISBN: 3-540-28372-2

Acc. No. : 013558 Class No. : 004

260. Vol. 3619 Networking and Mobile Computing: 3rd International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005, Proceedings Lu, Xicheng; Zhao, Wei (Eds.) 2005, XXIV, 1299 p. ISBN: 3-540-28102-9 Acc. No. : 014290 Class No. : 004

261. Vol. 3639 Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings Godefroid, Patrick (Ed.) 2005, XI, 289 p. ISBN: 3-540-28195-9 Acc. No. : 014288 Class No. : 004

262. Vol. 3670 Formal Techniques for Computer Systems a nd Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings Bravetti, Mario; Kloul, Leila; Zavattaro, Gianluigi (Eds.) 2005, XIII, 349 p. ISBN: 3-540-28701-9 Acc. No. : 013996 Class No. : 004

263. Vol. 3908 Innovative Internet Community Systems: 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers Bui, A.; Bui, M.; Böhme, T.; Unger, H. (Eds.) 2006, VIII, 207 p. ISBN: 9783540339731 Acc. No. : 014614 Class No. : 004

264. Vol. 4336 Empirical software engineering issues : critical assessment and future directions : international workshop, Dagstuh l Castle, Germany, June 26-30, 2006 : revised papers / Basili, Victor R. ... [et al.] (ed.). 2007, xvii, 192 p. ISBN: 9783540713005 Acc. No.: 018691 Class No.: 004

265. VOL. 4891 Advances in web semantics I : ontologies, web services and applied semantic web Dillon, Tharam S.... [et al.] (eds.) 2008, viii, 395 p. ISBN: 9783540897835 Acc. No.: 024943 Class No.: 004

266. VOL. 6503 Information systems security : 6th intern ational conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010 Mathuria, Anish, ed. & Jha, Somesh, ed. 2010, xiv, 260 p. ISBN: 9783642177132 Acc. No.: 025466-67 Class No.: 004