default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 4700-4799
4700Cliff B. Jones
, Zhiming Liu, Jim Woodcock:
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. Lecture Notes in Computer Science 4700, Springer 2007, ISBN 978-3-540-75220-2 [contents]- 4701Joost N. Kok, Jacek Koronacki, Ramón López de Mántaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron:
Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings. Lecture Notes in Computer Science 4701, Springer 2007, ISBN 978-3-540-74957-8 [contents] - 4702Joost N. Kok, Jacek Koronacki, Ramón López de Mántaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron:
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. Lecture Notes in Computer Science 4702, Springer 2007, ISBN 978-3-540-74975-2 [contents] - 4703Luís Caires, Vasco Thudichum Vasconcelos:
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Lecture Notes in Computer Science 4703, Springer 2007, ISBN 978-3-540-74406-1 [contents] - 4704Denilson Barbosa, Angela Bonifati, Zohra Bellahsene, Ela Hunt, Rainer Unland:
Database and XMLTechnologies, 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings. Lecture Notes in Computer Science 4704, Springer 2007, ISBN 978-3-540-75287-5 [contents] - 4705Osvaldo Gervasi, Marina L. Gavrilova:
Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I. Lecture Notes in Computer Science 4705, Springer 2007, ISBN 978-3-540-74468-9 [contents] - 4706Osvaldo Gervasi, Marina L. Gavrilova:
Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II. Lecture Notes in Computer Science 4706, Springer 2007, ISBN 978-3-540-74475-7 [contents] - 4707Osvaldo Gervasi, Marina L. Gavrilova:
Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III. Lecture Notes in Computer Science 4707, Springer 2007, ISBN 978-3-540-74482-5 [contents] - 4708Ludek Kucera, Antonín Kucera:
Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings. Lecture Notes in Computer Science 4708, Springer 2007, ISBN 978-3-540-74455-9 [contents] - 4709Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Lecture Notes in Computer Science 4709, Springer 2007, ISBN 978-3-540-74791-8 [contents] - 4710Chris George, Zhiming Liu, Jim Woodcock:
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Lecture Notes in Computer Science 4710, Springer 2007, ISBN 978-3-540-74963-9 [contents] - 4711Cliff B. Jones, Zhiming Liu, Jim Woodcock:
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4711, Springer 2007, ISBN 978-3-540-75290-5 [contents] - 4712Yevgeni Koucheryavy, Jarmo Harju, Alexander Sayenko:
Next Generation Teletraffic and Wired/Wireless Advanced Networking, 7th International Conference, NEW2AN 2007, St. Petersburg, Russia, September 10-14, 2007, Proceedings. Lecture Notes in Computer Science 4712, Springer 2007, ISBN 978-3-540-74832-8 [contents] - 4713Fred A. Hamprecht, Christoph Schnörr, Bernd Jähne:
Pattern Recognition, 29th DAGM Symposium, Heidelberg, Germany, September 12-14, 2007, Proceedings. Lecture Notes in Computer Science 4713, Springer 2007, ISBN 978-3-540-74933-2 [contents] - 4714Gustavo Alonso, Peter Dadam, Michael Rosemann:
Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings. Lecture Notes in Computer Science 4714, Springer 2007, ISBN 978-3-540-75182-3 [contents] - 4715Jörg M. Haake, Sergio F. Ochoa, Alejandra Cechich:
Groupware: Design, Implementation, and Use, 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings. Lecture Notes in Computer Science 4715, Springer 2007, ISBN 978-3-540-74811-3 [contents] - 4716Bertrand Meyer, Mathai Joseph:
Software Engineering Approaches for Offshore and Outsourced Development - 1st International Conference, SEAFOOD@TOOLS 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers. Lecture Notes in Computer Science 4716, Springer 2007, ISBN 978-3-540-75541-8 [contents] - 4717John Krumm, Gregory D. Abowd, Aruna Seneviratne, Thomas Strang:
UbiComp 2007: Ubiquitous Computing, 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007, Proceedings. Lecture Notes in Computer Science 4717, Springer 2007, ISBN 978-3-540-74852-6 [contents] - 4718Jeffrey Hightower, Bernt Schiele, Thomas Strang:
Location- and Context-Awareness, Third International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007, Proceedings. Lecture Notes in Computer Science 4718, Springer 2007, ISBN 978-3-540-75159-5 [contents] - 4719Roland Carl Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring:
Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures. Lecture Notes in Computer Science 4719, Springer 2007, ISBN 978-3-540-76785-5 [contents] - 4720Boris Konev, Frank Wolter:
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4720, Springer 2007, ISBN 978-3-540-74620-1 [contents] - 4721Willem Jonker, Milan Petkovic:
Secure Data Management, 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007, Proceedings. Lecture Notes in Computer Science 4721, Springer 2007, ISBN 978-3-540-75247-9 [contents] - 4722Catherine Pelachaud, Jean-Claude Martin, Elisabeth André, Gérard Chollet, Kostas Karpouzis, Danielle Pelé:
Intelligent Virtual Agents, 7th International Conference, IVA 2007, Paris, France, September 17-19, 2007, Proceedings. Lecture Notes in Computer Science 4722, Springer 2007, ISBN 978-3-540-74996-7 [contents] - 4723Michael R. Berthold, John Shawe-Taylor, Nada Lavrac:
Advances in Intelligent Data Analysis VII, 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4723, Springer 2007, ISBN 978-3-540-74824-3 [contents] - 4724Khaled Mellouli:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings. Lecture Notes in Computer Science 4724, Springer 2007, ISBN 978-3-540-75255-4 [contents] - 4725David Hutchison, Randy H. Katz:
Self-Organizing Systems, Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007, Proceedings. Lecture Notes in Computer Science 4725, Springer 2007, ISBN 978-3-540-74916-5 [contents] - 4726Nivio Ziviani, Ricardo A. Baeza-Yates:
String Processing and Information Retrieval, 14th International Symposium, SPIRE 2007, Santiago, Chile, October 29-31, 2007, Proceedings. Lecture Notes in Computer Science 4726, Springer 2007, ISBN 978-3-540-75529-6 [contents] - 4727Pascal Paillier, Ingrid Verbauwhede:
Cryptographic Hardware and Embedded Systems - CHES 2007, 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings. Lecture Notes in Computer Science 4727, Springer 2007, ISBN 978-3-540-74734-5 [contents] - 4728Symeon Bozapalidis, George Rahonis:
Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4728, Springer 2007, ISBN 978-3-540-75413-8 [contents] - 4729Francesco Mele, Giuliana Ramella, Silvia Santillo, Francesco Ventriglia:
Advances in Brain, Vision, and Artificial Intelligence, Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4729, Springer 2007, ISBN 978-3-540-75554-8 [contents] - 4730Carol Peters, Paul D. Clough, Fredric C. Gey, Jussi Karlgren, Bernardo Magnini, Douglas W. Oard, Maarten de Rijke, Maximilian Stempfhuber:
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. Lecture Notes in Computer Science 4730, Springer 2007, ISBN 978-3-540-74998-1 [contents] - 4731Andrzej Pelc:
Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings. Lecture Notes in Computer Science 4731, Springer 2007, ISBN 978-3-540-75141-0 [contents] - 4732Klaus Schneider, Jens Brandt:
Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. Lecture Notes in Computer Science 4732, Springer 2007, ISBN 978-3-540-74590-7 [contents] - 4733Roberto Basili, Maria Teresa Pazienza:
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. Lecture Notes in Computer Science 4733, Springer 2007, ISBN 978-3-540-74781-9 [contents] - 4734Joachim Biskup, Javier López:
Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings. Lecture Notes in Computer Science 4734, Springer 2007, ISBN 978-3-540-74834-2 [contents] - 4735Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil:
Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings. Lecture Notes in Computer Science 4735, Springer 2007, ISBN 978-3-540-75208-0 [contents] - 4736Stephan Winter, Matt Duckham, Lars Kulik, Benjamin Kuipers:
Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings. Lecture Notes in Computer Science 4736, Springer 2007, ISBN 978-3-540-74786-4 [contents] - 4737Bettina Berendt, Andreas Hotho, Dunja Mladenic, Giovanni Semeraro:
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. Lecture Notes in Computer Science 4737, Springer 2007, ISBN 978-3-540-74950-9 [contents] - 4738Ana Paiva, Rui Prada, Rosalind W. Picard:
Affective Computing and Intelligent Interaction, Second International Conference, ACII 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings. Lecture Notes in Computer Science 4738, Springer 2007, ISBN 978-3-540-74888-5 [contents] - 4739Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia:
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. Lecture Notes in Computer Science 4739, Springer 2007, ISBN 978-3-540-75866-2 [contents] - 4740Lizhuang Ma, Matthias Rauterberg, Ryohei Nakatsu:
Entertainment Computing - ICEC 2007, 6th International Conference, Shanghai, China, September 15-17, 2007, Proceedings. Lecture Notes in Computer Science 4740, Springer 2007, ISBN 978-3-540-74872-4 [contents] - 4741Christian Bessiere:
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings. Lecture Notes in Computer Science 4741, 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:
Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings. Lecture Notes in Computer Science 4742, 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:
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. Lecture Notes in Computer Science 4743, Springer 2007, ISBN 978-3-540-74766-6 [contents] - 4744Yvonne de Kort, Wijnand A. IJsselsteijn, Cees J. H. Midden, Berry Eggen, B. J. Fogg:
Persuasive Technology, Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4744, Springer 2007, ISBN 978-3-540-77005-3 [contents] - 4745Emmanuel Gaudin, Elie Najm, Rick Reed:
SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings. Lecture Notes in Computer Science 4745, Springer 2007, ISBN 978-3-540-74983-7 [contents] - 4746Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum:
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4746, Springer 2007, ISBN 978-3-540-75293-6 [contents] - 4747Saso Dzeroski, Jan Struyf:
Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006, Berlin, Germany, September 18, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4747, Springer 2007, ISBN 978-3-540-75548-7 [contents] - 4748Katinka Wolter:
Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Lecture Notes in Computer Science 4748, Springer 2007, ISBN 978-3-540-75210-3 [contents] - 4749Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan:
Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings. Lecture Notes in Computer Science 4749, Springer 2007, ISBN 978-3-540-74973-8 [contents] - 4750Marina L. Gavrilova, Chih Jeng Kenneth Tan:
Transactions on Computational Science I. Lecture Notes in Computer Science 4750, Springer 2008, ISBN 978-3-540-79298-7 [contents] - 4751Glenn Tesler, Dannie Durand:
Comparative Genomics, RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007, Proceedings. Lecture Notes in Computer Science 4751, Springer 2007, ISBN 978-3-540-74959-2 [contents] - 4752Atsuko Miyaji, Hiroaki Kikuchi, Kai Rannenberg:
Advances in Information and Computer Security, Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings. Lecture Notes in Computer Science 4752, Springer 2007, ISBN 978-3-540-75650-7 [contents] - 4753Erik Duval, Ralf Klamma, Martin Wolpers:
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. Lecture Notes in Computer Science 4753, Springer 2007, ISBN 978-3-540-75194-6 [contents] - 4754Marcus Hutter, Rocco A. Servedio, Eiji Takimoto:
Algorithmic Learning Theory, 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings. Lecture Notes in Computer Science 4754, Springer 2007, ISBN 978-3-540-75224-0 [contents] - 4755Vincent Corruble, Masayuki Takeda, Einoshin Suzuki:
Discovery Science, 10th International Conference, DS 2007, Sendai, Japan, October 1-4, 2007, Proceedings. Lecture Notes in Computer Science 4755, Springer 2007, ISBN 978-3-540-75487-9 [contents] - 4756Luis Rueda, Domingo Mery, Josef Kittler:
Progress in Pattern Recognition, Image Analysis and Applications, 12th Iberoamericann Congress on Pattern Recognition, CIARP 2007, Valparaiso, Chile, November 13-16, 2007, Proceedings. Lecture Notes in Computer Science 4756, Springer 2008, ISBN 978-3-540-76724-4 [contents] - 4757Franck Cappello, Thomas Hérault, Jack J. Dongarra:
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. Lecture Notes in Computer Science 4757, Springer 2007, ISBN 978-3-540-75415-2 [contents] - 4758Flávio Oquendo:
Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings. Lecture Notes in Computer Science 4758, Springer 2007, ISBN 978-3-540-75131-1 [contents] - 4759Jesús Labarta, Kazuki Joe, Toshinori Sato:
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. Lecture Notes in Computer Science 4759, Springer 2008, ISBN 978-3-540-77703-8 [contents] - 4760Erich Rome, Joachim Hertzberg, Georg Dorffner:
Towards Affordance-Based Robot Control - International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers. Lecture Notes in Computer Science 4760, Springer 2008, ISBN 978-3-540-77914-8 [contents] - 4761Roman Obermaisser, Yunmook Nah, Peter P. Puschner, Franz-Josef Rammig:
Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers. Lecture Notes in Computer Science 4761, Springer 2007, ISBN 978-3-540-75663-7 [contents] - 4762Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura:
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings. Lecture Notes in Computer Science 4762, Springer 2007, ISBN 978-3-540-75595-1 [contents] - 4763Jean-François Raskin, P. S. Thiagarajan:
Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Lecture Notes in Computer Science 4763, Springer 2007, ISBN 978-3-540-75453-4 [contents] - 4764Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz:
Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4764, Springer 2007, ISBN 978-3-540-74765-9 [contents] - 4765Ana Moreira, John Grundy:
Early Aspects: Current Challenges and Future Directions - 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4765, Springer 2007, ISBN 978-3-540-76810-4 [contents] - 4766Nicolas Maudet, Simon Parsons, Iyad Rahwan:
Argumentation in Multi-Agent Systems, Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4766, Springer 2007, ISBN 978-3-540-75525-8 [contents] - 4767Farhad Arbab, Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Lecture Notes in Computer Science 4767, Springer 2007, ISBN 978-3-540-75697-2 [contents] - 4768David S. Doermann, Stefan Jaeger:
Arabic and Chinese Handwriting Recognition - SACH 2006 Summit College Park, MD, USA, September 27-28, 2006 Selected Papers. Lecture Notes in Computer Science 4768, Springer 2008, ISBN 978-3-540-78198-1 [contents] - 4769Andreas Brandstädt, Dieter Kratsch, Haiko Müller:
Graph-Theoretic Concepts in Computer Science, 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers. Lecture Notes in Computer Science 4769, Springer 2007, ISBN 978-3-540-74838-0 [contents] - 4770Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings. Lecture Notes in Computer Science 4770, 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:
Hybrid Metaheuristics, 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings. Lecture Notes in Computer Science 4771, Springer 2007, ISBN 978-3-540-75513-5 [contents] - 4772Henri Prade, V. S. Subrahmanian:
Scalable Uncertainty Management, First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4772, Springer 2007, ISBN 978-3-540-75407-7 [contents] - 4773Shingo Ata, Choong Seon Hong:
Managing Next Generation Networks and Services, 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4773, Springer 2007, ISBN 978-3-540-75475-6 [contents] - 4774Jagath C. Rajapakse, Bertil Schmidt, L. Gwenn Volkert:
Pattern Recognition in Bioinformatics, Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings. Lecture Notes in Computer Science 4774, Springer 2007, ISBN 978-3-540-75285-1 [contents] - 4775Anna Esposito, Marcos Faúndez-Zanuy, Eric Keller, Maria Marinaro:
Verbal and Nonverbal Communication Behaviours, COST Action 2102 International Workshop, Vietri sul Mare, Italy, March 29-31, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4775, Springer 2007, ISBN 978-3-540-76441-0 [contents] - 4776Nikita Borisov, Philippe Golle:
Privacy Enhancing Technologies, 7th International Symposium, PET 2007 Ottawa, Canada, June 20-22, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4776, Springer 2007, ISBN 978-3-540-75550-0 [contents] - 4777Subhash Bhalla:
Databases in Networked Information Systems, 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007, Proceedings. Lecture Notes in Computer Science 4777, Springer 2007, ISBN 978-3-540-75511-1 [contents] - 4778Shaohua Kevin Zhou, Wenyi Zhao, Xiaoou Tang, Shaogang Gong:
Analysis and Modeling of Faces and Gestures, Third International Workshop, AMFG 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings. Lecture Notes in Computer Science 4778, Springer 2007, ISBN 978-3-540-75689-7 [contents] - 4779Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta:
Information Security, 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007, Proceedings. Lecture Notes in Computer Science 4779, Springer 2007, ISBN 978-3-540-75495-4 [contents] - 4780Corrado Priami:
Transactions on Computational Systems Biology VIII. Lecture Notes in Computer Science 4780, Springer 2007, ISBN 978-3-540-76638-4 [contents] - 4781Guoping Qiu, Clement Leung, Xiangyang Xue, Robert Laurini:
Advances in Visual Information Systems, 9th International Conference, VISUAL 2007, Shanghai, China, June 28-29, 2007 Revised Selected Papers. Lecture Notes in Computer Science 4781, Springer 2007, ISBN 978-3-540-76413-7 [contents] - 4782Ronald H. Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes de Mello, Laurence Tianruo Yang:
High Performance Computing and Communications, Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4782, Springer 2007, ISBN 978-3-540-75443-5 [contents] - 4783Jan Holub, Jan Zdárek:
Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4783, Springer 2007, ISBN 978-3-540-76335-2 [contents] - 4784Willy Susilo, Joseph K. Liu, Yi Mu:
Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings. Lecture Notes in Computer Science 4784, Springer 2007, ISBN 978-3-540-75669-9 [contents] - 4785Alexander Clemm, Lisandro Zambenedetti Granville, Rolf Stadler:
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. Lecture Notes in Computer Science 4785, Springer 2007, ISBN 978-3-540-75693-4 [contents] - 4786Deep Medhi, José Marcos S. Nogueira, Tom Pfeifer, Shyhtsun Felix Wu:
IP Operations and Management, 7th IEEE International Workshop, IPOM 2007, San José, USA, October 31 - November 2, 2007, Proceedings. Lecture Notes in Computer Science 4786, Springer 2007, ISBN 978-3-540-75852-5 [contents] - 4787Dilip Krishnaswamy, Tom Pfeifer, Danny Raz:
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. Lecture Notes in Computer Science 4787, Springer 2007, ISBN 978-3-540-75868-6 [contents] - 4788Daniel Borrajo, Luis A. Castillo, Juan M. Corchado:
Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers. Lecture Notes in Computer Science 4788, Springer 2007, ISBN 978-3-540-75270-7 [contents] - 4789Michael J. Butler, Michael G. Hinchey, María M. Larrondo-Petrie:
Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings. Lecture Notes in Computer Science 4789, Springer 2007, ISBN 978-3-540-76648-3 [contents] - 4790Nachum Dershowitz, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Lecture Notes in Computer Science 4790, Springer 2007, ISBN 978-3-540-75558-6 [contents] - 4791Nicholas Ayache, Sébastien Ourselin, Anthony J. Maeder:
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I. Lecture Notes in Computer Science 4791, Springer 2007, ISBN 978-3-540-75756-6 [contents] - 4792Nicholas Ayache, Sébastien Ourselin, Anthony J. Maeder:
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II. Lecture Notes in Computer Science 4792, Springer 2007, ISBN 978-3-540-75758-0 [contents] - 4793Gerd Kortuem, Joe Finney, Rodger Lea, Vasughi Sundramoorthy:
Smart Sensing and Context, Second European Conference, EuroSSC 2007, Kendal, England, UK, October 23-25, 2007, Proceedings. Lecture Notes in Computer Science 4793, 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:
Ambient Intelligence, European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007, Proceedings. Lecture Notes in Computer Science 4794, Springer 2007, ISBN 978-3-540-76651-3 [contents] - 4795Frank Schilder, Graham Katz, James Pustejovsky:
Annotating, Extracting and Reasoning about Time and Events, International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers. Lecture Notes in Computer Science 4795, Springer 2007, ISBN 978-3-540-75988-1 [contents] - 4796Michael S. Lew, Nicu Sebe, Thomas S. Huang, Erwin M. Bakker:
Human-Computer Interaction, IEEE International Workshop, HCI 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings. Lecture Notes in Computer Science 4796, Springer 2007, ISBN 978-3-540-75772-6 [contents] - 4797Marcelo Arenas, Michael I. Schwartzbach:
Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4797, Springer 2007, ISBN 978-3-540-75986-7 [contents] - 4798Zili Zhang, Jörg H. Siekmann:
Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings. Lecture Notes in Computer Science 4798, Springer 2007, ISBN 978-3-540-76718-3 [contents] - 4799Andreas Holzinger:
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. Lecture Notes in Computer Science 4799, Springer 2007, ISBN 978-3-540-76804-3 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-12 21:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
