default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 4500-4599
4500Norbert A. Streitz
, Achilles Kameas, Irene Mavrommati:
The Disappearing Computer, Interaction Design, System Infrastructures and Applications for Smart Environments. Lecture Notes in Computer Science 4500, Springer 2007, ISBN 978-3-540-72725-5 [contents]- 4501João Marques-Silva, Karem A. Sakallah:
Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings. Lecture Notes in Computer Science 4501, Springer 2007, ISBN 978-3-540-72787-3 [contents] - 4502Thorsten Altenkirch, Conor McBride:
Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4502, Springer 2007, ISBN 978-3-540-74463-4 [contents] - 4503Edoardo M. Airoldi, David M. Blei, Stephen E. Fienberg, Anna Goldenberg, Eric P. Xing, Alice X. Zheng:
Statistical Network Analysis: Models, Issues, and New Directions - ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4503, Springer 2007, ISBN 978-3-540-73132-0 [contents] - 4504Jingshan Huang, Ryszard Kowalczyk, Zakaria Maamar, David L. Martin, Ingo Müller, Suzette Stoutenburg, Katia P. Sycara:
Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings. Lecture Notes in Computer Science 4504, Springer 2007, ISBN 978-3-540-72618-0 [contents] - 4505Guozhu Dong, Xuemin Lin, Wei Wang, Yun Yang, Jeffrey Xu Yu:
Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings. Lecture Notes in Computer Science 4505, Springer 2007, ISBN 978-3-540-72483-4 [contents] - 4506Daniel Dajun Zeng, Ivan Gotham, Ken Komatsu, Cecil Lynch, Mark Thurmond, David Madigan, Bill Lober, James Kvach, Hsinchun Chen:
Intelligence and Security Informatics: Biosurveillance, Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings. Lecture Notes in Computer Science 4506, Springer 2007, ISBN 978-3-540-72607-4 [contents] - 4507Francisco Sandoval Hernández, Alberto Prieto, Joan Cabestany, Manuel Graña:
Computational and Ambient Intelligence, 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings. Lecture Notes in Computer Science 4507, Springer 2007, ISBN 978-3-540-73006-4 [contents] - 4508Ming-Yang Kao, Xiang-Yang Li:
Algorithmic Aspects in Information and Management, Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4508, Springer 2007, ISBN 978-3-540-72868-9 [contents] - 4509Ziad Kobti, Dan Wu:
Advances in Artificial Intelligence, 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007, Proceedings. Lecture Notes in Computer Science 4509, Springer 2007, ISBN 978-3-540-72664-7 [contents] - 4510Pascal Van Hentenryck, Laurence A. Wolsey:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings. Lecture Notes in Computer Science 4510, Springer 2007, ISBN 978-3-540-72396-7 [contents] - 4511Cristina Conati, Kathleen F. McCoy, Georgios Paliouras:
User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007, Proceedings. Lecture Notes in Computer Science 4511, Springer 2007, ISBN 978-3-540-73077-4 [contents] - 4512Peter P. Chen, Leah Y. Wong:
Active Conceptual Modeling of Learning, Next Generation Learning-Base System Development [1st International ACM-L Workshop, November 8, 2006, during ER 2006, Tucson, Arizona, USA]. Lecture Notes in Computer Science 4512, Springer 2008, ISBN 978-3-540-77502-7 [contents] - 4513Matteo Fischetti, David P. Williamson:
Integer Programming and Combinatorial Optimization, 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings. Lecture Notes in Computer Science 4513, Springer 2007, ISBN 978-3-540-72791-0 [contents] - 4514Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Lecture Notes in Computer Science 4514, Springer 2007, ISBN 978-3-540-72732-3 [contents] - 4515Moni Naor:
Advances in Cryptology - EUROCRYPT 2007, 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007, Proceedings. Lecture Notes in Computer Science 4515, Springer 2007, ISBN 978-3-540-72539-8 [contents] - 4516Lorne Mason, Tadeusz Drwiega, James Yan:
Managing Traffic Performance in Converged Networks, 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings. Lecture Notes in Computer Science 4516, Springer 2007, ISBN 978-3-540-72989-1 [contents] - 4517Fernando Boavida, Edmundo Monteiro, Saverio Mascolo, Yevgeni Koucheryavy:
Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings. Lecture Notes in Computer Science 4517, Springer 2007, ISBN 978-3-540-72694-4 [contents] - 4518Norbert Fuhr, Mounia Lalmas, Andrew Trotman:
Comparative Evaluation of XML Information Retrieval Systems, 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, Dagstuhl Castle, Germany, December 17-20, 2006, Revised and Selected Papers. Lecture Notes in Computer Science 4518, Springer 2007, ISBN 978-3-540-73887-9 [contents] - 4519Enrico Franconi, Michael Kifer, Wolfgang May:
The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4519, Springer 2007, ISBN 978-3-540-72666-1 [contents] - 4520Martin V. Butz, Olivier Sigaud, Giovanni Pezzulo, Gianluca Baldassarre:
Anticipatory Behavior in Adaptive Learning Systems, From Brains to Individual and Social Behavior [the book is a result from the third workshop on anticipatory behavior in adaptive learning systems, ABiALS 2006, Rome, Italy, September 30, 2006, colocated with SAB 2006]. Lecture Notes in Computer Science 4520, Springer 2007, ISBN 978-3-540-74261-6 [contents] - 4521Jonathan Katz, Moti Yung:
Applied Cryptography and Network Security, 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, Proceedings. Lecture Notes in Computer Science 4521, Springer 2007, ISBN 978-3-540-72737-8 [contents] - 4522Bjarne K. Ersbøll, Kim Steenstrup Pedersen:
Image Analysis, 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007, Proceedings. Lecture Notes in Computer Science 4522, Springer 2007, ISBN 978-3-540-73039-2 [contents] - 4523Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence Tianruo Yang, Sung Won Kim:
Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings. Lecture Notes in Computer Science 4523, Springer 2007, ISBN 978-3-540-72684-5 [contents] - 4524Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie:
Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings. Lecture Notes in Computer Science 4524, Springer 2007, ISBN 978-3-540-72981-5 [contents] - 4525Camil Demetrescu:
Experimental Algorithms, 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4525, Springer 2007, ISBN 978-3-540-72844-3 [contents] - 4526Miroslaw Malek, Manfred Reitenspieß, Aad P. A. van Moorsel:
Service Availability, 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings. Lecture Notes in Computer Science 4526, Springer 2007, ISBN 978-3-540-72735-4 [contents] - 4527José Mira, José R. Álvarez:
Bio-inspired Modeling of Cognitive Tasks, Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I. Lecture Notes in Computer Science 4527, Springer 2007, ISBN 978-3-540-73052-1 [contents] - 4528José Mira, José R. Álvarez:
Nature Inspired Problem-Solving Methods in Knowledge Engineering, Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II. Lecture Notes in Computer Science 4528, Springer 2007, ISBN 978-3-540-73054-5 [contents] - 4529Patricia Melin, Oscar Castillo, Luis T. Aguilar, Janusz Kacprzyk, Witold Pedrycz:
Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings. Lecture Notes in Computer Science 4529, Springer 2007, ISBN 978-3-540-72917-4 [contents] - 4530David H. Akehurst, Régis Vogel, Richard F. Paige:
Model Driven Architecture - Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings. Lecture Notes in Computer Science 4530, Springer 2007, ISBN 978-3-540-72900-6 [contents] - 4531Jadwiga Indulska, Kerry Raymond:
Distributed Applications and Interoperable Systems, 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4531, Springer 2007, ISBN 978-3-540-72881-8 [contents] - 4532Trey Ideker, Vineet Bafna:
Systems Biology and Computational Proteomics, Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4532, Springer 2007, ISBN 978-3-540-73059-0 [contents] - 4533Franz Baader:
Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4533, Springer 2007, ISBN 978-3-540-73447-5 [contents] - 4534Ioannis Tomkos, Fabio Neri, Josep Solé-Pareta, Xavier Masip-Bruin, Sergio Sánchez-López:
Optical Network Design and Modeling, 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Lecture Notes in Computer Science 4534, Springer 2007, ISBN 978-3-540-72729-3 [contents] - 4535Hiro Ito, Mikio Kano, Naoki Katoh, Yushi Uno:
Computational Geometry and Graph Theory - International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers. Lecture Notes in Computer Science 4535, Springer 2008, ISBN 978-3-540-89549-7 [contents] - 4536Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi:
Agile Processes in Software Engineering and Extreme Programming, 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings. Lecture Notes in Computer Science 4536, Springer 2007, ISBN 978-3-540-73100-9 [contents] - 4537Kevin Chen-Chuan Chang, Wei Wang, Lei Chen, Clarence A. Ellis, Ching-Hsien Hsu, Ah Chung Tsoi, Haixun Wang:
Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, Proceedings. Lecture Notes in Computer Science 4537, Springer 2007, ISBN 978-3-540-72908-2 [contents] - 4538Francisco Escolano, Mario Vento:
Graph-Based Representations in Pattern Recognition, 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007, Proceedings. Lecture Notes in Computer Science 4538, Springer 2007, ISBN 978-3-540-72902-0 [contents] - 4539Nader H. Bshouty, Claudio Gentile:
Learning Theory, 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings. Lecture Notes in Computer Science 4539, Springer 2007, ISBN 978-3-540-72925-9 [contents] - 4540Silvia Nittel, Alexandros Labrinidis, Anthony Stefanidis:
GeoSensor Networks, Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4540, Springer 2008, ISBN 978-3-540-79995-5 [contents] - 4541Takeshi Okadome, Tatsuya Yamazaki, Mounir Makhtari:
Pervasive Computing for Quality of Life Enhancement, 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings. Lecture Notes in Computer Science 4541, Springer 2007, ISBN 978-3-540-73034-7 [contents] - 4542Peter Sawyer, Barbara Paech, Patrick Heymans:
Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings. Lecture Notes in Computer Science 4542, Springer 2007, ISBN 978-3-540-73030-9 [contents] - 4543Arosha K. Bandara, Mark Burgess:
Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings. Lecture Notes in Computer Science 4543, Springer 2007, ISBN 978-3-540-72985-3 [contents] - 4544Sarah Cohen Boulakia, Val Tannen:
Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4544, Springer 2007, ISBN 978-3-540-73254-9 [contents] - 4545Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia:
Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings. Lecture Notes in Computer Science 4545, Springer 2007, ISBN 978-3-540-73432-1 [contents] - 4546Jetty Kleijn, Alexandre Yakovlev:
Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings. Lecture Notes in Computer Science 4546, Springer 2007, ISBN 978-3-540-73093-4 [contents] - 4547Claude Carlet, Berk Sunar:
Arithmetic of Finite Fields, First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings. Lecture Notes in Computer Science 4547, Springer 2007, ISBN 978-3-540-73073-6 [contents] - 4548Nicola Olivetti:
Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Lecture Notes in Computer Science 4548, Springer 2007, ISBN 978-3-540-73098-9 [contents] - 4549James Aspnes, Christian Scheideler, Anish Arora, Samuel Madden:
Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings. Lecture Notes in Computer Science 4549, Springer 2007, ISBN 978-3-540-73089-7 [contents] - 4550Julie A. Jacko:
Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I. Lecture Notes in Computer Science 4550, Springer 2007, ISBN 978-3-540-73104-7 [contents] - 4551Julie A. Jacko:
Human-Computer Interaction. Interaction Platforms and Techniques, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II. Lecture Notes in Computer Science 4551, Springer 2007, ISBN 978-3-540-73106-1 [contents] - 4552Julie A. Jacko:
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III. Lecture Notes in Computer Science 4552, Springer 2007, ISBN 978-3-540-73108-5 [contents] - 4553Julie A. Jacko:
Human-Computer Interaction. HCI Applications and Services, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV. Lecture Notes in Computer Science 4553, Springer 2007, ISBN 978-3-540-73109-2 [contents] - 4554Constantine Stephanidis:
Universal Access in Human Computer Interaction. Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I. Lecture Notes in Computer Science 4554, Springer 2007, ISBN 978-3-540-73278-5 [contents] - 4555Constantine Stephanidis:
Universal Access in Human-Computer Interaction. Ambient Interaction, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II. Lecture Notes in Computer Science 4555, Springer 2007, ISBN 978-3-540-73280-8 [contents] - 4556Constantine Stephanidis:
Universal Access in Human-Computer Interaction. Applications and Services, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III. Lecture Notes in Computer Science 4556, Springer 2007, ISBN 978-3-540-73282-2 [contents] - 4557Michael J. Smith, Gavriel Salvendy:
Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part I. Lecture Notes in Computer Science 4557, Springer 2007, ISBN 978-3-540-73344-7 [contents] - 4558Michael J. Smith, Gavriel Salvendy:
Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II. Lecture Notes in Computer Science 4558, Springer 2007, ISBN 978-3-540-73353-9 [contents] - 4559Nuray M. Aykin:
Usability and Internationalization. HCI and Culture, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I. Lecture Notes in Computer Science 4559, Springer 2007, ISBN 978-3-540-73286-0 [contents] - 4560Nuray M. Aykin:
Usability and Internationalization. Global and Local User Interfaces, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II. Lecture Notes in Computer Science 4560, Springer 2007, ISBN 978-3-540-73288-4 [contents] - 4561Vincent G. Duffy:
Digital Human Modeling, First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Lecture Notes in Computer Science 4561, Springer 2007, ISBN 978-3-540-73318-8 [contents] - 4562Don Harris:
Engineering Psychology and Cognitive Ergonomics, 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Lecture Notes in Computer Science 4562, Springer 2007, ISBN 978-3-540-73330-0 [contents] - 4563Randall Shumaker:
Virtual Reality, Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Lecture Notes in Computer Science 4563, Springer 2007, ISBN 978-3-540-73334-8 [contents] - 4564Douglas Schuler:
Online Communities and Social Computing, Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Lecture Notes in Computer Science 4564, Springer 2007, ISBN 978-3-540-73256-3 [contents] - 4565Dylan Schmorrow, Leah Reeves:
Foundations of Augmented Cognition, Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Lecture Notes in Computer Science 4565, Springer 2007, ISBN 978-3-540-73215-0 [contents] - 4566Marvin J. Dainoff:
Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings. Lecture Notes in Computer Science 4566, Springer 2007, ISBN 978-3-540-73332-4 [contents] - 4567Teddy Furon, François Cayre, Gwenaël J. Doërr, Patrick Bas:
Information Hiding, 9th International Workshop, IH 2007, Saint Malo, France, June 11-13, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4567, Springer 2008, ISBN 978-3-540-77369-6 [contents] - 4568Toru Ishida, Susan R. Fussell, Piek T. J. M. Vossen:
Intercultural Collaboration, First International Workshop, IWIC 2007, Kyoto, Japan, January 25-26, 2007, Invited and Selected Papers. Lecture Notes in Computer Science 4568, Springer 2007, ISBN 978-3-540-73999-9 [contents] - 4569Andreas Butz, Brian D. Fisher, Antonio Krüger, Patrick Olivier, Shigeru Owada:
Smart Graphics, 7th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007, Proceedings. Lecture Notes in Computer Science 4569, Springer 2007, ISBN 978-3-540-73213-6 [contents] - 4570Hiroshi G. Okuno, Moonis Ali:
New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings. Lecture Notes in Computer Science 4570, Springer 2007, ISBN 978-3-540-73322-5 [contents] - 4571Petra Perner:
Machine Learning and Data Mining in Pattern Recognition, 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings. Lecture Notes in Computer Science 4571, Springer 2007, ISBN 978-3-540-73498-7 [contents] - 4572Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore:
Security and Privacy in Ad-hoc and Sensor Networks, 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, Proceedings. Lecture Notes in Computer Science 4572, Springer 2007, ISBN 978-3-540-73274-7 [contents] - 4573Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger:
Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings. Lecture Notes in Computer Science 4573, Springer 2007, ISBN 978-3-540-73083-5 [contents] - 4574John Derrick, Jüri Vain:
Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4574, Springer 2007, ISBN 978-3-540-73195-5 [contents] - 4575Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto:
Pairing-Based Cryptography - Pairing 2007, First International Conference, Tokyo, Japan, July 2-4, 2007, Proceedings. Lecture Notes in Computer Science 4575, Springer 2007, ISBN 978-3-540-73488-8 [contents] - 4576Daniel Leivant, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4576, Springer 2007, ISBN 978-3-540-73443-7 [contents] - 4577Nicu Sebe, Yuncai Liu, Yueting Zhuang, Thomas S. Huang:
Multimedia Content Analysis and Mining, International Workshop, MCAM 2007, Weihai, China, June 30 - July 1, 2007, Proceedings. Lecture Notes in Computer Science 4577, Springer 2007 [contents] - 4578Francesco Masulli, Sushmita Mitra, Gabriella Pasi:
Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings. Lecture Notes in Computer Science 4578, Springer 2007, ISBN 978-3-540-73399-7 [contents] - 4579Bernhard M. Hämmerli, Robin Sommer:
Detection of Intrusions and Malware, and Vulnerability Assessment, 4th International Conference, DIMVA 2007, Lucerne, Switzerland, July 12-13, 2007, Proceedings. Lecture Notes in Computer Science 4579, Springer 2007, ISBN 978-3-540-73613-4 [contents] - 4580Bin Ma, Kaizhong Zhang:
Combinatorial Pattern Matching, 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings. Lecture Notes in Computer Science 4580, Springer 2007, ISBN 978-3-540-73436-9 [contents] - 4581Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp:
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings. Lecture Notes in Computer Science 4581, Springer 2007, ISBN 978-3-540-73065-1 [contents] - 4582Javier López, Pierangela Samarati, Josep L. Ferrer:
Public Key Infrastructure, 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings. Lecture Notes in Computer Science 4582, Springer 2007, ISBN 978-3-540-73407-9 [contents] - 4583Simona Ronchi Della Rocca:
Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4583, Springer 2007, ISBN 978-3-540-73227-3 [contents] - 4584Nico Karssemeijer, Boudewijn P. F. Lelieveldt:
Information Processing in Medical Imaging, 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings. Lecture Notes in Computer Science 4584, Springer 2007, ISBN 978-3-540-73272-3 [contents] - 4585Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski, Andrzej Skowron:
Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings. Lecture Notes in Computer Science 4585, Springer 2007, ISBN 978-3-540-73450-5 [contents] - 4586Josef Pieprzyk, Hossein Ghodosi, Ed Dawson:
Information Security and Privacy, 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007, Proceedings. Lecture Notes in Computer Science 4586, Springer 2007, ISBN 978-3-540-73457-4 [contents] - 4587Richard Cooper, Jessie B. Kennedy:
Data Management. Data, Data Everywhere, 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007, Proceedings. Lecture Notes in Computer Science 4587, Springer 2007, ISBN 978-3-540-73389-8 [contents] - 4588Tero Harju, Juhani Karhumäki, Arto Lepistö:
Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings. Lecture Notes in Computer Science 4588, Springer 2007, ISBN 978-3-540-73207-5 [contents] - 4589Jürgen Münch, Pekka Abrahamsson:
Product-Focused Software Process Improvement, 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings. Lecture Notes in Computer Science 4589, Springer 2007, ISBN 978-3-540-73459-8 [contents] - 4590Werner Damm, Holger Hermanns:
Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4590, Springer 2007, ISBN 978-3-540-73367-6 [contents] - 4591Jim Davies, Jeremy Gibbons:
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4591, Springer 2007, ISBN 978-3-540-73209-9 [contents] - 4592Zoubida Kedad, Nadira Lammari, Elisabeth Métais, Farid Meziane, Yacine Rezgui:
Natural Language Processing and Information Systems, 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4592, Springer 2007, ISBN 978-3-540-73350-8 [contents] - 4593Alex Biryukov:
Fast Software Encryption, 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4593, Springer 2007, ISBN 978-3-540-74617-1 [contents] - 4594Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter:
Artificial Intelligence in Medicine, 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings. Lecture Notes in Computer Science 4594, Springer 2007, ISBN 978-3-540-73598-4 [contents] - 4595Dragan Bosnacki, Stefan Edelkamp:
Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Lecture Notes in Computer Science 4595, Springer 2007, ISBN 978-3-540-73369-0 [contents] - 4596Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki:
Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings. Lecture Notes in Computer Science 4596, Springer 2007, ISBN 978-3-540-73419-2 [contents] - 4597Petra Perner:
Advances in Data Mining. Theoretical Aspects and Applications, 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007, Proceedings. Lecture Notes in Computer Science 4597, Springer 2007, ISBN 978-3-540-73434-5 [contents] - 4598Guohui Lin:
Computing and Combinatorics, 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings. Lecture Notes in Computer Science 4598, Springer 2007, ISBN 978-3-540-73544-1 [contents] - 4599Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hämäläinen:
Embedded Computer Systems: Architectures, Modeling, and Simulation, 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings. Lecture Notes in Computer Science 4599, Springer 2007, ISBN 978-3-540-73622-6 [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-10 20:54 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:
