Lecture Notes in Computer Science (LNCS), Volumes 4700-4799
4700Cliff 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 ]- 4701Joost 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 ]
- 4702Joost 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 ]
- 4703Luí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 ]
- 4704Denilson 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 ]
- 4705Osvaldo 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 ]
- 4706Osvaldo 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 ]
- 4707Osvaldo 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 ]
- 4708Ludek 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 ]
- 4709Frank 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 ]
- 4710Chris 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 ]
- 4711Cliff 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 ]
- 4712Yevgeni 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 ]
- 4713Fred 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 ]
- 4714Gustavo 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 ]
- 4715Jö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 ]
- 4716Bertrand 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 ]
- 4717John 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 ]
- 4718Jeffrey 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…. ...
- 4720Boris 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 ]
- 4721Willem 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 ]
- 4722Catherine 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 ]
- 4723Michael 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 ]
- 4724Khaled 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 ]
- 4725David 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 ]
- 4726Nivio 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 ]
- 4727Pascal 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 ]
- 4728Symeon Bozapalidis, George Rahonis (Eds.): Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers. Springer 2007 ISBN 978-3-540-75413-8 [ contents ]
- 4729Francesco 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 ]
- 4730Carol 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 ]
- 4731Andrzej 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 ]
- 4732Klaus 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 ]
- 4733Roberto 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 ]
- 4734Joachim 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 ]
- 4735Gregor 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 ]
- 4736Stephan 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 ]
- 4737Bettina 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 ]
- 4738Ana 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 ]
- 4739Roberto 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 ]
- 4740Lizhuang 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 ]
- 4741Christian 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 ]
- 4742Ivan 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 ]
- 4743Parimala 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 ]
- 4744Yvonne 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 ]
- 4745Emmanuel 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 ]
- 4746Andrea 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 ]
- 4747Saso 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 ]
- 4748Katinka 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 ]
- 4749Bernd 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 ]
- 4750Marina L. Gavrilova, Chih Jeng Kenneth Tan (Eds.): Transactions on Computational Science I. Springer 2008 ISBN 978-3-540-79298-7 [ contents ]
- 4751Glenn 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 ]
- 4752Atsuko 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 ]
- 4753Erik 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 ]
- 4754Marcus 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 ]
- 4755Vincent 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 ]
- 4756Luis 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 ]
- 4757Franck 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 ]
- 4758Flá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 ]
- 4759Jesús Labarta, Kazuki Joe, Toshinori Sato (Eds.): High-Performance Computing - 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers. Springer 2008 ISBN 978-3-540-77703-8 [ contents ]
- 4760…. ...
- 4761Roman 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 ]
- 4762Kedar 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 ]
- 4763Jean-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 ]
- 4764Pekka 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…. ...
- 4766Nicolas 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 ]
- 4767Farhad 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…. ...
- 4769Andreas 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 ]
- 4770Victor 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 ]
- 4771Thomas 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 ]
- 4772Henri 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 ]
- 4773Shingo 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 ]
- 4774Jagath 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 ]
- 4775Anna 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 ]
- 4776Nikita 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 ]
- 4777Subhash 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 ]
- 4778Shaohua 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 ]
- 4779Juan 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 ]
- 4780Corrado Priami (Ed.): Transactions on Computational Systems Biology VIII. Springer 2007 ISBN 978-3-540-76638-4 [ contents ]
- 4781Guoping 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 ]
- 4782Ronald 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 ]
- 4783Jan Holub, Jan Zdárek (Eds.): Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers. Springer 2007 ISBN 978-3-540-76335-2 [ contents ]
- 4784Willy 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 ]
- 4785Alexander 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 ]
- 4786Deep 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 ]
- 4787Dilip 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 ]
- 4788Daniel 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 ]
- 4789Michael 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 ]
- 4790Nachum 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 ]
- 4791Nicholas 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 ]
- 4792Nicholas 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 ]
- 4793Gerd 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 ]
- 4794Bernt 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 ]
- 4795Frank 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 ]
- 4796Michael 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 ]
- 4797Marcelo 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 ]
- 4798Zili 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 ]
- 4799Andreas 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 ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team