Shahar Mendelson, Alex J. Smola (Eds.): Advanced Lectures on Machine Learning, Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures. Springer 2003 ISBN 3-540-00529-3 [ contents ]
Corrado Priami (Ed.): Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings. Springer 2003 ISBN 3-540-00605-2 [ contents ]
Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (Eds.): Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers. Springer 2003 ISBN 3-540-00679-6 [ contents ]
2605
Dieter Hutter, Werner Stephan (Eds.): Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Springer 2005 ISBN 3-540-25051-4 [ contents ]
2606
Andrew M. Tyrrell, Pauline C. Haddow, Jim Torresen (Eds.): Evolvable Systems: From Biology to Hardware, 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings. Springer 2003 ISBN 3-540-00730-X [ contents ]
2607
Helmut Alt, Michel Habib (Eds.): STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings. Springer 2003 ISBN 3-540-00623-0 [ contents ]
2608
Jean-Marc Champarnaud, Denis Maurel (Eds.): Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers. Springer 2003 ISBN 3-540-40391-4 [ contents ]
Marc Joye (Ed.): Topics in Cryptology - CT-RSA 2003, The Cryptographers' Track at the RSA Conference 2003, San Francisco, CA, USA, April 13-17, 2003, Proceedings. Springer 2003 ISBN 3-540-00847-0 [ contents ]
2613
Fabien A. P. Petitcolas, Hyoung Joong Kim (Eds.): Digital Watermarking, First International Workshop, IWDW 2002, Seoul, Korea, November 21-22, 2002, Revised Papers. Springer 2003 ISBN 3-540-01217-6 [ contents ]
2614
Robert Laddaga, Paul Robertson, Howard E. Shrobe (Eds.): Self-Adaptive Software, Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 Revised Papers. Springer 2003 ISBN 3-540-00731-8 [ contents ]
2615
Noelle Carbonell, Constantine Stephanidis (Eds.): Universal Access: Theoretical Perspectives, Practice, and Experience, 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24-25, 2002, Revised Papers. Springer 2003 ISBN 3-540-00855-1 [ contents ]
2616
Tetsuo Asano, Reinhard Klette, Christian Ronse (Eds.): Geometry, Morphology, and Computational Imaging, 11th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, April 7-12, 2002, Revised Papers. Springer 2003 ISBN 3-540-00916-7 [ contents ]
2617
Hajo A. Reijers: Design and Control of Workflow Processes: Business Process Management for the Service Industry. Springer 2003 ISBN 3-540-01186-2
2618
Pierpaolo Degano (Ed.): Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 ISBN 3-540-00886-1 [ contents ]
2619
Hubert Garavel, John Hatcliff (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 ISBN 3-540-00898-5 [ contents ]
2620
Andrew D. Gordon (Ed.): Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 ISBN 3-540-00897-7 [ contents ]
2621
Mauro Pezzè (Ed.): Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 ISBN 3-540-00899-3 [ contents ]
2622
Görel Hedin (Ed.): Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 ISBN 3-540-00904-3 [ contents ]
2623
Oded Maler, Amir Pnueli (Eds.): Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Springer 2003 ISBN 3-540-00913-2 [ contents ]
2624
Henry G. Dietz (Ed.): Languages and Compilers for Parallel Computing, 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001. Revised Papers. Springer 2003 ISBN 3-540-04029-3 [ contents ]
2625
Ulrich Meyer, Peter Sanders, Jop F. Sibeyn (Eds.): Algorithms for Memory Hierarchies, Advanced Lectures [Dagstuhl Research Seminar, March 10-14, 2002]. Springer 2003 ISBN 3-540-00883-7 [ contents ]
Barry O'Sullivan (Ed.): Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers. Springer 2003 ISBN 3-540-00986-8 [ contents ]
2628
Thomas Fahringer, Bernhard Scholz: Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization. Springer 2003 ISBN 3-540-01185-4
2629
Ali E. Abdallah, Peter Ryan, Steve Schneider (Eds.): Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers. Springer 2003 ISBN 3-540-20693-0 [ contents ]
2630
Franz Winkler, Ulrich Langer (Eds.): Symbolic and Numerical Scientific Computation, Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers. Springer 2003 ISBN 3-540-40554-2 [ contents ]
2631
Rino Falcone, K. Suzanne Barber, Larry Korba, Munindar P. Singh (Eds.): Trust, Reputation, and Security: Theories and Practice, AAMAS 2002 International Workshop, Bologna, Italy, July 15, 2002, Selected and Invited Papers. Springer 2003 ISBN 3-540-00988-4 [ contents ]
Fabrizio Sebastiani (Ed.): Advances in Information Retrieval, 25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14-16, 2003, Proceedings. Springer 2003 ISBN 3-540-01274-5 [ contents ]
2634
Feng Zhao, Leonidas J. Guibas (Eds.): Information Processing in Sensor Networks, Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings. Springer 2003 ISBN 3-540-02111-6 [ contents ]
2635
Olaf Owe, Stein Krogdahl, Tom Lyche (Eds.): From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl. Springer 2004 ISBN 3-540-21366-X [ contents ]
Johan Jeuring, Simon L. Peyton Jones (Eds.): Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Springer 2003 ISBN 3-540-40132-6 [ contents ]
2639
Guoyin Wang, Qing Liu, Yiyu Yao, Andrzej Skowron (Eds.): Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings. Springer 2003 ISBN 3-540-14040-9 [ contents ]
2640
Scott Henninger, Frank Maurer (Eds.): Advances in Learning Software Organizations, 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers. Springer 2003 ISBN 3-540-20591-8 [ contents ]
2641
Peter J. Nürnberg (Ed.): Metainformatics, International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002. Revised Papers. Springer 2003 ISBN 3-540-40218-7 [ contents ]
2642
Xiaofang Zhou, Yanchun Zhang, Maria E. Orlowska (Eds.): Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings. Springer 2003 ISBN 3-540-02354-2 [ contents ]
2643
Marc P. C. Fossorier, Tom Høholdt, Alain Poli (Eds.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings. Springer 2003 ISBN 3-540-40111-3 [ contents ]
2644
Dieter Hogrefe, Anthony Wiles (Eds.): Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings. Springer 2003 ISBN 3-540-40123-7 [ contents ]
2645
Maria Wimmer (Ed.): Knowledge Management in Electronic Government, 4th IFIP International Working Conference, KMGov 2003, Rhodes, Greece, May 26-28, 2003, Proceedings. Springer 2003 ISBN 3-540-40145-8 [ contents ]
2646
Herman Geuvers, Freek Wiedijk (Eds.): Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers. Springer 2003 ISBN 3-540-14031-X [ contents ]
Thomas Ball, Sriram K. Rajamani (Eds.): Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings. Springer 2003 ISBN 3-540-40117-2 [ contents ]
2649
Bernhard Westfechtel, André van der Hoek (Eds.): Software Configuration Management, ICSE Workshops SCM 2001 and SCM 2003 Toronto, Canada, May 14-15, 2001 and Portland, OR, USA, May 9-10, 2003. Selected Papers. Springer 2003 ISBN 3-540-14036-0 [ contents ]
2650
Marc-Philippe Huget (Ed.): Communication in Multiagent Systems, Agent Communication Languages and Conversation Polocies. Springer 2003 ISBN 3-540-40385-X [ contents ]
2651
Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén (Eds.): ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings. Springer 2003 ISBN 3-540-40253-5 [ contents ]
Ute Schmid: Inductive Synthesis of Functional Programs, Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning. Springer 2003 ISBN 3-540-40174-1
2655
Jean-Pierre Rosen, Alfred Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings. Springer 2003 ISBN 3-540-40376-0 [ contents ]
2656
Eli Biham (Ed.): Advances in Cryptology - EUROCRYPT 2003, International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings. Springer 2003 ISBN 3-540-14039-5 [ contents ]
Hyun-Kook Kahng (Ed.): Information Networking, Networking Technologies for Enhanced Internet Services International Conference, ICOIN 2003, Cheju Island, Korea, February 12-14, 2003, Revised Selected Papers. Springer 2003 ISBN 3-540-40827-4 [ contents ]
Michael Leuschel (Ed.): Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers. Springer 2003 ISBN 3-540-40438-4 [ contents ]
Ricardo Pena, Thomas Arts (Eds.): Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers. Springer 2003 ISBN 3-540-40190-3 [ contents ]
2671
Yang Xiang, Brahim Chaib-draa (Eds.): Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings. Springer 2003 ISBN 3-540-40300-0 [ contents ]
2672
Markus Endler, Douglas C. Schmidt (Eds.): Middleware 2003, ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings. Springer 2003 ISBN 3-540-40317-5 [ contents ]
2673
Nicholas Ayache, Hervé Delingette (Eds.): Surgery Simulation and Soft Tissue Modeling, International Symposium, IS4TM 2003, Juan-Les-Pins, France, June 12-13, 2003, Proceedings. Springer 2003 ISBN 3-540-40439-2 [ contents ]
Wil M. P. van der Aalst, Eike Best (Eds.): Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. Springer 2003 ISBN 3-540-40334-5 [ contents ]
Johann Eder, Michele Missikoff (Eds.): Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings. Springer 2003 ISBN 3-540-40442-2 [ contents ]
Anand Rangarajan, Mário A. T. Figueiredo, Josiane Zerubia (Eds.): Energy Minimization Methods in Computer Vision and Pattern Recognition, 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003, Proceedings. Springer 2003 ISBN 3-540-40498-8 [ contents ]
José Mira, José R. Álvarez (Eds.): Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part I. Springer 2003 ISBN 3-540-40210-1 [ contents ]
2687
José Mira, José R. Álvarez (Eds.): Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part II. Springer 2003 ISBN 3-540-40211-X [ contents ]
2688
Josef Kittler, Mark S. Nixon (Eds.): Audio-and Video-Based Biometrie Person Authentication, 4th International Conference, AVBPA 2003, Guildford, UK, June 9-11, 2003 Proceedings. Springer 2003 ISBN 3-540-40302-7 [ contents ]
2689
Kevin D. Ashley, Derek G. Bridge (Eds.): Case-Based Reasoning Research and Development, 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings. Springer 2003 ISBN 3-540-40433-3 [ contents ]
2690
Jiming Liu, Yiu-ming Cheung, Hujun Yin (Eds.): Intelligent Data Engineering and Automated Learning, 4th International Conference, IDEAL 2003, Hong Kong, China, March 21-23, 2003, Revised Papers. Springer 2003 ISBN 3-540-40550-X [ contents ]
2691
Vladimír Marík, Jörg P. Müller, Michal Pechoucek (Eds.): Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003, Proceedings. Springer 2003 ISBN 3-540-40450-3 [ contents ]
2692
Paddy Nixon, Sotirios Terzis (Eds.): Trust Management, First International Conference, iTrust 2003, Heraklion, Crete, Greece, May 28-30, 2002, Proceedings. Springer 2003 ISBN 3-540-40224-1 [ contents ]
Radhia Cousot (Ed.): Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Springer 2003 ISBN 3-540-40325-6 [ contents ]
2695
Lewis D. Griffin, Martin Lillholm (Eds.): Scale Space Methods in Computer Vision, 4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings. Springer 2003 ISBN 3-540-40368-X [ contents ]
2696
Joan Feigenbaum (Ed.): Security and Privacy in Digital Rights Management, ACM CCS-9 Workshop, DRM 2002, Washington, DC, USA, November 18, 2002, Revised Papers. Springer 2003 ISBN 3-540-40410-4 [ contents ]
2697
Tandy Warnow, Binhai Zhu (Eds.): Computing and Combinatorics, 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings. Springer 2003 ISBN 3-540-40534-8 [ contents ]
2698
Wojciech Burakowski, Berthold F. Koch, Andrzej Beben (Eds.): Architectures for Quality of Service in the Internet, International Workshop, Art-QoS 2003, Warsaw, Poland, March 24-25, 2003, Revised Papers. Springer 2003 ISBN 3-540-40444-9 [ contents ]