| |
4545 books found.
Showing books 161 through 180:
|
| 161. |
|
Advanced Internet Services and Applications: First International Workshop, Aisa 2002, Seoul, Korea, August 1-2, 2002 Proceedings
by Whie Chang (Editor), G. Goos (Editor), J. Hartmanis (Editor), J. Van Leeuwen (Editor), J. Van Leeuwen (Editor)
Paperback, Springer Verlag (August 2002)
|
|
| 162. |
|
Computer Aided Verification: Proceedings of the 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002
by E. Brinksma (Editor), K.G. Larsen (Editor), Kim G. Larsen (Editor)
Paperback, Springer Verlag (October 2002)
|
|
| 163. |
|
Machine Learning: Ecml 2002 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002 Proceedings
by Finland) European Conference on Machine Learning 2002 Helsinki, Heikki Mannila, Hannu Toivonen, Hannu Toivonen (Editor), Heikki Mannila (Editor)
Paperback, Springer Verlag (November 2002)
|
|
| 164. |
|
Advances in Cryptology - Crypto 2002: Proceedings of the 22nd Annual International Cryptology Conference Santa Barbara, Ca, August 18-22, 2002
by M. Yung (Editor)
Paperback, Springer Verlag (October 2002)
|
|
| 165. |
|
Research and Advanced Technology for Digital Libraries: 6th European Conference, Ecdl 2002, Rome, Italy, September 2002 Proceedings
by M. Agosti (Editor), C. Thanos, Costantino Thanos (Editor), C. Thanos (Editor)
Paperback, Springer Verlag (September 2002)
|
|
| 166. |
|
Peer-To-Peer Systems: First International Workshop, Iptps 2002, Cambridge, Ma, Usa, March 2002 Revised Papers
by Peter Druschel (Editor), Antony Rowstron, Frans Kaashoek
Paperback, Springer Verlag (October 2002)
|
|
| 167. |
|
Geographic Information Science: Second International Conference, Giscience 2002, Boulder, Co, Usa, September 25-28, 2002, Proceedings
by International Symposium on Geographic Information Science 2002 Boulde, David M. Mark
Paperback, Springer-Verlag New York Inc (November 2002)
|
|
| 168. |
|
Information Networking. Wireless Communications Technologies and Network Applications: Revised Papers of the International Conference, Icoin 2002, Cheju Island, Korea, January 30 - February 1, 2002, Part II
by I. Chong (Editor), Ilyoung Chong (Editor), INTERNATIONAL CONFERENCE ON INFORMATION, Korea) International Conference on Information Networking (2002 : Cheju Island
Paperback, Springer Verlag (November 2002)
|
|
| 169. |
|
Security Protocols: 9th International Workshop, Cambridge, Uk, April 25-27, 2001 Proceedings
by Bruce Christianson (Editor), Michael Roe, Michael Roe (Editor), James A. Malcolm, James A. Malcolm (Editor), J. A. Malcolm (Editor), International Workshop on, England) International Workshop on Security Protocols 2001 Cambridge, B. Crispo (Editor), M. Roe (Editor), Bruno Crispo, Bruno Crispo (Editor)
Paperback, Springer Verlag (October 2002)
|
|
| 170. |
|
Unconventional Models in Computation: Third International Conference, Umc 2002, Kobe, Japan, October 15-19, 2002 Proceedings
by Ferdinand Peper (Editor), M. J. Dinneen, M. J. Dinneen (Editor), Ferdinand Peper
Paperback, Springer Verlag (October 2002)
|
|
| 171. |
|
Igis '94: Geographic Information Systems International Workshop on Advanced Research in Geographic Information Systems Monte Verita, Ascona, Switzerland febru
by Jurg Nievergelt (Editor), Hans-Jorg Schek (Editor), Peter Widmayer (Editor), Thomas Roos (Editor)
Paperback, Springer Verlag (November 1994)
|
|
| 172. |
|
Latin '95: Theoretical Informatics Second Latin American Symposium, Valpariso, Chile, April 17-21, 1995 Proceedings
by Richard Baeza-Yates (Editor), Eric Goles (Editor), Patricio V. Poblete (Editor)
Paperback, Springer Verlag (March 1995)
|
|
| 173. |
|
Progress in Evolutionary Computation: Ai'93 and Ai'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993 Armidale, Nsw, Australia, November 21-22, 199
by Xin Yao (Editor)
Paperback, Springer Verlag (August 1995)
|
|
| 174. |
|
Logic and Computational Complexity: International Workshop Lcc '94, Indianapolis, In, Usa, October 13-16, 1994 Selected Papers
by Daniel Leivant (Editor)
Paperback, Springer Verlag (December 1995)
|
|
| 175. |
|
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 Proceedings
by E. Thomas Schubert (Editor), Phillip J. Windley, Phillip J. Windley (Editor), Thomas E. Schubert, James Alves-Foss (Editor)
Paperback, Springer Verlag (September 1995)
|
|
| 176. |
|
Software Configuration Management: Icse Scm-4 and Scm-5 Workshops Selected Papers
by Jacky Estublier (Editor), Springer, Springer-Verlag
Paperback, Springer Verlag (December 1995)
|
|
| 177. |
|
Integrity Primitives for Secure Information Systems: Final Report of Race Integrity Primitives Evaluation Ripe-Race 1040
by Antoon Bosselaers (Editor), Bart Preneel (Editor)
Paperback, Springer Verlag (December 1995)
|
|
| 178. |
|
Active Visual Inference of Surface Shape
by Roberto Cipolla, Roberto Cipolla (Editor)
Paperback, Springer Verlag (December 1995)
|
|
| 179. |
|
Coordination Languages and Models: First International Conference, Coordination '96, Cesena, Italy, April 15-17, 1996 Proceedings
by Paolo Ciancarini (Editor), Chris Hankin (Editor)
Paperback, Springer Verlag (April 1996)
|
|
| 180. |
|
Advances in Database Technology-Edbt '96: 5th International Conference on Extending Database Technology Avignion, France, March 25-29, 1996 Proceedings
by P. Apers (Editor), M. Bouzeghoub (Editor), G. Gardarin (Editor)
Paperback, Springer Verlag (May 1996)
|
|
|
Lecture Notes in Computer Science