Lecture Notes in Computer Science (LNCS), Volumes 4800-4899

4800

Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (Eds.): Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer 2008, ISBN 978-3-540-78126-4
Contents

4801

Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim (Eds.): Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75562-3
Contents

4802

Jean-Luc Hainaut, Elke A. Rundensteiner, Markus Kirchberg, Michela Bertolotto, Mathias Brochhausen, Yi-Ping Phoebe Chen, Samira Si-Said Cherfi, Martin Doerr, Hyoil Han, Sven Hartmann, Jeffrey Parsons, Geert Poels, Colette Rolland, Juan Trujillo, Eric S. K. Yu, Esteban Zimányi (Eds.): Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76291-1
Contents

4803

Robert Meersman, Zahir Tari (Eds.): On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-76846-3
Contents

4804

Robert Meersman, Zahir Tari (Eds.): On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-76835-7
Contents

4805

Robert Meersman, Zahir Tari, Pilar Herrero (Eds.): On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-76887-6
Contents

4806

Robert Meersman, Zahir Tari, Pilar Herrero (Eds.): On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-76889-0
Contents

4807

Zhong Shao (Ed.): Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76636-0
Contents

4808

Tei-Wei Kuo, Edwin Hsing-Mean Sha, Minyi Guo, Laurence Tianruo Yang, Zili Shao (Eds.): Embedded and Ubiquitous Computing, International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77091-6
Contents

4809

Mieso K. Denko, Chi-Sheng Shih, Kuan-Ching Li, Shiao-Li Tsao, Qing-An Zeng, Soo-Hyun Park, Young-Bae Ko, Shih-Hao Hung, Jong Hyuk Park (Eds.): Emerging Directions in Embedded and Ubiquitous Computing, EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77089-3
Contents

4810

Horace Ho-Shing Ip, Oscar C. Au, Howard Leung, Ming-Ting Sun, Wei-Ying Ma, Shi-Min Hu (Eds.): Advances in Multimedia Information Processing - PCM 2007, 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77254-5
Contents

4811

Olfa Nasraoui, Myra Spiliopoulou, Jaideep Srivastava, Bamshad Mobasher, Brij M. Masand (Eds.): Advances in Web Mining and Web Usage Analysis, 8th International Workshop on Knowledge Discovery on the Web, WebKDD 2006, Philadelphia, PA, USA, August 20, 2006, Revised Papers. Springer 2007, ISBN 978-3-540-77484-6
Contents

4812

Patrick Drew McDaniel, Shyam K. Gupta (Eds.): Information Systems Security, Third International Conference, ICISS 2007, Delhi, India, December 16-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77085-5
Contents

4813

Ian Oakley, Stephen A. Brewster (Eds.): Haptic and Audio Interaction Design, Second International Workshop, HAID 2007, Seoul, South Korea, November 29-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76701-5
Contents

4814

Ahmed M. Elgammal, Bodo Rosenhahn, Reinhard Klette (Eds.): Human Motion - Understanding, Modeling, Capture and Animation, Second Workshop, Human Motion 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75702-3
Contents

4815

Ashish Ghosh, Rajat K. De, Sankar K. Pal (Eds.): Pattern Recognition and Machine Intelligence, Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77045-9
Contents

4816

Bianca Falcidieno, Michela Spagnuolo, Yannis S. Avrithis, Ioannis Kompatsiaris, Paul Buitelaar (Eds.): Semantic Multimedia, Second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77033-6
Contents

4817

Kil-Hyun Nam, Gwangsoo Rhee (Eds.): Information Security and Cryptology - ICISC 2007, 10th International Conference, Seoul, Korea, November 29-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76787-9
Contents

4818

Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski (Eds.): Large-Scale Scientific Computing, 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers. Springer 2008, ISBN 978-3-540-78825-6
Contents

4819

Takashi Washio, Zhi-Hua Zhou, Joshua Zhexue Huang, Xiaohua Hu, Jinyan Li, Chao Xie, Jieyue He, Deqing Zou, Kuan-Ching Li, Mário M. Freire (Eds.): Emerging Technologies in Knowledge Discovery and Data Mining, PAKDD 2007, International Workshops, Nanjing, China, May 22-25, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77016-9
Contents

4820

Theodor G. Wyeld, Sarah Kenderdine, Michael Docherty (Eds.): Virtual Systems and Multimedia, 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78565-1
Contents

4821

Jens Bennedsen, Michael E. Caspersen, Michael Kölling (Eds.): Reflections on the Teaching of Programming, Methods and Implementations. Lecture Notes in Computer Science Vol. 4821 Springer 2008, ISBN 978-3-540-77933-9
Contents

4822

Dion Hoe-Lian Goh, Tru Hoang Cao, Ingeborg Sølvberg, Edie M. Rasmussen (Eds.): Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers, 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77093-0
Contents

4823

Howard Leung, Frederick W. B. Li, Rynson W. H. Lau, Qing Li (Eds.): Advances in Web Based Learning - ICWL 2007, 6th International Conference, Edinburgh, UK, August 15-17, 2007, Revised Papers. Springer 2008, ISBN 978-3-540-78138-7
Contents

4824

Adrian Paschke, Yevgen Biletskiy (Eds.): Advances in Rule Interchange and Applications, International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings. Springer 2007, ISBN 978-3-540-75974-4
Contents

4825

Karl Aberer, Key-Sun Choi, Natasha Fridman Noy, Dean Allemang, Kyung-Il Lee, Lyndon J. B. Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, Philippe Cudré-Mauroux (Eds.): The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Springer 2007, ISBN 978-3-540-76297-3
Contents

4826

Petra Perner, Ovidio Salvetti (Eds.): Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry, International Conferences, MDA 2006/2007, Leipzig, Germany, July 18, 2007. Selected Papers. Springer 2007, ISBN 978-3-540-76299-7
Contents

4827

Alexander F. Gelbukh, Angel Fernando Kuri Morales (Eds.): MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76630-8
Contents

4828

Marcus Randall, Hussein A. Abbass, Janet Wiles (Eds.): Progress in Artificial Life, Third Australian Conference, ACAL 2007, Gold Coast, Australia, December 4-6, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76930-9
Contents

4829

Markus Lumpe, Wim Vanderperren (Eds.): Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77350-4
Contents

4830

Mehmet A. Orgun, John Thornton (Eds.): AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76926-2
Contents

4831

Boualem Benatallah, Fabio Casati, Dimitrios Georgakopoulos, Claudio Bartolini, Wasim Sadiq, Claude Godart (Eds.): Web Information Systems Engineering - WISE 2007, 8th International Conference on Web Information Systems Engineering, Nancy, France, December 3-7, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76992-7
Contents

4832

Mathias Weske, Mohand-Said Hacid, Claude Godart (Eds.): Web Information Systems Engineering - WISE 2007 Workshops, WISE 2007 International Workshops, Nancy, France, December 3, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77009-1
Contents

4833

Kaoru Kurosawa (Ed.): Advances in Cryptology - ASIACRYPT 2007, 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76899-9
Contents

4834

Renato Cerqueira, Roy H. Campbell (Eds.): Middleware 2007, ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76777-0
Contents

4835

Takeshi Tokuyama (Ed.): Algorithms and Computation, 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77118-0
Contents

4836

Haruhisa Ichikawa, We-Duke Cho, Ichiro Satoh, Hee Yong Youn (Eds.): Ubiquitous Computing Systems, 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76771-8
Contents

4837

Miroslaw Kutylowski, Jacek Cichon, Przemyslaw Kubiak (Eds.): Algorithmic Aspects of Wireless Sensor Networks, Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-77870-7
Contents

4838

Toshimitsu Masuzawa, Sébastien Tixeuil (Eds.): Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76626-1
Contents

4839

Oleg Sokolsky, Serdar Tasiran (Eds.): Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77394-8
Contents

4840

Lucas Paletta, Erich Rome (Eds.): Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint, 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007, Hyderabad, India, January 8, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77342-9
Contents

4841

George Bebis, Richard D. Boyle, Bahram Parvin, Darko Koracin, Nikos Paragios, Tanveer Fathima Syeda-Mahmood, Tao Ju, Zicheng Liu, Sabine Coquillart, Carolina Cruz-Neira, Torsten Müller, Thomas Malzbender (Eds.): Advances in Visual Computing, Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-76857-9
Contents

4842

George Bebis, Richard D. Boyle, Bahram Parvin, Darko Koracin, Nikos Paragios, Tanveer Fathima Syeda-Mahmood, Tao Ju, Zicheng Liu, Sabine Coquillart, Carolina Cruz-Neira, Torsten Müller, Thomas Malzbender (Eds.): Advances in Visual Computing, Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-76855-5
Contents

4843

Yasushi Yagi, Sing Bing Kang, In-So Kweon, Hongbin Zha (Eds.): Computer Vision - ACCV 2007, 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I. Springer 2007, ISBN 978-3-540-76385-7
Contents

4844

Yasushi Yagi, Sing Bing Kang, In-So Kweon, Hongbin Zha (Eds.): Computer Vision - ACCV 2007, 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II. Springer 2007, ISBN 978-3-540-76389-5
Contents

4845

Ning Zhong, Jiming Liu, Yiyu Yao, Jing-Long Wu, Shengfu Lu, Kuncheng Li (Eds.): Web Intelligence Meets Brain Informatics, First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers. Springer 2007, ISBN 978-3-540-77027-5
Contents

4846

Iliano Cervesato (Ed.): Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76927-9
Contents

4847

Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu (Eds.): Advanced Parallel Processing Technologies, 7th International Symposium, APPT 2007, Guangzhou, China, November 22-23, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76836-4
Contents

4848

Max H. Garzon, Hao Yan (Eds.): DNA Computing, 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-77961-2
Contents

4849

Marco Winckler, Hilary Johnson, Philippe A. Palanque (Eds.): Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77221-7
Contents

4850

Max Lungarella, Fumiya Iida, Josh C. Bongard, Rolf Pfeifer (Eds.): 50 Years of Artificial Intelligence, Essays Dedicated to the 50th Anniversary of Artificial Intelligence. Springer 2007, ISBN 978-3-540-77295-8
Contents

4851

Serdar Boztas, Hsiao-feng Lu (Eds.): Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77223-1
Contents

4852

Jeannette C. M. Janssen, Pawel Pralat (Eds.): Combinatorial and Algorithmic Aspects of Networking, 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers. Springer 2007, ISBN 978-3-540-77293-4
Contents

4853

Frederico T. Fonseca, M. Andrea Rodríguez, Sergei Levashkin (Eds.): GeoSpatial Semantics, Second International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76875-3
Contents

4854

Luc Bougé, Martti Forsell, Jesper Larsson Träff, Achim Streit, Wolfgang Ziegler, Michael Alexander, Stephen Childs (Eds.): Euro-Par 2007 Workshops: Parallel Processing, HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78472-2
Contents

4855

Vikraman Arvind, Sanjiva Prasad (Eds.): FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77049-7
Contents

4856

Feng Bao, San Ling, Tatsuaki Okamoto, Huaxiong Wang, Chaoping Xing (Eds.): Cryptology and Network Security, 6th International Conference, CANS 2007, Singapore, December 8-10, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76968-2
Contents

4857

J. Mark Ware, George E. Taylor (Eds.): Web and Wireless Geographical Information Systems, 7th International Symposium, W2GIS 2007, Cardiff, UK, November 28-29, 2007. Proceedings. Springer 2007, ISBN 978-3-540-76923-1
Contents

4858

Xiaotie Deng, Fan Chung Graham (Eds.): Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77104-3
Contents

4859

K. Srinathan, C. Pandu Rangan, Moti Yung (Eds.): Progress in Cryptology - INDOCRYPT 2007, 8th International Conference on Cryptology in India, Chennai, India, December 9-13, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77025-1
Contents

4860

George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.): Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers. Springer 2007, ISBN 978-3-540-77311-5
Contents

4861

Sihan Qing, Hideki Imai, Guilin Wang (Eds.): Information and Communications Security, 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007, Proceedings. Springer 2008, ISBN 978-3-540-77047-3
Contents

4862

Norbert Fuhr, Jaap Kamps, Mounia Lalmas, Andrew Trotman (Eds.): Focused Access to XML Documents, 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007, Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers. Springer 2008, ISBN 978-3-540-85901-7
Contents

4863

Anthony Bonato, Fan R. K. Chung (Eds.): Algorithms and Models for the Web-Graph, 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77003-9
Contents

4864

Hongke Zhang, Stephan Olariu, Jiannong Cao, David B. Johnson (Eds.): Mobile Ad-Hoc and Sensor Networks, Third International Conference, MSN 2007, Beijing, China, December 12-14, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77023-7
Contents

4865

Karl Tuyls, Ann Nowé, Zahia Guessoum, Daniel Kudenko (Eds.): Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers. Springer 2008, ISBN 978-3-540-77947-6
Contents

4866

Serge Fdida, Kazunori Sugiura (Eds.): Sustainable Internet, Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings. Springer 2007, ISBN 978-3-540-76808-1
Contents

4867

Sehun Kim, Moti Yung, Hyung-Woo Lee (Eds.): Information Security Applications, 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-77534-8
Contents

4868

...

4869

Francisco Botana, Tomás Recio (Eds.): Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Springer 2007, ISBN 978-3-540-77355-9
Contents

4870

Jaime Simão Sichman, Julian A. Padget, Sascha Ossowski, Pablo Noriega (Eds.): Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-79002-0
Contents

4871

Marc Cavazza, Stéphane Donikian (Eds.): Virtual Storytelling. Using Virtual Reality Technologies for Storytelling, 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77037-4
Contents

4872

Domingo Mery, Luis Rueda (Eds.): Advances in Image and Video Technology, Second Pacific Rim Symposium, PSIVT 2007, Santiago, Chile, December 17-19, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77128-9
Contents

4873

Srinivas Aluru, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna (Eds.): High Performance Computing - HiPC 2007, 14th International Conference, Goa, India, December 18-21, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77219-4
Contents

4874

José Neves, Manuel Filipe Santos, José Machado (Eds.): Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77000-8
Contents

4875

Seok-Hee Hong, Takao Nishizeki, Wu Quan (Eds.): Graph Drawing, 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers. Springer 2008, ISBN 978-3-540-77536-2
Contents

4876

Carlisle M. Adams, Ali Miri, Michael J. Wiener (Eds.): Selected Areas in Cryptography, 14th International Workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77359-7
Contents

4877

Costantino Thanos, Francesca Borri, Leonardo Candela (Eds.): Digital Libraries: Research and Development, First International DELOS Conference, Pisa, Italy, February 13-14, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77087-9
Contents

4878

Eduardo Tovar, Philippas Tsigas, Hacène Fouchal (Eds.): Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings. Springer 2007, ISBN 978-3-540-77095-4
Contents

4879

Ernesto Damiani, Kokou Yétongnon, Richard Chbeir, Albert Dipanda (Eds.): Advanced Internet Based Systems and Applications, Second International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2006, Hammamet, Tunisia, December 17-21, 2006, Revised Selected Papers. Springer 2009, ISBN 978-3-642-01349-2
Contents

4880

Sven Overhage, Clemens A. Szyperski, Ralf Reussner, Judith A. Stafford (Eds.): Software Architectures, Components, and Applications, Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-77617-8
Contents

4881

Hujun Yin, Peter Tiño, Emilio Corchado, William Byrne, Xin Yao (Eds.): Intelligent Data Engineering and Automated Learning - IDEAL 2007, 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77225-5
Contents

4882

Tomasz Janowski, Hrushikesha Mohanty (Eds.): Distributed Computing and Internet Technology, 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20, Proceedings. Springer 2007, ISBN 978-3-540-77112-8
Contents

4883

...

4884

Pompeu Casanovas, Giovanni Sartor, Nuria Casellas, Rossella Rubino (Eds.): Computable Models of the Law, Languages, Dialogues, Games, Ontologies. Lecture Notes in Computer Science Vol. 4884 Springer 2008, ISBN 978-3-540-85568-2

4885

Mohamed Chetouani, Amir Hussain, Bruno Gas, Maurice Milgram, Jean-Luc Zarader (Eds.): Advances in Nonlinear Speech Processing, International Conference on Non-Linear Speech Processing, NOLISP 2007, Paris, France, May 22-25, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77346-7
Contents

4886

Sven Dietrich, Rachna Dhamija (Eds.): Financial Cryptography and Data Security, 11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad and Tobago, February 12-16, 2007. Revised Selected Papers. Springer 2008, ISBN 978-3-540-77365-8
Contents

4887

Steven D. Galbraith (Ed.): Cryptography and Coding, 11th IMA International Conference, Cirencester, UK, December 18-20, 2007, Proceedings. Springer 2007, ISBN 978-3-540-77271-2
Contents

4888

Fabrice Kordon, Oleg Sokolsky (Eds.): Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77418-1
Contents

4889

Alexander A. Pasko, Valery Adzhiev, Peter Comninos (Eds.): Heterogeneous Objects Modelling and Applications, Collection of Papers on Foundations and Practice. Lecture Notes in Computer Science Vol. 4889 Springer 2008, ISBN 978-3-540-68441-1
Contents

4890

Francesco Bonchi, Elena Ferrari, Bradley Malin, Yücel Saygin (Eds.): Privacy, Security, and Trust in KDD, First ACM SIGKDD International Workshop, PinKDD 2007, San Jose, CA, USA, August 12, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78477-7
Contents

4891

...

4892

Andrei Popescu-Belis, Steve Renals, Hervé Bourlard (Eds.): Machine Learning for Multimodal Interaction , 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78154-7
Contents

4893

Solomon W. Golomb, Guang Gong, Tor Helleseth, Hong-Yeop Song (Eds.): Sequences, Subsequences, and Consequences, International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers. Springer 2007, ISBN 978-3-540-77403-7
Contents

4894

Hendrik Blockeel, Jan Ramon, Jude W. Shavlik, Prasad Tadepalli (Eds.): Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78468-5
Contents

4895

Juan Jose Cuadrado-Gallego, René Braungarten, Reiner R. Dumke, Alain Abran (Eds.): Software Process and Product Measurement, International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers. Springer 2008, ISBN 978-3-540-85552-1
Contents

4896

Ammar Alkassar, Melanie Volkamer (Eds.): E-Voting and Identity, First International Conference, VOTE-ID 2007, Bochum, Germany, October 4-5, 2007, Revised Selected Papers. Springer 2007, ISBN 978-3-540-77492-1
Contents

4897

Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (Eds.): Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Springer 2008, ISBN 978-3-540-77563-8
Contents

4898

Manuel Kolp, Brian Henderson-Sellers, Haralambos Mouratidis, Alessandro Garcia, Aditya Ghose, Paolo Bresciani (Eds.): Agent-Oriented Information Systems IV, 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers. Springer 2008, ISBN 978-3-540-77989-6
Contents

4899

Karen Yorav (Ed.): Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Springer 2008, ISBN 978-3-540-77964-3
Contents