Lecture Notes in Computer Science (LNCS), Volumes 4700-4799

4700

Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Springer 2007, ISBN 978-3-540-75220-2
Contents

4701

Joost N. Kok, Jacek Koronacki, Ramon López de Mántaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron (Eds.): Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74957-8
Contents

4702

Joost N. Kok, Jacek Koronacki, Ramon López de Mántaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron (Eds.): Knowledge Discovery in Databases: PKDD 2007, 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74975-2
Contents

4703

Luís Caires, Vasco Thudichum Vasconcelos (Eds.): CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74406-1
Contents

4704

Denilson Barbosa, Angela Bonifati, Zohra Bellahsene, Ela Hunt, Rainer Unland (Eds.): Database and XMLTechnologies, 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75287-5
Contents

4705

Osvaldo Gervasi, Marina L. Gavrilova (Eds.): Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I. Springer 2007, ISBN 978-3-540-74468-9
Contents

4706

Osvaldo Gervasi, Marina L. Gavrilova (Eds.): Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II. Springer 2007, ISBN 978-3-540-74475-7
Contents

4707

Osvaldo Gervasi, Marina L. Gavrilova (Eds.): Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III. Springer 2007, ISBN 978-3-540-74482-5
Contents

4708

Ludek Kucera, Antonín Kucera (Eds.): Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74455-9
Contents

4709

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

4710

Chris George, Zhiming Liu, Jim Woodcock (Eds.): Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Springer 2007, ISBN 978-3-540-74963-9
Contents

4711

Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75290-5
Contents

4712

Yevgeni Koucheryavy, Jarmo Harju, Alexander Sayenko (Eds.): Next Generation Teletraffic and Wired/Wireless Advanced Networking, 7th International Conference, NEW2AN 2007, St. Petersburg, Russia, September 10-14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74832-8
Contents

4713

Fred A. Hamprecht, Christoph Schnörr, Bernd Jähne (Eds.): Pattern Recognition, 29th DAGM Symposium, Heidelberg, Germany, September 12-14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74933-2
Contents

4714

Gustavo Alonso, Peter Dadam, Michael Rosemann (Eds.): Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75182-3
Contents

4715

Jörg M. Haake, Sergio F. Ochoa, Alejandra Cechich (Eds.): Groupware: Design, Implementation, and Use, 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74811-3
Contents

4716

Bertrand Meyer, Mathai Joseph (Eds.): Software Engineering Approaches for Offshore and Outsourced Development, First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers. Springer 2007, ISBN 978-3-540-75541-8
Contents

4717

John Krumm, Gregory D. Abowd, Aruna Seneviratne, Thomas Strang (Eds.): UbiComp 2007: Ubiquitous Computing, 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74852-6
Contents

4718

Jeffrey Hightower, Bernt Schiele, Thomas Strang (Eds.): Location- and Context-Awareness, Third International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75159-5
Contents

4719

...

4720

Boris Konev, Frank Wolter (Eds.): Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74620-1
Contents

4721

Willem Jonker, Milan Petkovic (Eds.): Secure Data Management, 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75247-9
Contents

4722

Catherine Pelachaud, Jean-Claude Martin, Elisabeth André, Gérard Chollet, Kostas Karpouzis, Danielle Pelé (Eds.): Intelligent Virtual Agents, 7th International Conference, IVA 2007, Paris, France, September 17-19, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74996-7
Contents

4723

Michael R. Berthold, John Shawe-Taylor, Nada Lavrac (Eds.): Advances in Intelligent Data Analysis VII, 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74824-3
Contents

4724

Khaled Mellouli (Ed.): Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75255-4
Contents

4725

David Hutchison, Randy H. Katz (Eds.): Self-Organizing Systems, Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74916-5
Contents

4726

Nivio Ziviani, Ricardo A. Baeza-Yates (Eds.): String Processing and Information Retrieval, 14th International Symposium, SPIRE 2007, Santiago, Chile, October 29-31, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75529-6
Contents

4727

Pascal Paillier, Ingrid Verbauwhede (Eds.): Cryptographic Hardware and Embedded Systems - CHES 2007, 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74734-5
Contents

4728

Symeon Bozapalidis, George Rahonis (Eds.): Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers. Springer/Springer 2007, ISBN 978-3-540-75413-8
Contents

4729

Francesco Mele, Giuliana Ramella, Silvia Santillo, Francesco Ventriglia (Eds.): Advances in Brain, Vision, and Artificial Intelligence, Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75554-8
Contents

4730

Carol Peters, Paul Clough, Fredric C. Gey, Jussi Karlgren, Bernardo Magnini, Douglas W. Oard, Maarten de Rijke, Maximilian Stempfhuber (Eds.): Evaluation of Multilingual and Multi-modal Information Retrieval, 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-74998-1
Contents

4731

Andrzej Pelc (Ed.): Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75141-0
Contents

4732

Klaus Schneider, Jens Brandt (Eds.): Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74590-7
Contents

4733

Roberto Basili, Maria Teresa Pazienza (Eds.): AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74781-9
Contents

4734

Joachim Biskup, Javier Lopez (Eds.): Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74834-2
Contents

4735

Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil (Eds.): Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75208-0
Contents

4736

Stephan Winter, Matt Duckham, Lars Kulik, Benjamin Kuipers (Eds.): Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74786-4
Contents

4737

Bettina Berendt, Andreas Hotho, Dunja Mladenic, Giovanni Semeraro (Eds.): From Web to Social Web: Discovering and Deploying User and Content Profiles, Workshop on Web Mining, WebMine 2006, Berlin, Germany, September 18, 2006. Revised Selected and Invited Papers. Springer 2007, ISBN 978-3-540-74950-9
Contents

4738

Ana Paiva, Rui Prada, Rosalind W. Picard (Eds.): Affective Computing and Intelligent Interaction, Second International Conference, ACII 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74888-5
Contents

4739

Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (Eds.): Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-75866-2
Contents

4740

Lizhuang Ma, Matthias Rauterberg, Ryohei Nakatsu (Eds.): Entertainment Computing - ICEC 2007, 6th International Conference, Shanghai, China, September 15-17, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74872-4
Contents

4741

Christian Bessiere (Ed.): Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74969-1
Contents

4742

Ivan Stojmenovic, Ruppa K. Thulasiram, Laurence Tianruo Yang, Weijia Jia, Minyi Guo, Rodrigo Fernandes de Mello (Eds.): Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74741-3
Contents

4743

Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso K. Denko, Ruppa K. Thulasiram, Laurence Tianruo Yang (Eds.): Frontiers of High Performance Computing and Networking ISPA 2007 Workshops, ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28 - September 1, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74766-6
Contents

4744

Yvonne de Kort, Wijnand IJsselsteijn, Cees J. H. Midden, Berry Eggen, B. J. Fogg (Eds.): Persuasive Technology, Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77005-3
Contents

4745

Emmanuel Gaudin, Elie Najm, Rick Reed (Eds.): SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74983-7
Contents

4746

Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum (Eds.): Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75293-6
Contents

4747

Saso Dzeroski, Jan Struyf (Eds.): Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006, Berlin, Germany, September 18, 2006, Revised Selected and Invited Papers. Springer 2007, ISBN 978-3-540-75548-7
Contents

4748

Katinka Wolter (Ed.): Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75210-3
Contents

4749

Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan (Eds.): Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74973-8
Contents

4750

Marina L. Gavrilova, Chih Jeng Kenneth Tan (Eds.): Transactions on Computational Science I. Springer 2008, ISBN 978-3-540-79298-7
Contents

4751

Glenn Tesler, Dannie Durand (Eds.): Comparative Genomics, RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74959-2
Contents

4752

Atsuko Miyaji, Hiroaki Kikuchi, Kai Rannenberg (Eds.): Advances in Information and Computer Security, Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75650-7
Contents

4753

Erik Duval, Ralf Klamma, Martin Wolpers (Eds.): Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75194-6
Contents

4754

Marcus Hutter, Rocco A. Servedio, Eiji Takimoto (Eds.): Algorithmic Learning Theory, 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75224-0
Contents

4755

Vincent Corruble, Masayuki Takeda, Einoshin Suzuki (Eds.): Discovery Science, 10th International Conference, DS 2007, Sendai, Japan, October 1-4, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75487-9
Contents

4756

Luis Rueda, Domingo Mery, Josef Kittler (Eds.): Progress in Pattern Recognition, Image Analysis and Applications, 12th Iberoamericann Congress on Pattern Recognition, CIARP 2007, Valparaiso, Chile, November 13-16, 2007, Proceedings. Springer 2008, ISBN 978-3-540-76724-4
Contents

4757

Franck Cappello, Thomas Hérault, Jack Dongarra (Eds.): Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75415-2
Contents

4758

Flávio Oquendo (Ed.): Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75131-1
Contents

4759

...

4760

...

4761

Roman Obermaisser, Yunmook Nah, Peter P. Puschner, Franz-Josef Rammig (Eds.): Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers. Springer 2007, ISBN 978-3-540-75663-7
Contents

4762

Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (Eds.): Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75595-1
Contents

4763

Jean-François Raskin, P. S. Thiagarajan (Eds.): Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75453-4
Contents

4764

Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz (Eds.): Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings. Springer 2007, ISBN 978-3-540-74765-9
Contents

4765

...

4766

Nicolas Maudet, Simon Parsons, Iyad Rahwan (Eds.): Argumentation in Multi-Agent Systems, Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers. Springer 2007, ISBN 978-3-540-75525-8
Contents

4767

Farhad Arbab, Marjan Sirjani (Eds.): International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75697-2
Contents

4768

...

4769

Andreas Brandstädt, Dieter Kratsch, Haiko Müller (Eds.): Graph-Theoretic Concepts in Computer Science, 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers. Springer 2007, ISBN 978-3-540-74838-0
Contents

4770

Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (Eds.): Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75186-1
Contents

4771

Thomas Bartz-Beielstein, María J. Blesa Aguilera, Christian Blum, Boris Naujoks, Andrea Roli, Günter Rudolph, Michael Sampels (Eds.): Hybrid Metaheuristics, 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75513-5
Contents

4772

Henri Prade, V. S. Subrahmanian (Eds.): Scalable Uncertainty Management, First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75407-7
Contents

4773

Shingo Ata, Choong Seon Hong (Eds.): Managing Next Generation Networks and Services, 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75475-6
Contents

4774

Jagath C. Rajapakse, Bertil Schmidt, L. Gwenn Volkert (Eds.): Pattern Recognition in Bioinformatics, Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75285-1
Contents

4775

Anna Esposito, Marcos Faúndez-Zanuy, Eric Keller, Maria Marinaro (Eds.): Verbal and Nonverbal Communication Behaviours, COST Action 2102 International Workshop, Vietri sul Mare, Italy, March 29-31, 2007, Revised Selected and Invited Papers. Springer 2007, ISBN 978-3-540-76441-0
Contents

4776

Nikita Borisov, Philippe Golle (Eds.): Privacy Enhancing Technologies, 7th International Symposium, PET 2007 Ottawa, Canada, June 20-22, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-75550-0
Contents

4777

Subhash Bhalla (Ed.): Databases in Networked Information Systems, 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75511-1
Contents

4778

Shaohua Kevin Zhou, Wenyi Zhao, Xiaoou Tang, Shaogang Gong (Eds.): Analysis and Modeling of Faces and Gestures, Third International Workshop, AMFG 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75689-7
Contents

4779

Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta (Eds.): Information Security, 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75495-4
Contents

4780

Corrado Priami (Ed.): Transactions on Computational Systems Biology VIII. Springer/Springer 2007, ISBN 978-3-540-76638-4
Contents

4781

Guoping Qiu, Clement Leung, Xiangyang Xue, Robert Laurini (Eds.): Advances in Visual Information Systems, 9th International Conference, VISUAL 2007, Shanghai, China, June 28-29, 2007 Revised Selected Papers. Springer 2007, ISBN 978-3-540-76413-7
Contents

4782

Ronald H. Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes de Mello, Laurence Tianruo Yang (Eds.): High Performance Computing and Communications, Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75443-5
Contents

4783

Jan Holub, Jan Zdárek (Eds.): Implementation and Application of Automata, 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-76335-2
Contents

4784

Willy Susilo, Joseph K. Liu, Yi Mu (Eds.): Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75669-9
Contents

4785

Alexander Clemm, Lisandro Zambenedetti Granville, Rolf Stadler (Eds.): Managing Virtualization of Networks and Services, 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75693-4
Contents

4786

Deep Medhi, José Marcos S. Nogueira, Tom Pfeifer, Shyhtsun Felix Wu (Eds.): IP Operations and Management, 7th IEEE International Workshop, IPOM 2007, San José, USA, October 31 - November 2, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75852-5
Contents

4787

Dilip Krishnaswamy, Tom Pfeifer, Danny Raz (Eds.): Real-Time Mobile Multimedia Services, 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San José, USA, October 31 - November 2, 2007. Springer 2007, ISBN 978-3-540-75868-6
Contents

4788

Daniel Borrajo, Luis A. Castillo, Juan M. Corchado (Eds.): Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers. Springer 2007, ISBN 978-3-540-75270-7
Contents

4789

Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (Eds.): Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76648-3
Contents

4790

Nachum Dershowitz, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75558-6
Contents

4791

Nicholas Ayache, Sébastien Ourselin, Anthony J. Maeder (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-75756-6
Contents

4792

Nicholas Ayache, Sébastien Ourselin, Anthony J. Maeder (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-75758-0
Contents

4793

Gerd Kortuem, Joe Finney, Rodger Lea, Vasughi Sundramoorthy (Eds.): Smart Sensing and Context, Second European Conference, EuroSSC 2007, Kendal, England, October 23-25, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75695-8
Contents

4794

Bernt Schiele, Anind K. Dey, Hans Gellersen, Boris E. R. de Ruyter, Manfred Tscheligi, Reiner Wichert, Emile H. L. Aarts, Alejandro P. Buchmann (Eds.): Ambient Intelligence, European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76651-3
Contents

4795

Frank Schilder, Graham Katz, James Pustejovsky (Eds.): Annotating, Extracting and Reasoning about Time and Events, International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers. Springer 2007, ISBN 978-3-540-75988-1
Contents

4796

Michael S. Lew, Nicu Sebe, Thomas S. Huang, Erwin M. Bakker (Eds.): Human-Computer Interaction, IEEE International Workshop, HCI 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75772-6
Contents

4797

Marcelo Arenas, Michael I. Schwartzbach (Eds.): Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-75986-7
Contents

4798

Zili Zhang, Jörg H. Siekmann (Eds.): Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76718-3
Contents

4799

Andreas Holzinger (Ed.): HCI and Usability for Medicine and Health Care, Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November, 22, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76804-3
Contents