Lecture Notes in Computer Science (LNCS), Volumes 4100-4199

4100

James F. Peters, Andrzej Skowron (Eds.): Transactions on Rough Sets V. Springer 2006, ISBN 3-540-39382-X
Contents

4101

Yuhua Luo (Ed.): Cooperative Design, Visualization, and Engineering, Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings. Springer 2006, ISBN 3-540-44494-7
Contents

4102

Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth (Eds.): Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings. Springer 2006, ISBN 3-540-38901-6
Contents

4103

Johann Eder, Schahram Dustdar (Eds.): Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings. Springer 2006, ISBN 3-540-38444-8
Contents

4104

Thomas Kunz, S. S. Ravi (Eds.): Ad-Hoc, Mobile, and Wireless Networks, 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006, Proceedings. Springer 2006, ISBN 3-540-37246-6
Contents

4105

Bilge Günsel, Anil K. Jain, A. Murat Tekalp, Bülent Sankur (Eds.): Multimedia Content Representation, Classification and Security, International Workshop, MRCS 2006, Istanbul, Turkey, September 11-13, 2006, Proceedings. Springer 2006, ISBN 3-540-39392-7
Contents

4106

Thomas Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir (Eds.): Advances in Case-Based Reasoning, 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings. Springer 2006, ISBN 3-540-36843-4
Contents

4107

Giovanni Di Crescenzo, Aviel D. Rubin (Eds.): Financial Cryptography and Data Security, 10th International Conference, FC 2006, Anguilla, British West Indies, February 27-March 2, 2006, Revised Selected Papers. Springer 2006, ISBN 3-540-46255-4
Contents

4108

Jonathan M. Borwein, William M. Farmer (Eds.): Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings. Springer 2006, ISBN 3-540-37104-4
Contents

4109

Dit-Yan Yeung, James T. Kwok, Ana L. N. Fred, Fabio Roli, Dick de Ridder (Eds.): Structural, Syntactic, and Statistical Pattern Recognition, Joint IAPR International Workshops, SSPR 2006 and SPR 2006, Hong Kong, China, August 17-19, 2006, Proceedings. Springer 2006, ISBN 3-540-37236-9
Contents

4110

Josep Díaz, Klaus Jansen, José D. P. Rolim, Uri Zwick (Eds.): Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006, Proceedings. Springer 2006, ISBN 3-540-38044-2
Contents

4111

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Springer 2006, ISBN 3-540-36749-7
Contents

4112

Danny Z. Chen, D. T. Lee (Eds.): Computing and Combinatorics, 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings. Springer 2006, ISBN 3-540-36925-2
Contents

4113

De-Shuang Huang, Kang Li, George W. Irwin (Eds.): Intelligent Computing, International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part I. Springer 2006, ISBN 3-540-37271-7
Contents

4114

De-Shuang Huang, Kang Li, George W. Irwin (Eds.): Computational Intelligence, International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II. Springer 2006, ISBN 3-540-37274-1
Contents

4115

De-Shuang Huang, Kang Li, George W. Irwin (Eds.): Computational Intelligence and Bioinformatics, International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part III. Springer 2006, ISBN 3-540-37277-6
Contents

4116

Roberto De Prisco, Moti Yung (Eds.): Security and Cryptography for Networks, 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006, Proceedings. Springer 2006, ISBN 3-540-38080-9
Contents

4117

Cynthia Dwork (Ed.): Advances in Cryptology - CRYPTO 2006, 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings. Springer 2006, ISBN 3-540-37432-9
Contents

4118

Zoran Despotovic, Sam Joseph, Claudio Sartori (Eds.): Agents and Peer-to-Peer Computing, 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005, Revised Papers. Springer 2006, ISBN 3-540-49025-6
Contents

4119

Christophe Dony, Jørgen Lindskov Knudsen, Alexander B. Romanovsky, Anand Tripathi (Eds.): Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops). Springer 2006, ISBN 3-540-37443-4
Contents

4120

Jacques Calmet, Tetsuo Ida, Dongming Wang (Eds.): Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Springer 2006, ISBN 3-540-39728-0
Contents

4121

Armin Biere, Carla P. Gomes (Eds.): Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings. Springer 2006, ISBN 3-540-37206-7
Contents

4122

Rainer Stiefelhagen, John S. Garofolo (Eds.): Multimodal Technologies for Perception of Humans, First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-69567-7
Contents

4123

Rudolf Ahlswede, Lars Bäumer, Ning Cai, Harout K. Aydinian, Vladimir Blinovsky, Christian Deppe, Haik Mashurian (Eds.): General Theory of Information Transfer and Combinatorics. Springer 2006, ISBN 3-540-46244-9
Contents

4124

Hermann de Meer, James P. G. Sterbenz (Eds.): Self-Organizing Systems, First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006, Proceedings. Springer 2006, ISBN 3-540-37658-5
Contents

4125

Gianluca Moro, Sonia Bergamaschi, Sam Joseph, Jean-Henry Morin, Aris M. Ouksel (Eds.): Databases, Information Systems, and Peer-to-Peer Computing, International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-71660-0
Contents

4126

Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler (Eds.): Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures. Springer 2006, ISBN 3-540-38409-X
Contents

4127

Ernesto Damiani, Peng Liu (Eds.): Data and Applications Security XX, 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006, Proceedings. Springer 2006, ISBN 3-540-36796-9
Contents

4128

Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner (Eds.): Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings. Springer 2006, ISBN 3-540-37783-2
Contents

4129

David K. McGookin, Stephen A. Brewster (Eds.): Haptic and Audio Interaction Design, First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings. Springer 2006, ISBN 3-540-37595-3
Contents

4130

Ulrich Furbach, Natarajan Shankar (Eds.): Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer 2006, ISBN 3-540-37187-7
Contents

4131

Stefanos D. Kollias, Andreas Stafylopatis, Wlodzislaw Duch, Erkki Oja (Eds.): Artificial Neural Networks - ICANN 2006, 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part I. Springer 2006, ISBN 3-540-38625-4
Contents

4132

Stefanos D. Kollias, Andreas Stafylopatis, Wlodzislaw Duch, Erkki Oja (Eds.): Artificial Neural Networks - ICANN 2006, 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part II. Springer 2006, ISBN 3-540-38871-0
Contents

4133

Jonathan Gratch, Michael Young, Ruth Aylett, Daniel Ballin, Patrick Olivier (Eds.): Intelligent Virtual Agents, 6th International Conference, IVA 2006, Marina Del Rey, CA, USA, August 21-23, 2006, Proceedings. Springer 2006, ISBN 3-540-37593-7
Contents

4134

Kwangkeun Yi (Ed.): Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings. Springer 2006, ISBN 3-540-37756-5
Contents

4135

Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney (Eds.): Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings. Springer 2006, ISBN 3-540-38593-2
Contents

4136

Renate A. Schmidt (Ed.): Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings. Springer 2006, ISBN 3-540-37873-1
Contents

4137

Christel Baier, Holger Hermanns (Eds.): CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Springer 2006, ISBN 3-540-37376-4
Contents

4138

Xiuzhen Cheng, Wei Li, Taieb Znati (Eds.): Wireless Algorithms, Systems, and Applications, First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings. Springer 2006, ISBN 3-540-37189-3
Contents

4139

Tapio Salakoski, Filip Ginter, Sampo Pyysalo, Tapio Pahikkala (Eds.): Advances in Natural Language Processing, 5th International Conference on NLP, FinTAL 2006, Turku, Finland, August 23-25, 2006, Proceedings. Springer 2006, ISBN 3-540-37334-9
Contents

4140

Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende (Eds.): Advances in Artificial Intelligence - IBERAMIA-SBIA 2006, 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006, Proceedings. Springer 2006, ISBN 3-540-45462-4
Contents

4141

Aurélio C. Campilho, Mohamed S. Kamel (Eds.): Image Analysis and Recognition, Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part I. Springer 2006, ISBN 3-540-44891-8
Contents

4142

Aurélio C. Campilho, Mohamed S. Kamel (Eds.): Image Analysis and Recognition, Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II. Springer 2006, ISBN 3-540-44894-2
Contents

4143

Ralf Lämmel, João Saraiva, Joost Visser (Eds.): Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers. Springer 2006, ISBN 3-540-45778-X
Contents

4144

Thomas Ball, Robert B. Jones (Eds.): Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer 2006, ISBN 3-540-37406-X
Contents

4145

Luc Moreau, Ian T. Foster (Eds.): Provenance and Annotation of Data, International Provenance and Annotation Workshop, IPAW 2006, Chicago, IL, USA, May 3-5, 2006, Revised Selected Papers. Springer 2006, ISBN 3-540-46302-X
Contents

4146

Jagath C. Rajapakse, Limsoon Wong, Raj Acharya (Eds.): Pattern Recognition in Bioinformatics, International Workshop, PRIB 2006, Hong Kong, China, August 20, 2006, Proceedings. Springer 2006, ISBN 3-540-37446-9
Contents

4147

Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.): Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers. Springer 2006, ISBN 3-540-37677-1
Contents

4148

Johan Vounckx, Nadine Azémard, Philippe Maurine (Eds.): Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings. Springer 2006, ISBN 3-540-39094-4
Contents

4149

Matthias Klusch, Michael Rovatsos, Terry R. Payne (Eds.): Cooperative Information Agents X, 10th International Workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings. Springer 2006, ISBN 3-540-38569-X
Contents

4150

Marco Dorigo, Luca Maria Gambardella, Mauro Birattari, Alcherio Martinoli, Riccardo Poli, Thomas Stützle (Eds.): Ant Colony Optimization and Swarm Intelligence, 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings. Springer 2006, ISBN 3-540-38482-0
Contents

4151

Andrés Iglesias, Nobuki Takayama (Eds.): Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings. Springer 2006, ISBN 3-540-38084-1
Contents

4152

Yannis Manolopoulos, Jaroslav Pokorný, Timos K. Sellis (Eds.): Advances in Databases and Information Systems, 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings. Springer 2006, ISBN 3-540-37899-5
Contents

4153

Nanning Zheng, Xiaoyi Jiang, Xuguang Lan (Eds.): Advances in Machine Vision, Image Processing, and Pattern Analysis, International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006, Xi'an, China, August 26-27, 2006, Proceedings. Springer 2006, ISBN 3-540-37597-X
Contents

4154

Yannis A. Dimitriadis, Ilze Zigurs, Eduardo Gómez-Sánchez (Eds.): Groupware: Design, Implementation, and Use, 12th International Workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006, Proceedings. Springer 2006, ISBN 3-540-39591-1
Contents

4155

Oliviero Stock, Marco Schaerf (Eds.): Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello. Springer 2006, ISBN 3-540-37901-0
Contents

4156

Sihem Amer-Yahia, Zohra Bellahsene, Ela Hunt, Rainer Unland, Jeffrey Xu Yu (Eds.): Database and XML Technologies, 4th International XML Database Symposium,XSym 2006, Seoul, Korea, September 10-11, 2006, Proceedings. Springer 2006, ISBN 3-540-38877-X
Contents

4157

Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.): Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Springer 2006, ISBN 3-540-48265-2
Contents

4158

Laurence Tianruo Yang, Hai Jin, Jianhua Ma, Theo Ungerer (Eds.): Autonomic and Trusted Computing, Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006, Proceedings. Springer 2006, ISBN 3-540-38619-X
Contents

4159

Jianhua Ma, Hai Jin, Laurence Tianruo Yang, Jeffrey J. P. Tsai (Eds.): Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings. Springer 2006, ISBN 3-540-38091-4
Contents

4160

Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (Eds.): Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. Springer 2006, ISBN 3-540-39625-X
Contents

4161

Richard H. R. Harper, Matthias Rauterberg, Marco Combetto (Eds.): Entertainment Computing - ICEC 2006, 5th International Conference, Cambridge, UK, September 20-22, 2006, Proceedings. Springer 2006, ISBN 3-540-45259-1
Contents

4162

Rastislav Kralovic, Pawel Urzyczyn (Eds.): Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings. Springer 2006, ISBN 3-540-37791-3
Contents

4163

Hugues Bersini, Jorge Carneiro (Eds.): Artificial Immune Systems, 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings. Springer 2006, ISBN 3-540-37749-2
Contents

4164

Zoltán Horváth (Ed.): Central European Functional Programming School, First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures. Springer 2006, ISBN 3-540-46843-9
Contents

4165

Willem Jonker, Milan Petkovic (Eds.): Secure Data Management, Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006, Proceedings. Springer 2006, ISBN 978-3-540-38984-2
Contents

4166

Janusz Górski (Ed.): Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings. Springer 2006, ISBN 3-540-45762-3
Contents

4167

Shlomi Dolev (Ed.): Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings. Springer 2006, ISBN 3-540-44624-9
Contents

4168

Yossi Azar, Thomas Erlebach (Eds.): Algorithms - ESA 2006, 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings. Springer 2006, ISBN 3-540-38875-3
Contents

4169

Hans L. Bodlaender, Michael A. Langston (Eds.): Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings. Springer 2006, ISBN 3-540-39098-7
Contents

4170

Jean Ponce, Martial Hebert, Cordelia Schmid, Andrew Zisserman (Eds.): Toward Category-Level Object Recognition. Springer 2006, ISBN 3-540-68794-7
Contents

4171

Bertrand Meyer, Jim Woodcock (Eds.): Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Springer 2008, ISBN 978-3-540-69147-1
Contents

4172

Julio Gonzalo, Costantino Thanos, M. Felisa Verdejo, Rafael C. Carrasco (Eds.): Research and Advanced Technology for Digital Libraries, 10th European Conference, ECDL 2006, Alicante, Spain, September 17-22, 2006, Proceedings. Springer 2006, ISBN 3-540-44636-2
Contents

4173

Samira El Yacoubi, Bastien Chopard, Stefania Bandini (Eds.): Cellular Automata, 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings. Springer 2006, ISBN 3-540-40929-7
Contents

4174

Katrin Franke, Klaus-Robert Müller, Bertram Nickolay, Ralf Schäfer (Eds.): Pattern Recognition, 28th DAGM Symposium, Berlin, Germany, September 12-14, 2006, Proceedings. Springer 2006, ISBN 3-540-44412-2
Contents

4175

Philipp Bucher, Bernard M. E. Moret (Eds.): Algorithms in Bioinformatics, 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings. Springer 2006, ISBN 3-540-39583-0
Contents

4176

Sokratis K. Katsikas, Javier Lopez, Michael Backes, Stefanos Gritzalis, Bart Preneel (Eds.): Information Security, 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings. Springer 2006, ISBN 3-540-38341-7
Contents

4177

Roque Marín, Eva Onaindia, Alberto Bugarín, José Santos (Eds.): Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers. Springer 2006, ISBN 3-540-45914-6
Contents

4178

Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (Eds.): Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings. Springer 2006, ISBN 3-540-38870-2
Contents

4179

Jacques Blanc-Talon, Wilfried Philips, Dan C. Popescu, Paul Scheunders (Eds.): Advanced Concepts for Intelligent Vision Systems, 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006, Proceedings. Springer 2006, ISBN 3-540-44630-3
Contents

4180

Michael Kohlhase: OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. Lecture Notes in Computer Science Vol. 4180 Springer 2006, ISBN 3-540-37897-9
Contents

4181

Wenyin Liu, Qing Li, Rynson W. H. Lau (Eds.): Advances in Web Based Learning - ICWL 2006, 5th International Conference, Penang, Malaysia, July 19-21, 2006. Revised Papers. Springer 2006, ISBN 3-540-49027-2
Contents

4182

Hwee Tou Ng, Mun-Kew Leong, Min-Yen Kan, Donghong Ji (Eds.): Information Retrieval Technology, Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006, Proceedings. Springer 2006, ISBN 3-540-45780-1
Contents

4183

Jérôme Euzenat, John Domingue (Eds.): Artificial Intelligence: Methodology, Systems, and Applications, 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings. Springer 2006, ISBN 3-540-40930-0
Contents

4184

Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (Eds.): Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings. Springer 2006, ISBN 3-540-38862-1
Contents

4185

Riichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia (Eds.): The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings. Springer 2006, ISBN 3-540-38329-8
Contents

4186

Chris R. Jesshope, Colin Egan (Eds.): Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings. Springer 2006, ISBN 3-540-40056-7
Contents

4187

José Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel (Eds.): Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers. Springer 2006, ISBN 3-540-39586-5
Contents

4188

Petr Sojka, Ivan Kopecek, Karel Pala (Eds.): Text, Speech and Dialogue, 9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006, Proceedings. Springer 2006, ISBN 3-540-39090-1
Contents

4189

Dieter Gollmann, Jan Meier, Andrei Sabelfeld (Eds.): Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings. Springer 2006, ISBN 3-540-44601-X
Contents

4190

Rasmus Larsen, Mads Nielsen, Jon Sporring (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006, 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part I. Springer 2006, ISBN 3-540-44707-5
Contents

4191

Rasmus Larsen, Mads Nielsen, Jon Sporring (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006, 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part II. Springer 2006, ISBN 3-540-44727-X
Contents

4192

Bernd Mohr, Jesper Larsson Träff, Joachim Worringen, Jack Dongarra (Eds.): Recent Advances in Parallel Virtual Machine and Message Passing Interface, 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings. Springer 2006, ISBN 3-540-39110-X
Contents

4193

Thomas Philip Runarsson, Hans-Georg Beyer, Edmund K. Burke, Juan J. Merelo Guervós, L. Darrell Whitley, Xin Yao (Eds.): Parallel Problem Solving from Nature - PPSN IX, 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Procedings. Springer 2006, ISBN 3-540-38990-3
Contents

4194

Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (Eds.): Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings. Springer 2006, ISBN 3-540-45182-X
Contents

4195

Dominique Gaïti, Guy Pujolle, Ehab S. Al-Shaer, Kenneth L. Calvert, Simon A. Dobson, Guy Leduc, Olli Martikainen (Eds.): Autonomic Networking, First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings. Springer 2006, ISBN 3-540-45891-3
Contents

4196

Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong (Eds.): Multiagent System Technologies, 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings. Springer 2006, ISBN 3-540-45376-8
Contents

4197

Martin Raubal, Harvey J. Miller, Andrew U. Frank, Michael F. Goodchild (Eds.): Geographic Information Science, 4th International Conference, GIScience 2006, Münster, Germany, September 20-23, 2006, Proceedings. Springer 2006, ISBN 3-540-44526-9
Contents

4198

Olfa Nasraoui, Osmar R. Zaïane, Myra Spiliopoulou, Bamshad Mobasher, Brij M. Masand, Philip S. Yu (Eds.): Advances in Web Mining and Web Usage Analysis, 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005. Revised Papers. Springer 2006, ISBN 3-540-46346-1
Contents

4199

Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio (Eds.): Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Springer 2006, ISBN 3-540-45772-0
Contents