Lecture Notes in Computer Science (LNCS), Volumes 4500-4599

4500

Norbert A. Streitz, Achilles Kameas, Irene Mavrommati (Eds.): The Disappearing Computer, Interaction Design, System Infrastructures and Applications for Smart Environments. Springer 2007, ISBN 978-3-540-72725-5
Contents

4501

João Marques-Silva, Karem A. Sakallah (Eds.): Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72787-3
Contents

4502

Thorsten Altenkirch, Conor McBride (Eds.): Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-74463-4
Contents

4503

...

4504

Jingshan Huang, Ryszard Kowalczyk, Zakaria Maamar, David L. Martin, Ingo Müller, Suzette Stoutenburg, Katia P. Sycara (Eds.): Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72618-0
Contents

4505

Guozhu Dong, Xuemin Lin, Wei Wang, Yun Yang, Jeffrey Xu Yu (Eds.): Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72483-4
Contents

4506

Daniel Dajun Zeng, Ivan Gotham, Ken Komatsu, Cecil Lynch, Mark Thurmond, David Madigan, Bill Lober, James Kvach, Hsinchun Chen (Eds.): Intelligence and Security Informatics: Biosurveillance, Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72607-4
Contents

4507

Francisco Sandoval Hernández, Alberto Prieto, Joan Cabestany, Manuel Graña (Eds.): Computational and Ambient Intelligence, 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73006-4
Contents

4508

Ming-Yang Kao, Xiang-Yang Li (Eds.): Algorithmic Aspects in Information and Management, Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72868-9
Contents

4509

Ziad Kobti, Dan Wu (Eds.): Advances in Artificial Intelligence, 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72664-7
Contents

4510

Pascal Van Hentenryck, Laurence A. Wolsey (Eds.): Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72396-7
Contents

4511

Cristina Conati, Kathleen F. McCoy, Georgios Paliouras (Eds.): User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73077-4
Contents

4512

Peter P. Chen, Leah Y. Wong (Eds.): Active Conceptual Modeling of Learning, Next Generation Learning-Base System Development [1st International ACM-L Workshop, November 8, 2006, during ER 2006, Tucson, Arizona, USA]. Springer 2008, ISBN 978-3-540-77502-7
Contents

4513

Matteo Fischetti, David P. Williamson (Eds.): Integer Programming and Combinatorial Optimization, 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72791-0
Contents

4514

Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72732-3
Contents

4515

Moni Naor (Ed.): Advances in Cryptology - EUROCRYPT 2007, 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72539-8
Contents

4516

Lorne Mason, Tadeusz Drwiega, James Yan (Eds.): Managing Traffic Performance in Converged Networks, 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72989-1
Contents

4517

Fernando Boavida, Edmundo Monteiro, Saverio Mascolo, Yevgeni Koucheryavy (Eds.): Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72694-4
Contents

4518

Norbert Fuhr, Mounia Lalmas, Andrew Trotman (Eds.): Comparative Evaluation of XML Information Retrieval Systems, 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, Dagstuhl Castle, Germany, December 17-20, 2006, Revised and Selected Papers. Springer 2007, ISBN 978-3-540-73887-9
Contents

4519

Enrico Franconi, Michael Kifer, Wolfgang May (Eds.): The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72666-1
Contents

4520

Martin V. Butz, Olivier Sigaud, Giovanni Pezzulo, Gianluca Baldassarre (Eds.): Anticipatory Behavior in Adaptive Learning Systems, From Brains to Individual and Social Behavior [the book is a result from the third workshop on anticipatory behavior in adaptive learning systems, ABiALS 2006, Rome, Italy, September 30, 2006, colocated with SAB 2006]. Springer 2007, ISBN 978-3-540-74261-6
Contents

4521

Jonathan Katz, Moti Yung (Eds.): Applied Cryptography and Network Security, 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72737-8
Contents

4522

Bjarne K. Ersbøll, Kim Steenstrup Pedersen (Eds.): Image Analysis, 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73039-2
Contents

4523

Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence Tianruo Yang, Sung Won Kim (Eds.): Embedded Software and Systems, Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72684-5
Contents

4524

Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (Eds.): Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72981-5
Contents

4525

Camil Demetrescu (Ed.): Experimental Algorithms, 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72844-3
Contents

4526

Miroslaw Malek, Manfred Reitenspieß, Aad P. A. van Moorsel (Eds.): Service Availability, 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72735-4
Contents

4527

José Mira, José R. Álvarez (Eds.): Bio-inspired Modeling of Cognitive Tasks, Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-73052-1
Contents

4528

José Mira, José R. Álvarez (Eds.): Nature Inspired Problem-Solving Methods in Knowledge Engineering, Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-73054-5
Contents

4529

Patricia Melin, Oscar Castillo, Luis T. Aguilar, Janusz Kacprzyk, Witold Pedrycz (Eds.): Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72917-4
Contents

4530

David H. Akehurst, Régis Vogel, Richard F. Paige (Eds.): Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings. Springer 2007, ISBN 978-3-540-72900-6
Contents

4531

Jadwiga Indulska, Kerry Raymond (Eds.): Distributed Applications and Interoperable Systems, 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72881-8
Contents

4532

Trey Ideker, Vineet Bafna (Eds.): Systems Biology and Computational Proteomics, Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-73059-0
Contents

4533

Franz Baader (Ed.): Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73447-5
Contents

4534

Ioannis Tomkos, Fabio Neri, Josep Solé-Pareta, Xavier Masip-Bruin, Sergio Sánchez-López (Eds.): Optical Network Design and Modeling, 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Springer 2007, ISBN 978-3-540-72729-3
Contents

4535

...

4536

Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi (Eds.): Agile Processes in Software Engineering and Extreme Programming, 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73100-9
Contents

4537

Kevin Chen-Chuan Chang, Wei Wang, Lei Chen, Clarence A. Ellis, Ching-Hsien Hsu, Ah Chung Tsoi, Haixun Wang (Eds.): Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72908-2
Contents

4538

Francisco Escolano, Mario Vento (Eds.): Graph-Based Representations in Pattern Recognition, 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72902-0
Contents

4539

Nader H. Bshouty, Claudio Gentile (Eds.): Learning Theory, 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72925-9
Contents

4540

Silvia Nittel, Alexandros Labrinidis, Anthony Stefanidis (Eds.): GeoSensor Networks, Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers. Springer 2008, ISBN 978-3-540-79995-5
Contents

4541

Takeshi Okadome, Tatsuya Yamazaki, Mounir Makhtari (Eds.): Pervasive Computing for Quality of Life Enhancement, 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73034-7
Contents

4542

Peter Sawyer, Barbara Paech, Patrick Heymans (Eds.): Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73030-9
Contents

4543

Arosha K. Bandara, Mark Burgess (Eds.): Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings. Springer 2007, ISBN 978-3-540-72985-3
Contents

4544

Sarah Cohen Boulakia, Val Tannen (Eds.): Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73254-9
Contents

4545

Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (Eds.): Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73432-1
Contents

4546

Jetty Kleijn, Alexandre Yakovlev (Eds.): Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73093-4
Contents

4547

Claude Carlet, Berk Sunar (Eds.): Arithmetic of Finite Fields, First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73073-6
Contents

4548

Nicola Olivetti (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73098-9
Contents

4549

James Aspnes, Christian Scheideler, Anish Arora, Samuel Madden (Eds.): Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73089-7
Contents

4550

Julie A. Jacko (Ed.): Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-73104-7
Contents

4551

Julie A. Jacko (Ed.): Human-Computer Interaction. Interaction Platforms and Techniques, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-73106-1
Contents

4552

Julie A. Jacko (Ed.): Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III. Springer 2007, ISBN 978-3-540-73108-5
Contents

4553

Julie A. Jacko (Ed.): Human-Computer Interaction. HCI Applications and Services, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV. Springer 2007, ISBN 978-3-540-73109-2
Contents

4554

Constantine Stephanidis (Ed.): Universal Access in Human Computer Interaction. Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-73278-5
Contents

4555

Constantine Stephanidis (Ed.): Universal Access in Human-Computer Interaction. Ambient Interaction, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II. Springer 2007, ISBN 978-3-540-73280-8
Contents

4556

Constantine Stephanidis (Ed.): Universal Access in Human-Computer Interaction. Applications and Services, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III. Springer 2007, ISBN 978-3-540-73282-2
Contents

4557

Michael J. Smith, Gavriel Salvendy (Eds.): Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part I. Springer 2007, ISBN 978-3-540-73344-7
Contents

4558

Michael J. Smith, Gavriel Salvendy (Eds.): Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-73353-9
Contents

4559

Nuray M. Aykin (Ed.): Usability and Internationalization. HCI and Culture, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-73286-0
Contents

4560

Nuray M. Aykin (Ed.): Usability and Internationalization. Global and Local User Interfaces, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-73288-4
Contents

4561

Vincent G. Duffy (Ed.): Digital Human Modeling, First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73318-8
Contents

4562

Don Harris (Ed.): Engineering Psychology and Cognitive Ergonomics, 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73330-0
Contents

4563

Randall Shumaker (Ed.): Virtual Reality, Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73334-8
Contents

4564

Douglas Schuler (Ed.): Online Communities and Social Computing, Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73256-3
Contents

4565

Dylan Schmorrow, Leah Reeves (Eds.): Foundations of Augmented Cognition, Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73215-0
Contents

4566

Marvin J. Dainoff (Ed.): Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73332-4
Contents

4567

Teddy Furon, François Cayre, Gwenaël J. Doërr, Patrick Bas (Eds.): Information Hiding, 9th International Workshop, IH 2007, Saint Malo, France, June 11-13, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-77369-6
Contents

4568

Toru Ishida, Susan R. Fussell, Piek T. J. M. Vossen (Eds.): Intercultural Collaboration, First International Workshop, IWIC 2007, Kyoto, Japan, January 25-26, 2007, Invited and Selected Papers. Springer 2007, ISBN 978-3-540-73999-9
Contents

4569

Andreas Butz, Brian D. Fisher, Antonio Krüger, Patrick Olivier, Shigeru Owada (Eds.): Smart Graphics, 7th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73213-6
Contents

4570

Hiroshi G. Okuno, Moonis Ali (Eds.): New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73322-5
Contents

4571

Petra Perner (Ed.): Machine Learning and Data Mining in Pattern Recognition, 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73498-7
Contents

4572

Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore (Eds.): Security and Privacy in Ad-hoc and Sensor Networks, 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73274-7
Contents

4573

Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (Eds.): Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73083-5
Contents

4574

John Derrick, Jüri Vain (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73195-5
Contents

4575

Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto (Eds.): Pairing-Based Cryptography - Pairing 2007, First International Conference, Tokyo, Japan, July 2-4, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73488-8
Contents

4576

Daniel Leivant, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73443-7
Contents

4577

Nicu Sebe, Yuncai Liu, Yueting Zhuang, Thomas S. Huang (Eds.): Multimedia Content Analysis and Mining, International Workshop, MCAM 2007, Weihai, China, June 30 - July 1, 2007, Proceedings. Springer 2007
Contents

4578

Francesco Masulli, Sushmita Mitra, Gabriella Pasi (Eds.): Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73399-7
Contents

4579

Bernhard M. Hämmerli, Robin Sommer (Eds.): Detection of Intrusions and Malware, and Vulnerability Assessment, 4th International Conference, DIMVA 2007, Lucerne, Switzerland, July 12-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73613-4
Contents

4580

Bin Ma, Kaizhong Zhang (Eds.): Combinatorial Pattern Matching, 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73436-9
Contents

4581

Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (Eds.): Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73065-1
Contents

4582

Javier Lopez, Pierangela Samarati, Josep L. Ferrer (Eds.): Public Key Infrastructure, 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73407-9
Contents

4583

Simona Ronchi Della Rocca (Ed.): Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73227-3
Contents

4584

Nico Karssemeijer, Boudewijn P. F. Lelieveldt (Eds.): Information Processing in Medical Imaging, 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73272-3
Contents

4585

Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski, Andrzej Skowron (Eds.): Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73450-5
Contents

4586

Josef Pieprzyk, Hossein Ghodosi, Ed Dawson (Eds.): Information Security and Privacy, 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73457-4
Contents

4587

Richard Cooper, Jessie B. Kennedy (Eds.): Data Management. Data, Data Everywhere, 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73389-8
Contents

4588

Tero Harju, Juhani Karhumäki, Arto Lepistö (Eds.): Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73207-5
Contents

4589

Jürgen Münch, Pekka Abrahamsson (Eds.): Product-Focused Software Process Improvement, 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73459-8
Contents

4590

Werner Damm, Holger Hermanns (Eds.): Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73367-6
Contents

4591

Jim Davies, Jeremy Gibbons (Eds.): Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73209-9
Contents

4592

Zoubida Kedad, Nadira Lammari, Elisabeth Métais, Farid Meziane, Yacine Rezgui (Eds.): Natural Language Processing and Information Systems, 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73350-8
Contents

4593

Alex Biryukov (Ed.): Fast Software Encryption, 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-74617-1
Contents

4594

Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter (Eds.): Artificial Intelligence in Medicine, 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73598-4
Contents

4595

Dragan Bosnacki, Stefan Edelkamp (Eds.): Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73369-0
Contents

4596

Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki (Eds.): Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73419-2
Contents

4597

Petra Perner (Ed.): Advances in Data Mining. Theoretical Aspects and Applications, 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73434-5
Contents

4598

Guohui Lin (Ed.): Computing and Combinatorics, 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73544-1
Contents

4599

Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hämäläinen (Eds.): Embedded Computer Systems: Architectures, Modeling, and Simulation, 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings. Springer 2007, ISBN 978-3-540-73622-6
Contents