Martin Dietzfelbinger: Primality Testing in Polynomial Time, From Randomized Algorithms to "PRIMES Is in P". Springer 2004 ISBN 3-540-40344-2
3001
Alois Ferscha, Friedemann Mattern (Eds.): Pervasive Computing, Second International Conference, PERVASIVE 2004, Vienna, Austria, April 21-23, 2004, Proceedings. Springer 2004 ISBN 3-540-21835-1 [ contents ]
3002
David L. Hicks (Ed.): Metainformatics, International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003, Revised Papers. Springer 2004 ISBN 3-540-22010-0 [ contents ]
Mitsuru Matsui, Robert J. Zuccherato (Eds.): Selected Areas in Cryptography, 10th Annual International Workshop, SAC 2003, Ottawa, Canada, August 14-15, 2003, Revised Papers. Springer 2004 ISBN 3-540-21370-8 [ contents ]
3007
Jeffrey Xu Yu, Xuemin Lin, Hongjun Lu, Yanchun Zhang (Eds.): Advanced Web Technologies and Applications, 6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings. Springer 2004 ISBN 3-540-21371-6 [ contents ]
3008
Stephan Heuel: Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction. Springer 2004 ISBN 3-540-22029-1
3009
Frank Bomarius, Hajimu Iida (Eds.): Product Focused Software Process Improvement, 5th International Conference, PROFES 2004, Kausai Science City, Japan, April 5-8, 2004, Proceedings. Springer 2004 ISBN 3-540-21421-6 [ contents ]
3010
Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza (Eds.): Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers. Springer 2004 ISBN 3-540-21834-3 [ contents ]
3011
Jean-Charles Régin, Michel Rueher (Eds.): Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings. Springer 2004 ISBN 3-540-21836-X [ contents ]
3012
Koichi Kurumatani, Shu-Heng Chen, Azuma Ohuchi (Eds.): Multi-Agent for Mass User Support, International Workshop, MAMUS 2003 Acapulco, Mexico, August 10, 2003 Revised and Invited Papers. Springer 2004 ISBN 3-540-21940-4 [ contents ]
3013
Frank Buschmann, Alejandro P. Buchmann, Mariano Cilia (Eds.): Object-Oriented Technology: ECOOP 2003 Workshop Reader, ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports. Springer 2004 ISBN 3-540-22405-X [ contents ]
3014
Frank van der Linden (Ed.): Software Product-Family Engineering, 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers. Springer 2004 ISBN 3-540-21941-2 [ contents ]
3015
Chadi Barakat, Ian Pratt (Eds.): Passive and Active Network Measurement, 5th International Workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004, Proceedings. Springer 2004 ISBN 3-540-21492-5 [ contents ]
Bimal K. Roy, Willi Meier (Eds.): Fast Software Encryption, 11th International Workshop, FSE 2004, Delhi, India, February 5-7, 2004, Revised Papers. Springer 2004 ISBN 3-540-22171-9 [ contents ]
3018
Maurice Bruynooghe (Ed.): Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Springer 2004 ISBN 3-540-22174-3 [ contents ]
Tomás Pajdla, Jiri Matas (Eds.): Computer Vision - ECCV 2004, 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part I. Springer 2004 ISBN 3-540-21984-6 [ contents ]
3022
Tomás Pajdla, Jiri Matas (Eds.): Computer Vision - ECCV 2004, 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part II. Springer 2004 ISBN 3-540-21983-8 [ contents ]
3023
Tomás Pajdla, Jiri Matas (Eds.): Computer Vision - ECCV 2004, 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part III. Springer 2004 ISBN 3-540-21982-X [ contents ]
3024
Tomás Pajdla, Jiri Matas (Eds.): Computer Vision - ECCV 2004, 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part IV. Springer 2004 ISBN 3-540-21981-1 [ contents ]
3025
George A. Vouros, Themis Panayiotopoulos (Eds.): Methods and Applications of Artificial Intelligence, Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings. Springer 2004 ISBN 3-540-21937-4 [ contents ]
3026
C. V. Ramamoorthy, Roger Y. Lee, Kyung-Whan Lee (Eds.): Software Engineering Research and Applications, First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers. Springer 2004 ISBN 3-540-21975-7 [ contents ]
3027
Christian Cachin, Jan Camenisch (Eds.): Advances in Cryptology - EUROCRYPT 2004, International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004, Proceedings. Springer 2004 ISBN 3-540-21935-8 [ contents ]
3028
Daniel Neuenschwander: Probabilistic and Statistical Methods in Cryptology, An Introduction by Selected Topics. Springer 2004 ISBN 3-540-22001-1
3029
Robert Orchard, Chunsheng Yang, Moonis Ali (Eds.): Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings. Springer 2004 ISBN 3-540-22007-0 [ contents ]
3030
Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff (Eds.): Agent-Oriented Information Systems, 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers. Springer 2004 [ contents ]
Minglu Li, Xian-He Sun, Qianni Deng, Jun Ni (Eds.): Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part I. Springer 2004 ISBN 3-540-21988-9 [ contents ]
3033
Minglu Li, Xian-He Sun, Qianni Deng, Jun Ni (Eds.): Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II. Springer 2004 ISBN 3-540-21993-5 [ contents ]
3034
Jesús Favela, Ernestina Menasalvas Ruiz, Edgar Chávez (Eds.): Advances in Web Intelligence, Second International Atlantic Web Intelligence Conference, AWIC 2004, Cancun, Mexico, May 16-19, 2004. Proceedings. Springer 2004 ISBN 3-540-22009-7 [ contents ]
3035
Maria Wimmer (Ed.): Knowledge Management in Electronic Government, 5th IFIP International Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004, Proceedings. Springer 2004 ISBN 3-540-22002-X [ contents ]
Ricardo Conejo, Maite Urretavizcaya, José-Luis Pérez-de-la-Cruz (Eds.): Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers. Springer 2004 ISBN 3-540-22218-9 [ contents ]
3041
Constantine Stephanidis (Ed.): Universal Access in Health Telematics, A Design Code of Practice. Springer 2005 ISBN 3-540-26167-2 [ contents ]
3042
Nikolas Mitrou, Kimon P. Kontovasilis, George N. Rouskas, Ilias Iliadis, Lazaros F. Merakos (Eds.): NETWORKING 2004, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication, Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004, Proceedings. Springer 2004 ISBN 3-540-21959-5 [ contents ]
Maurice Bruynooghe, Kung-Kiu Lau (Eds.): Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Springer 2004 ISBN 3-540-22152-2 [ contents ]
3050
Josep Domingo-Ferrer, Vicenç Torra (Eds.): Privacy in Statistical Databases: CASC Project International Workshop, PSD 2004, Barcelona, Spain, June 9-11, 2004. Proceedings. Springer 2004 ISBN 3-540-22118-2 [ contents ]
3051
Rudolf Berghammer, Bernhard Möller, Georg Struth (Eds.): Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers. Springer 2004 ISBN 3-540-22145-X [ contents ]
3052
Wolf Zimmermann, Bernhard Thalheim (Eds.): Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings. Springer 2004 ISBN 3-540-22094-1 [ contents ]
3053
Christoph Bussler, John Davies, Dieter Fensel, Rudi Studer (Eds.): The Semantic Web: Research and Applications, First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings. Springer 2004 ISBN 3-540-21999-4 [ contents ]
Honghua Dai, Ramakrishnan Srikant, Chengqi Zhang (Eds.): Advances in Knowledge Discovery and Data Mining, 8th Pacific-Asia Conference, PAKDD 2004, Sydney, Australia, May 26-28, 2004, Proceedings. Springer 2004 ISBN 3-540-22064-X [ contents ]
3057
Bharat Jayaraman (Ed.): Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings. Springer 2004 ISBN 3-540-22253-7 [ contents ]
3058
Nicu Sebe, Michael S. Lew, Thomas S. Huang (Eds.): Computer Vision in Human-Computer Interaction, ECCV 2004 Workshop on HCI, Prague, Czech Republic, May 16, 2004, Proceedings. Springer 2004 ISBN 3-540-22012-7 [ contents ]
3059
Celso C. Ribeiro, Simone L. Martins (Eds.): Experimental and Efficient Algorithms, Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings. Springer 2004 ISBN 3-540-22067-4 [ contents ]
3060
Ahmed Y. Tawfik, Scott D. Goodwin (Eds.): Advances in Artificial Intelligence, 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, London, Ontario, Canada, May 17-19, 2004, Proceedings. Springer 2004 ISBN 3-540-22004-6 [ contents ]
3061
Félix F. Ramos, Herwig Unger, Victor Larios-Rosillo (Eds.): Advanced Distributed Systems: Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004. Revised Selected Papers. Springer 2004 ISBN 3-540-22172-7 [ contents ]
3062
John L. Pfaltz, Manfred Nagl, Boris Böhlen (Eds.): Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers. Springer 2004 ISBN 3-540-22120-4 [ contents ]
3063
Albert Llamosí, Alfred Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings. Springer 2004 ISBN 3-540-22011-9 [ contents ]
3064
George L. Nemhauser, Daniel Bienstock (Eds.): Integer Programming and Combinatorial Optimization, 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004, Proceedings. Springer 2004 ISBN 3-540-22113-1 [ contents ]
3065
Alessio Lomuscio, Donald Nute (Eds.): Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings. Springer 2004 ISBN 3-540-22111-5 [ contents ]
Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (Eds.): Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers. Springer 2004 ISBN 3-540-22180-8 [ contents ]
Andrea Omicini, Paolo Petta, Jeremy Pitt (Eds.): Engineering Societies in the Agents World IV, 4th International Workshop, ESAW 2003, London, UK, October 29-31, 2003, Revised Selected and Invited Papers. Springer 2004 ISBN 3-540-22231-6 [ contents ]
3072
David Zhang, Anil K. Jain (Eds.): Biometric Authentication, First International Conference, ICBA 2004, Hong Kong, China, July 15-17, 2004, Proceedings. Springer 2004 ISBN 3-540-22146-8 [ contents ]
3073
Hsinchun Chen, Reagan Moore, Daniel Dajun Zeng, John Leavitt (Eds.): Intelligence and Security Informatics, Second Symposium on Intelligence and Security Informatics, ISI 2004, Tucson, AZ, USA, June 10-11, 2004, Proceedings. Springer 2004 ISBN 978-3-540-22125-8 [ contents ]
3074
Bart Kuijpers, Peter Z. Revesz (Eds.): Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, June 12-13, 2004. Springer 2004 [ contents ]
3075
Wolfgang Lenski (Ed.): Logic versus Approximation, Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday. Springer 2004 ISBN 3-540-22562-5 [ contents ]
3076
Duncan A. Buell (Ed.): Algorithmic Number Theory, 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings. Springer 2004 ISBN 3-540-22156-5 [ contents ]
3077
Fabio Roli, Josef Kittler, Terry Windeatt (Eds.): Multiple Classifier Systems, 5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings. Springer 2004 ISBN 3-540-22144-1 [ contents ]
3078
Stephane Cotin, Dimitris N. Metaxas (Eds.): Medical Simulation: International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004. Proceedings. Springer 2004 ISBN 3-540-22186-7 [ contents ]
3079
Zoubir Mammeri, Pascal Lorenz (Eds.): High Speed Networks and Multimedia Communications, 7th IEEE International Conference, HSNMC 2004, Toulouse, France, June 30 - July 2, 2004, Proceedings. Springer 2004 ISBN 3-540-22262-6 [ contents ]
3080
Jörg Desel, Barbara Pernici, Mathias Weske (Eds.): Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004. Proceedings. Springer 2004 ISBN 3-540-22235-9 [ contents ]
3081
Peter Van den Besselaar, Satoshi Koizumi (Eds.): Digital Cities III, Information Technologies for Social Capital: Cross-cultural Perspectives, Third International Digital Cities Workshop, Amsterdam, The Netherlands, September 18-19, 2003, Revised Selected Papers. Springer 2005 ISBN 3-540-25331-9 [ contents ]
3082
Vincent Danos, Vincent Schächter (Eds.): Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers. Springer 2005 ISBN 3-540-25375-0 [ contents ]
3083
Wolfgang Emmerich, Alexander L. Wolf (Eds.): Component Deployment, Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings. Springer 2004 ISBN 3-540-22059-3 [ contents ]
3084
Anne Persson, Janis Stirna (Eds.): Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings. Springer 2004 ISBN 3-540-22151-4 [ contents ]
3085
Stefano Berardi, Mario Coppo, Ferruccio Damiani (Eds.): Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Springer 2004 ISBN 3-540-22164-6 [ contents ]
3086
Martin Odersky (Ed.): ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings. Springer 2004 ISBN 3-540-22159-X [ contents ]
3087
Davide Maltoni, Anil K. Jain (Eds.): Biometric Authentication, ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15, 2004, Proceedings. Springer 2004 ISBN 3-540-22499-8 [ contents ]
3088
Josep Lladós, Young-Bin Kwon (Eds.): Graphics Recognition, Recent Advances and Perspectives, 5th InternationalWorkshop, GREC 2003, Barcelona, Spain, July 30-31, 2003, Revised Selected Papers. Springer 2004 ISBN 3-540-22478-5 [ contents ]
3089
Markus Jakobsson, Moti Yung, Jianying Zhou (Eds.): Applied Cryptography and Network Security, Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004, Proceedings. Springer 2004 ISBN 3-540-22217-0 [ contents ]
3090
Hyun-Kook Kahng (Ed.): Information Networking, Networking Technologies for Broadband and Mobile Networks, International Conference ICOIN 2004, Busan, Korea, February 18-20, 2004, Revised Selected Papers. Springer 2004 ISBN 3-540-23034-3 [ contents ]
3091
Vincent van Oostrom (Ed.): Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings. Springer 2004 ISBN 3-540-22153-0 [ contents ]
3092
Jutta Eckstein, Hubert Baumeister (Eds.): Extreme Programming and Agile Processes in Software Engineering, 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings. Springer 2004 ISBN 3-540-22137-9 [ contents ]
3093
Sokratis K. Katsikas, Stefanos Gritzalis, Javier Lopez (Eds.): Public Key Infrastructure, First European PKIWorkshop: Research and Applications, EuroPKI 2004, Samos Island, Greece, June 25-26, 2004, Proceedings. Springer 2004 ISBN 3-540-22216-2 [ contents ]
3094
Andreas Nürnberger, Marcin Detyniecki (Eds.): Adaptive Multimedia Retrieval: First International Workshop, AMR 2003, Hamburg, Germany, September 15-16, 2003, Revised Selected and Invited Papers. Springer 2004 ISBN 3-540-22163-8 [ contents ]
3095
Christoph Bussler, Dieter Fensel, Maria E. Orlowska, Jian Yang (Eds.): Web Services, E-Business, and the Semantic Web, Second International Workshop, WES 2003, Klagenfurt, Austria, June 16-17, 2003, Revised Selected Papers. Springer 2004 ISBN 3-540-22396-7 [ contents ]
3096
Harald Holz, Grigori Melnik (Eds.): Advances in Learning Software Organizations, 6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004, Proceedings. Springer 2004 ISBN 3-540-22192-1 [ contents ]
3097
David A. Basin, Michaël Rusinowitch (Eds.): Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Springer 2004 ISBN 3-540-22345-2 [ contents ]
3098
Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned]. Springer 2004 ISBN 3-540-22261-8 [ contents ]
3099
Jordi Cortadella, Wolfgang Reisig (Eds.): Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings. Springer 2004 ISBN 3-540-22236-7 [ contents ]