Lecture Notes in Computer Science (LNCS), Volumes 4000-4099

4000

Slawomir Stanczak, Marcin Wiczanowski, Holger Boche: Resource Allocation in Wireless Networks: Theory and Algorithms. Lecture Notes in Computer Science Vol. 4000 Springer 2006, ISBN 3-540-46248-1
Contents

4001

Eric Dubois, Klaus Pohl (Eds.): Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings. Springer 2006, ISBN 3-540-34652-X
Contents

4002

Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki (Eds.): Finite-State Methods and Natural Language Processing, 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers. Springer 2006, ISBN 3-540-35467-0
Contents

4003

Yevgeni Koucheryavy, Jarmo Harju, Villy Bæk Iversen (Eds.): Next Generation Teletraffic and Wired/Wireless Advanced Networking, 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006, Proceedings. Springer 2006, ISBN 3-540-34429-2
Contents

4004

Serge Vaudenay (Ed.): Advances in Cryptology - EUROCRYPT 2006, 25th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Proceedings. Springer 2006, ISBN 3-540-34546-9
Contents

4005

Gábor Lugosi, Hans-Ulrich Simon (Eds.): Learning Theory, 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings. Springer 2006, ISBN 3-540-35294-5
Contents

4006

Luís Miguel Pinho, Michael González Harbour (Eds.): Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings. Springer 2006, ISBN 3-540-34663-5
Contents

4007

Carme Àlvarez, Maria J. Serna (Eds.): Experimental Algorithms, 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006, Proceedings. Springer 2006, ISBN 3-540-34597-3
Contents

4008

Juan Carlos Augusto, Chris D. Nugent (Eds.): Designing Smart Homes, The Role of Artificial Intelligence. Springer 2006, ISBN 3-540-35994-X
Contents

4009

Moshe Lewenstein, Gabriel Valiente (Eds.): Combinatorial Pattern Matching, 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, Proceedings. Springer 2006, ISBN 3-540-35455-7
Contents

4010

Steve Dunne, Bill Stoddart (Eds.): Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Springer 2006, ISBN 3-540-34750-X
Contents

4011

York Sure, John Domingue (Eds.): The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings. Springer 2006, ISBN 3-540-34544-2
Contents

4012

Takashi Washio, Akito Sakurai, Katsuto Nakajima, Hideaki Takeda, Satoshi Tojo, Makoto Yokoo (Eds.): New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings. Springer 2006, ISBN 3-540-35470-0
Contents

4013

Luc Lamontagne, Mario Marchand (Eds.): Advances in Artificial Intelligence, 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Québec City, Québec, Canada, June 7-9, 2006, Proceedings. Springer 2006, ISBN 3-540-34628-7
Contents

4014

Tarmo Uustalu (Ed.): Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Springer 2006, ISBN 3-540-35631-2
Contents

4015

Andrew Butterfield, Clemens Grelck, Frank Huch (Eds.): Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Springer 2006, ISBN 3-540-69174-X
Contents

4016

Jeffrey Xu Yu, Masaru Kitsuregawa, Hong Va Leong (Eds.): Advances in Web-Age Information Management, 7th International Conference,WAIM 2006, Hong Kong, China, June 17-19, 2006, Proceedings. Springer 2006, ISBN 3-540-35225-2
Contents

4017

Stamatis Vassiliadis, Stephan Wong, Timo Hämäläinen (Eds.): Embedded Computer Systems: Architectures, Modeling, and Simulation, 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings. Springer 2006, ISBN 3-540-36410-2
Contents

4018

Vincent P. Wade, Helen Ashman, Barry Smyth (Eds.): Adaptive Hypermedia and Adaptive Web-Based Systems, 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006, Proceedings. Springer 2006, ISBN 3-540-34696-1
Contents

4019

Michael Johnson, Varmo Vene (Eds.): Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Springer 2006, ISBN 3-540-35633-9
Contents

4020

Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi (Eds.): RoboCup 2005: Robot Soccer World Cup IX. Springer 2006, ISBN 3-540-35437-9
Contents

4021

Elisabeth André, Laila Dybkjær, Wolfgang Minker, Heiko Neumann, Michael Weber (Eds.): Perception and Interactive Technologies, International Tutorial and Research Workshop, PIT 2006, Kloster Irsee, Germany, June 19-21, 2006, Proceedings. Springer 2006, ISBN 3-540-34743-7
Contents

4022

Carol Peters, Fredric C. Gey, Julio Gonzalo, Henning Müller, Gareth J. F. Jones, Michael Kluck, Bernardo Magnini, Maarten de Rijke (Eds.): Accessing Multilingual Information Repositories, 6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers. Springer 2006, ISBN 3-540-45697-X
Contents

4023

Eleazar Eskin, Trey Ideker, Benjamin J. Raphael, Christopher T. Workman (Eds.): Systems Biology and Regulatory Genomics, Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers. Springer 2006, ISBN 978-3-540-48293-2
Contents

4024

Susanna Donatelli, P. S. Thiagarajan (Eds.): Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings. Springer 2006, ISBN 3-540-34699-6
Contents

4025

Frank Eliassen, Alberto Montresor (Eds.): Distributed Applications and Interoperable Systems, 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Springer 2006, ISBN 3-540-35126-4
Contents

4026

Phillip B. Gibbons, Tarek F. Abdelzaher, James Aspnes, Ramesh Rao (Eds.): Distributed Computing in Sensor Systems, Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006, Proceedings. Springer 2006, ISBN 3-540-35227-9
Contents

4027

Henrik Legind Larsen, Gabriella Pasi, Daniel Ortiz Arroyo, Troels Andreasen, Henning Christiansen (Eds.): Flexible Query Answering Systems, 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006, Proceedings. Springer 2006, ISBN 3-540-34638-4
Contents

4028

Jürg Kohlas, Bertrand Meyer, André Schiper (Eds.): Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program. Springer 2006, ISBN 3-540-36821-3
Contents

4029

Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada (Eds.): Artificial Intelligence and Soft Computing - ICAISC 2006, 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings. Springer 2006, ISBN 3-540-35748-3
Contents

4030

Francisco Almeida, María J. Blesa Aguilera, Christian Blum, J. Marcos Moreno-Vega, Melquíades Pérez Pérez, Andrea Roli, Michael Sampels (Eds.): Hybrid Metaheuristics, Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-15, 2006, Proceedings. Springer 2006, ISBN 3-540-46384-4
Contents

4031

Moonis Ali, Richard Dapoigny (Eds.): Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Proceedings. Springer 2006, ISBN 3-540-35453-0
Contents

4032

Opher Etzion, Tsvi Kuflik, Amihai Motro (Eds.): Next Generation Information Technologies and Systems, 6th International Workshop, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006, Proceedings. Springer 2006, ISBN 3-540-35472-7
Contents

4033

Burkhard Stiller, Peter Reichl, Bruno Tuffin (Eds.): Performability Has its Price, 5th International Workshop on Internet Charging and QoS Technologies, ICQT 2006, St. Malo, France, June 27, 2006, Proceedings. Springer 2006, ISBN 3-540-35456-5
Contents

4034

Jürgen Münch, Matias Vierimaa (Eds.): Product-Focused Software Process Improvement, 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings. Springer 2006, ISBN 3-540-34682-1
Contents

4035

Tomoyuki Nishita, Qunsheng Peng, Hans-Peter Seidel (Eds.): Advances in Computer Graphics, 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006, Proceedings. Springer 2006, ISBN 3-540-35638-X
Contents

4036

Oscar H. Ibarra, Zhe Dang (Eds.): Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings. Springer 2006, ISBN 3-540-35428-X
Contents

4037

Roberto Gorrieri, Heike Wehrheim (Eds.): Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Springer 2006, ISBN 3-540-34893-X
Contents

4038

Paolo Ciancarini, Herbert Wiklicky (Eds.): Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Springer 2006, ISBN 3-540-34694-5
Contents

4039

Maurizio Morisio (Ed.): Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006, Proceedings. Springer 2006, ISBN 3-540-34606-6
Contents

4040

Ralf Reulke, Ulrich Eckardt, Boris Flach, Uwe Knauer, Konrad Polthier (Eds.): Combinatorial Image Analysis, 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006, Proceedings. Springer 2006, ISBN 3-540-35153-1
Contents

4041

Siu-Wing Cheng, Chung Keung Poon (Eds.): Algorithmic Aspects in Information and Management, Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings. Springer 2006, ISBN 3-540-35157-4
Contents

4042

David A. Bell, Jun Hong (Eds.): Flexible and Efficient Information Handling, 23rd British National Conference on Databases, BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006, Proceedings. Springer 2006, ISBN 3-540-35969-9
Contents

4043

Andrea S. Atzeni, Antonio Lioy (Eds.): Public Key Infrastructure, Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006, Proceedings. Springer 2006, ISBN 3-540-35151-5
Contents

4044

Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi (Eds.): Extreme Programming and Agile Processes in Software Engineering, 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings. Springer 2006, ISBN 3-540-35094-2
Contents

4045

Dave Barker-Plummer, Richard Cox, Nik Swoboda (Eds.): Diagrammatic Representation and Inference, 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings. Springer 2006, ISBN 3-540-35623-1
Contents

4046

Susan M. Astley, Michael Brady, Chris Rose, Reyer Zwiggelaar (Eds.): Digital Mammography, 8th International Workshop, IWDM 2006, Manchester, UK, June 18-21, 2006, Proceedings. Springer 2006, ISBN 3-540-35625-8
Contents

4047

Matthew J. B. Robshaw (Ed.): Fast Software Encryption, 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers. Springer 2006, ISBN 3-540-36597-4
Contents

4048

Lou Goble, John-Jules Ch. Meyer (Eds.): Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings. Springer 2006, ISBN 3-540-35842-0
Contents

4049

Simon Parsons, Nicolas Maudet, Pavlos Moraitis, Iyad Rahwan (Eds.): Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers. Springer 2006, ISBN 3-540-36355-6
Contents

4050

Per Stenström, Michael F. P. O'Boyle, François Bodin, Marcelo Cintra, Sally A. McKee (Eds.): Transactions on High-Performance Embedded Architectures and Compilers I. Springer 2007, ISBN 978-3-540-71527-6
Contents

4051

Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (Eds.): Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I. Springer 2006, ISBN 3-540-35904-4
Contents

4052

Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (Eds.): Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Springer 2006, ISBN 3-540-35907-9
Contents

4053

Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan (Eds.): Intelligent Tutoring Systems, 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006, Proceedings. Springer 2006, ISBN 3-540-35159-0
Contents

4054

András Horváth, Miklós Telek (Eds.): Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings. Springer 2006, ISBN 3-540-35362-3
Contents

4055

Juhnyoung Lee, Junho Shim, Sang-goo Lee, Christoph Bussler, Simon S. Y. Shim (Eds.): Data Engineering Issues in E-Commerce and Services, Second International Workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006, Proceedings. Springer 2006, ISBN 3-540-35440-9
Contents

4056

Paola Flocchini, Leszek Gasieniec (Eds.): Structural Information and Communication Complexity, 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006, Proceedings. Springer 2006, ISBN 3-540-35474-3
Contents

4057

Josien P. W. Pluim, Bostjan Likar, Frans A. Gerritsen (Eds.): Biomedical Image Registration, Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006, Proceedings. Springer 2006, ISBN 3-540-35648-7
Contents

4058

Lynn Margaret Batten, Reihaneh Safavi-Naini (Eds.): Information Security and Privacy, 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings. Springer 2006, ISBN 3-540-35458-1
Contents

4059

Lars Arge, Rusins Freivalds (Eds.): Algorithm Theory - SWAT 2006, 10th ScandinavianWorkshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings. Springer 2006, ISBN 3-540-35753-X
Contents

4060

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (Eds.): Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Springer 2006, ISBN 3-540-35462-X
Contents

4061

Klaus Miesenberger, Joachim Klaus, Wolfgang L. Zagler, Arthur I. Karshmer (Eds.): Computers Helping People with Special Needs, 10th International Conference, ICCHP 2006, Linz, Austria, July 11-13, 2006, Proceedings. Springer 2006, ISBN 3-540-36020-4
Contents

4062

Guoyin Wang, James F. Peters, Andrzej Skowron, Yiyu Yao (Eds.): Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings. Springer 2006, ISBN 3-540-36297-5
Contents

4063

Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau (Eds.): Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings. Springer 2006, ISBN 3-540-35628-2
Contents

4064

Roland Büschkes, Pavel Laskov (Eds.): Detection of Intrusions and Malware & Vulnerability Assessment, Third International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006, Proceedings. Springer 2006, ISBN 3-540-36014-X
Contents

4065

Petra Perner (Ed.): Advances in Data Mining, Applications in Medicine, Web Mining, Marketing, Image and Signal Mining, 6th Industrial Conference on Data Mining, ICDM 2006, Leipzig, Germany, July 14-15, 2006, Proceedings. Springer 2006, ISBN 3-540-36036-0
Contents

4066

Arend Rensink, Jos Warmer (Eds.): Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings. Springer 2006, ISBN 3-540-35909-5
Contents

4067

Dave Thomas (Ed.): ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings. Springer 2006, ISBN 3-540-35726-2
Contents

4068

Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm (Eds.): Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings. Springer 2006, ISBN 3-540-35893-5
Contents

4069

Francisco J. Perales López, Robert B. Fisher (Eds.): Articulated Motion and Deformable Objects, 4th International Conference, AMDO 2006, Port d'Andratx, Mallorca, Spain, July 11-14, 2006, Proceedings. Springer 2006, ISBN 3-540-36031-X
Contents

4070

Corrado Priami, Xiaohua Hu, Yi Pan, Tsau Young Lin (Eds.): Transactions on Computational Systems Biology V. Springer 2006, ISBN 3-540-36048-4
Contents

4071

Hari Sundaram, Milind R. Naphade, John R. Smith, Yong Rui (Eds.): Image and Video Retrieval, 5th International Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006, Proceedings. Springer 2006, ISBN 3-540-36018-2
Contents

4072

Matthias Harders, Gábor Székely (Eds.): Biomedical Simulation, Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006, Proceedings. Springer 2006, ISBN 3-540-36009-3
Contents

4073

Andreas Butz, Brian D. Fisher, Antonio Krüger, Patrick Olivier (Eds.): Smart Graphics, 6th International Symposium, SG 2006, Vancouver, Canada, July 23-25, 2006, Proceedings. Springer 2006, ISBN 3-540-36293-2
Contents

4074

Mike Burmester, Alec Yasinsac (Eds.): Secure Mobile Ad-hoc Networks and Sensors, First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers. Springer 2006, ISBN 3-540-36646-6
Contents

4075

Ulf Leser, Felix Naumann, Barbara A. Eckman (Eds.): Data Integration in the Life Sciences, Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006, Proceedings. Springer 2006, ISBN 3-540-36593-1
Contents

4076

Florian Hess, Sebastian Pauli, Michael E. Pohst (Eds.): Algorithmic Number Theory, 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings. Springer 2006, ISBN 3-540-36075-1
Contents

4077

Myung-Soo Kim, Kenji Shimada (Eds.): Geometric Modeling and Processing - GMP 2006, 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings. Springer 2006, ISBN 3-540-36711-X
Contents

4078

...

4079

Sandro Etalle, Miroslaw Truszczynski (Eds.): Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer 2006, ISBN 3-540-36635-0
Contents

4080

Stéphane Bressan, Josef Küng, Roland Wagner (Eds.): Database and Expert Systems Applications, 17th International Conference, DEXA 2006, Kraków, Poland, September 4-8, 2006, Proceedings. Springer 2006, ISBN 3-540-37871-5
Contents

4081

A. Min Tjoa, Juan Trujillo (Eds.): Data Warehousing and Knowledge Discovery, 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006, Proceedings. Springer 2006, ISBN 3-540-37736-0
Contents

4082

Kurt Bauknecht, Birgit Pröll, Hannes Werthner (Eds.): E-Commerce and Web Technologies, 7th International Conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006, Proceedings. Springer 2006, ISBN 3-540-37743-3
Contents

4083

Simone Fischer-Hübner, Steven Furnell, Costas Lambrinoudakis (Eds.): Trust and Privacy in Digital Business, Third International Conference, TrustBus 2006, Krakow, Poland, September 4-8, 2006, Proceedings. Springer 2006, ISBN 3-540-37750-6
Contents

4084

Maria Wimmer, Hans Jochen Scholl, Åke Grönlund, Kim Viborg Andersen (Eds.): Electronic Government, 5th International Conference, EGOV 2006, Krakow, Poland, September 4-8, 2006, Proceedings. Springer 2006, ISBN 3-540-37686-0
Contents

4085

Jayadev Misra, Tobias Nipkow, Emil Sekerinski (Eds.): FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Springer 2006, ISBN 3-540-37215-6
Contents

4086

Guang Gong, Tor Helleseth, Hong-Yeop Song, Kyeongcheol Yang (Eds.): Sequences and Their Applications - SETA 2006, 4th International Conference, Beijing, China, September 24-28, 2006, Proceedings. Springer 2006, ISBN 3-540-44523-4
Contents

4087

Friedhelm Schwenker, Simone Marinai (Eds.): Artificial Neural Networks in Pattern Recognition, Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings. Springer 2006, ISBN 3-540-37951-7
Contents

4088

Zhong-Zhi Shi, Ramakoti Sadananda (Eds.): Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings. Springer 2006, ISBN 3-540-36707-1
Contents

4089

Welf Löwe, Mario Südholt (Eds.): Software Composition, 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers. Springer 2006, ISBN 3-540-37657-7
Contents

4090

Stefano Spaccapietra, Karl Aberer, Philippe Cudré-Mauroux (Eds.): Journal on Data Semantics VI: Special Issue on Emergent Semantics. Springer 2006, ISBN 3-540-36712-8
Contents

4091

Guang-Zhong Yang, Tianzi Jiang, Dinggang Shen, Lixu Gu, Jie Yang (Eds.): Medical Imaging and Augmented Reality, MIAR 2006, Third International Workshop, Shanghai, China, August 17-18, 2006, Proceedings. Springer 2006, ISBN 3-540-37220-2
Contents

4092

Jérôme Lang, Fangzhen Lin, Ju Wang (Eds.): Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings. Springer 2006, ISBN 3-540-37033-1
Contents

4093

Xue Li, Osmar R. Zaïane, Zhanhuai Li (Eds.): Advanced Data Mining and Applications, Second International Conference, ADMA 2006, Xi'an, China, August 14-16, 2006, Proceedings. Springer 2006, ISBN 3-540-37025-0
Contents

4094

Oscar H. Ibarra, Hsu-Chun Yen (Eds.): Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings. Springer 2006, ISBN 3-540-37213-X
Contents

4095

Stefano Nolfi, Gianluca Baldassarre, Raffaele Calabretta, John C. T. Hallam, Davide Marocco, Jean-Arcady Meyer, Orazio Miglino, Domenico Parisi (Eds.): From Animals to Animats 9, 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings. Springer 2006, ISBN 3-540-38608-4
Contents

4096

Edwin Hsing-Mean Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-hae Kim, Laurence Tianruo Yang, Bin Xiao (Eds.): Embedded and Ubiquitous Computing, International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings. Springer 2006, ISBN 3-540-36679-2
Contents

4097

Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu (Eds.): Emerging Directions in Embedded and Ubiquitous Computing, EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings. Springer 2006, ISBN 3-540-36850-7
Contents

4098

Frank Pfenning (Ed.): Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings. Springer 2006, ISBN 3-540-36834-5
Contents

4099

Qiang Yang, Geoffrey I. Webb (Eds.): PRICAI 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings. Springer 2006, ISBN 3-540-36667-9
Contents