Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 5600-5699
5600Alexander Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. K. Yu:
Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos. Lecture Notes in Computer Science 5600, Springer 2009, ISBN 978-3-642-02462-7 [contents]- 5601José Mira Mira, José Manuel Ferrández, José R. Álvarez, Félix de la Paz
, F. Javier Toledo:
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira.s Scientific Legacy, Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I. Lecture Notes in Computer Science 5601, Springer 2009, ISBN 978-3-642-02263-0 [contents] - 5602José Mira Mira, José Manuel Ferrández, José R. Álvarez, Félix de la Paz, F. Javier Toledo:
Bioinspired Applications in Artificial and Natural Computation, Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part II. Lecture Notes in Computer Science 5602, Springer 2009, ISBN 978-3-642-02266-1 [contents] - 5603Zygmunt Vetulani, Hans Uszkoreit:
Human Language Technology. Challenges of the Information Society, Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers. Lecture Notes in Computer Science 5603, Springer 2009, ISBN 978-3-642-04234-8 [contents] - 5604Daniel Cremers, Bodo Rosenhahn, Alan L. Yuille, Frank R. Schmidt:
Statistical and Geometrical Approaches to Visual Motion Analysis, International Dagstuhl Seminar, Dagstuhl Castle, Germany, July 13-18, 2008. Revised Papers. Lecture Notes in Computer Science 5604, Springer 2009, ISBN 978-3-642-03060-4 [contents] - 5605John-Jules Ch. Meyer, Jan M. Broersen:
Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5605, Springer 2009, ISBN 978-3-642-05300-9 [contents] - 5606Giuliana Franceschinis, Karsten Wolf:
Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Lecture Notes in Computer Science 5606, Springer 2009, ISBN 978-3-642-02423-8 [contents] - 5607Martin Giese, Arild Waaler:
Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science 5607, Springer 2009, ISBN 978-3-642-02715-4 [contents] - 5608Pierre-Louis Curien:
Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings. Lecture Notes in Computer Science 5608, Springer 2009, ISBN 978-3-642-02272-2 [contents] - 5609Hung Q. Ngo:
Computing and Combinatorics, 15th Annual International Conference, COCOON 2009, Niagara Falls, NY, USA, July 13-15, 2009, Proceedings. Lecture Notes in Computer Science 5609, Springer 2009, ISBN 978-3-642-02881-6 [contents] - 5610Julie A. Jacko:
Human-Computer Interaction. New Trends, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I. Lecture Notes in Computer Science 5610, Springer 2009, ISBN 978-3-642-02573-0 [contents] - 5611Julie A. Jacko:
Human-Computer Interaction. Novel Interaction Methods and Techniques, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II. Lecture Notes in Computer Science 5611, Springer 2009, ISBN 978-3-642-02576-1 [contents] - 5612Julie A. Jacko:
Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part III. Lecture Notes in Computer Science 5612, Springer 2009, ISBN 978-3-642-02579-2 [contents] - 5613Julie A. Jacko:
Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV. Lecture Notes in Computer Science 5613, Springer 2009, ISBN 978-3-642-02582-2 [contents] - 5614Constantine Stephanidis:
Universal Access in Human-Computer Interaction. Addressing Diversity, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I. Lecture Notes in Computer Science 5614, Springer 2009, ISBN 978-3-642-02706-2 [contents] - 5615Constantine Stephanidis:
Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II. Lecture Notes in Computer Science 5615, Springer 2009, ISBN 978-3-642-02709-3 [contents] - 5616Constantine Stephanidis:
Universal Access in Human-Computer Interaction. Applications and Services, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III. Lecture Notes in Computer Science 5616, Springer 2009, ISBN 978-3-642-02712-3 [contents] - 5617Michael J. Smith, Gavriel Salvendy:
Human Interface and the Management of Information. Designing Information Environments, Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I. Lecture Notes in Computer Science 5617, Springer 2009, ISBN 978-3-642-02555-6 [contents] - 5618Gavriel Salvendy, Michael J. Smith:
Human Interface and the Management of Information. Information and Interaction, Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II. Lecture Notes in Computer Science 5618, Springer 2009, ISBN 978-3-642-02558-7 [contents] - 5619Masaaki Kurosu:
Human Centered Design, First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings. Lecture Notes in Computer Science 5619, Springer 2009, ISBN 978-3-642-02805-2 [contents] - 5620Vincent G. Duffy:
Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings. Lecture Notes in Computer Science 5620, Springer 2009, ISBN 978-3-642-02808-3 [contents] - 5621A. Ant Ozok, Panayiotis Zaphiris:
Online Communities and Social Computing, Third International Conference, OCSC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings. Lecture Notes in Computer Science 5621, Springer 2009, ISBN 978-3-642-02773-4 [contents] - 5622Randall Shumaker:
Virtual and Mixed Reality, Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings. Lecture Notes in Computer Science 5622, Springer 2009, ISBN 978-3-642-02770-3 [contents] - 5623Nuray M. Aykin:
Internationalization, Design and Global Development, Third International Conference, IDGD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings. Lecture Notes in Computer Science 5623, Springer 2009, ISBN 978-3-642-02766-6 [contents] - 5624Ben-Tzion Karsh:
Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings. Lecture Notes in Computer Science 5624, Springer 2009, ISBN 978-3-642-02730-7 [contents] - 5625Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt:
Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Lecture Notes in Computer Science 5625, Springer 2009, ISBN 978-3-642-02613-3 [contents] - 5626David Riaño:
Knowledge Management for Health Care Procedures, ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5626, Springer 2009, ISBN 978-3-642-03261-5 [contents] - 5627Mohamed S. Kamel, Aurélio C. Campilho:
Image Analysis and Recognition, 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings. Lecture Notes in Computer Science 5627, Springer 2009, ISBN 978-3-642-02610-2 [contents] - 5628Roger Dingledine, Philippe Golle:
Financial Cryptography and Data Security, 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers. Lecture Notes in Computer Science 5628, Springer 2009 [contents] - 5629José Carlos Príncipe, Risto Miikkulainen:
Advances in Self-Organizing Maps, 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings. Lecture Notes in Computer Science 5629, Springer 2009, ISBN 978-3-642-02396-5 [contents] - 5630Andreas Mauthe, Sherali Zeadally, Eduardo Cerqueira, Marília Curado:
Future Multimedia Networking, Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings. Lecture Notes in Computer Science 5630, Springer 2009, ISBN 978-3-642-02471-9 [contents] - 5631Shlomo Geva, Jaap Kamps, Andrew Trotman:
Advances in Focused Retrieval, 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008. Revised and Selected Papers. Lecture Notes in Computer Science 5631, Springer 2009, ISBN 978-3-642-03760-3 [contents] - 5632Petra Perner:
Machine Learning and Data Mining in Pattern Recognition, 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009. Proceedings. Lecture Notes in Computer Science 5632, Springer 2009, ISBN 978-3-642-03069-7 [contents] - 5633Petra Perner:
Advances in Data Mining. Applications and Theoretical Aspects, 9th Industrial Conference, ICDM 2009, Leipzig, Germany, July 20-22, 2009. Proceedings. Lecture Notes in Computer Science 5633, Springer 2009, ISBN 978-3-642-03066-6 [contents] - 5634Alexandre Bergel, Johan Fabry:
Software Composition - 8th International Conference, SC@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Lecture Notes in Computer Science 5634, Springer 2009, ISBN 978-3-642-02654-6 [contents] - 5635Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle:
Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings. Lecture Notes in Computer Science 5635, Springer 2009, ISBN 978-3-642-03072-7 [contents] - 5636Jerry L. Prince, Dzung L. Pham, Kyle J. Myers:
Information Processing in Medical Imaging, 21st International Conference, IPMI 2009, Williamsburg, VA, USA, July 5-10, 2009. Proceedings. Lecture Notes in Computer Science 5636, Springer 2009, ISBN 978-3-642-02497-9 [contents] - 5637Ramin Sadre, Aiko Pras:
Scalability of Networks and Services, Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009, Enschede, The Netherlands, June 30-July 2, 2009. Proceedings. Lecture Notes in Computer Science 5637, Springer 2009, ISBN 978-3-642-02626-3 [contents] - 5638Dylan Schmorrow, Ivy V. Estabrooke, Marc Grootjen:
Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience, 5th International Conference, FAC 2009 Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009, Proceedings. Lecture Notes in Computer Science 5638, Springer 2009, ISBN 978-3-642-02811-3 [contents] - 5639Don Harris:
Engineering Psychology and Cognitive Ergonomics, 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings. Lecture Notes in Computer Science 5639, Springer 2009, ISBN 978-3-642-02727-7 [contents] - 5640Max Bramer:
Artificial Intelligence: An International Perspective. Lecture Notes in Computer Science 5640, Springer 2009, ISBN 978-3-642-03225-7 [contents] - 5641Anna Esposito, Robert Vích:
Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions, COST Action 2102 International Conference, Prague, Czech Republic, October 15-18, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science 5641, Springer 2009 [contents] - 5642Sebastian Maneth:
Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings. Lecture Notes in Computer Science 5642, Springer 2009, ISBN 978-3-642-02978-3 [contents] - 5643Ahmed Bouajjani, Oded Maler:
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Lecture Notes in Computer Science 5643, Springer 2009, ISBN 978-3-642-02657-7 [contents] - 5644Nikos Mamoulis, Thomas Seidl, Torben Bach Pedersen, Kristian Torp, Ira Assent:
Advances in Spatial and Temporal Databases, 11th International Symposium, SSTD 2009, Aalborg, Denmark, July 8-10, 2009, Proceedings. Lecture Notes in Computer Science 5644, Springer 2009, ISBN 978-3-642-02981-3 [contents] - 5645Ehud Gudes, Jaideep Vaidya:
Data and Applications Security XXIII, 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings. Lecture Notes in Computer Science 5645, Springer 2009, ISBN 978-3-642-03006-2 [contents] - 5646Alain Trémeau, Raimondo Schettini, Shoji Tominaga:
Computational Color Imaging, Second International Workshop, CCIW 2009, Saint-Etienne, France, March 26-27, 2009. Revised Selected Papers. Lecture Notes in Computer Science 5646, Springer 2009, ISBN 978-3-642-03264-6 [contents] - 5647Norman W. Paton, Paolo Missier, Cornelia Hedeler:
Data Integration in the Life Sciences, 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings. Lecture Notes in Computer Science 5647, Springer 2009, ISBN 978-3-642-02878-6 [contents] - 5648Martin Gaedke, Michael Grossniklaus, Oscar Díaz:
Web Engineering, 9th International Conference, ICWE 2009, San Sebastián, Spain, June 24-26, 2009, Proceedings. Lecture Notes in Computer Science 5648, Springer 2009, ISBN 978-3-642-02817-5 [contents] - 5649Patricia M. Hill, David Scott Warren:
Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Lecture Notes in Computer Science 5649, Springer 2009, ISBN 978-3-642-02845-8 [contents] - 5650Lorraine McGinty, David C. Wilson:
Case-Based Reasoning Research and Development, 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009, Proceedings. Lecture Notes in Computer Science 5650, Springer 2009, ISBN 978-3-642-02997-4 [contents] - 5651Carlo Combi, Yuval Shahar, Ameen Abu-Hanna:
Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings. Lecture Notes in Computer Science 5651, 2009, ISBN 978-3-642-02975-2 [contents] - 5652Jeremy T. Bradley:
Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings. Lecture Notes in Computer Science 5652, Springer 2009, ISBN 978-3-642-02923-3 [contents] - 5653Sophia Drossopoulou:
ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science 5653, Springer 2009, ISBN 978-3-642-03012-3 [contents] - 5654Edwin R. Hancock, Ralph R. Martin, Malcolm A. Sabin:
Mathematics of Surfaces XIII, 13th IMA International Conference, York, UK, September 7-9, 2009, Proceedings. Lecture Notes in Computer Science 5654, Springer 2009, ISBN 978-3-642-03595-1 [contents] - 5655Angelo Oddi, François Fages, Francesca Rossi:
Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5655, Springer 2009, ISBN 978-3-642-03250-9 [contents] - 5656James F. Peters, Andrzej Skowron, Marcin Wolski, Mihir K. Chakraborty, Wei-Zhi Wu:
Transactions on Rough Sets X. Lecture Notes in Computer Science 5656, Springer 2009, ISBN 978-3-642-03280-6 [contents] - 5657Koen Bertels, Nikitas J. Dimopoulos, Cristina Silvano, Stephan Wong:
Embedded Computer Systems: Architectures, Modeling, and Simulation, 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings. Lecture Notes in Computer Science 5657, Springer 2009, ISBN 978-3-642-03137-3 [contents] - 5658Walid Mohamed Taha:
Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings. Lecture Notes in Computer Science 5658, Springer 2009, ISBN 978-3-642-03033-8 [contents] - 5659Niki Trigoni, Andrew Markham, Sarfraz Nawaz:
GeoSensor Networks, Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings. Lecture Notes in Computer Science 5659, Springer 2009, ISBN 978-3-642-02902-8 [contents] - 5660Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Abdennour El Rhalibi:
Transactions on Edutainment II. Lecture Notes in Computer Science 5660, Springer 2009, ISBN 978-3-642-03269-1 [contents] - 5661Cecilia S. Gal, Paul B. Kantor, Michael E. Lesk:
Protecting Persons While Protecting the People, Second Annual Workshop on Information Privacy and National Security, ISIPS 2008, New Brunswick, NJ, USA, May 12, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5661, Springer 2009, ISBN 978-3-642-10232-5 [contents] - 5662Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov:
Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings. Lecture Notes in Computer Science 5662, Springer 2009, ISBN 978-3-642-03078-9 [contents] - 5663Renate A. Schmidt:
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Lecture Notes in Computer Science 5663, Springer 2009, ISBN 978-3-642-02958-5 [contents] - 5664Frank K. H. A. Dehne, Marina L. Gavrilova, Jörg-Rüdiger Sack, Csaba D. Tóth:
Algorithms and Data Structures, 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings. Lecture Notes in Computer Science 5664, Springer 2009, ISBN 978-3-642-03366-7 [contents] - 5665Orr Dunkelman:
Fast Software Encryption, 16th International Workshop, FSE 2009, Leuven, Belgium, February 22-25, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5665, Springer 2009, ISBN 978-3-642-03316-2 [contents] - 5666Paul S. Andrews, Jon Timmis, Nick D. L. Owens, Uwe Aickelin, Emma Hart, Andrew Hone, Andy M. Tyrrell:
Artificial Immune Systems, 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5666, Springer 2009, ISBN 978-3-642-03245-5 [contents] - 5667Lei Chen, Chengfei Liu, Qing Liu, Ke Deng:
Database Systems for Advanced Applications, DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009. Lecture Notes in Computer Science 5667, Springer 2009, ISBN 978-3-642-04204-1 [contents] - 5668Catherine Dubois:
Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Lecture Notes in Computer Science 5668, Springer 2009, ISBN 978-3-642-02948-6 [contents] - 5669Thanaruk Theeramunkong, Cholwich Nattee, Paulo J. L. Adeodato, Nitesh V. Chawla, Peter Christen, Philippe Lenca, Josiah Poon, Graham J. Williams:
New Frontiers in Applied Data Mining, PAKDD 2009 International Workshops, Bangkok, Thailand, April 27-30, 2009. Revised Selected Papers. Lecture Notes in Computer Science 5669, Springer 2010, ISBN 978-3-642-14639-8 [contents] - 5670Maiga Chang, Rita Kuo, Kinshuk, Gwo-Dong Chen, Michitaka Hirose:
Learning by Playing. Game-based Education System Design and Development, 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings. Lecture Notes in Computer Science 5670, Springer 2009, ISBN 978-3-642-03363-6 [contents] - 5671Hovav Shacham, Brent Waters:
Pairing-Based Cryptography - Pairing 2009, Third International Conference, Palo Alto, CA, USA, August 12-14, 2009, Proceedings. Lecture Notes in Computer Science 5671, Springer 2009, ISBN 978-3-642-03297-4 [contents] - 5672Ian Goldberg, Mikhail J. Atallah:
Privacy Enhancing Technologies, 9th International Symposium, PETS 2009, Seattle, WA, USA, August 5-7, 2009. Proceedings. Lecture Notes in Computer Science 5672, Springer 2009, ISBN 978-3-642-03167-0 [contents] - 5673Jens Palsberg, Zhendong Su:
Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings. Lecture Notes in Computer Science 5673, Springer 2009, ISBN 978-3-642-03236-3 [contents] - 5674Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel:
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Lecture Notes in Computer Science 5674, Springer 2009, ISBN 978-3-642-03358-2 [contents] - 5675Anna E. Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner:
Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings. Lecture Notes in Computer Science 5675, Springer 2009, ISBN 978-3-642-03350-6 [contents] - 5676Katia S. Guimarães, Anna R. Panchenko, Teresa M. Przytycka:
Advances in Bioinformatics and Computational Biology, 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings. Lecture Notes in Computer Science 5676, Springer 2009, ISBN 978-3-642-03222-6 [contents] - 5677Shai Halevi:
Advances in Cryptology - CRYPTO 2009, 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings. Lecture Notes in Computer Science 5677, Springer 2009, ISBN 978-3-642-03355-1 [contents] - 5678Ronghuai Huang, Qiang Yang, Jian Pei, João Gama, Xiaofeng Meng, Xue Li:
Advanced Data Mining and Applications, 5th International Conference, ADMA 2009, Beijing, China, August 17-19, 2009. Proceedings. Lecture Notes in Computer Science 5678, Springer 2009, ISBN 978-3-642-03347-6 [contents] - 5679Zohra Bellahsene, Ela Hunt, Michael Rys, Rainer Unland:
Database and XML Technologies, 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings. Lecture Notes in Computer Science 5679, Springer 2009, ISBN 978-3-642-03554-8 [contents] - 5680Longbing Cao, Vladimir Gorodetsky, Jiming Liu, Gerhard Weiss, Philip S. Yu:
Agents and Data Mining Interaction, 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5680, Springer 2009, ISBN 978-3-642-03602-6 [contents] - 5681Daniel Cremers, Yuri Boykov, Andrew Blake, Frank R. Schmidt:
Energy Minimization Methods in Computer Vision and Pattern Recognition, 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings. Lecture Notes in Computer Science 5681, Springer 2009, ISBN 978-3-642-03640-8 [contents] - 5682Benyuan Liu, Azer Bestavros, Ding-Zhu Du, Jie Wang:
Wireless Algorithms, Systems, and Applications, 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings. Lecture Notes in Computer Science 5682, Springer 2009, ISBN 978-3-642-03416-9 [contents] - 5683Gennaro di Tosto, H. Van Dyke Parunak:
Multi-Agent-Based Simulation X, International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers. Lecture Notes in Computer Science 5683, Springer 2010, ISBN 978-3-642-13552-1 [contents] - 5684Martin Leucker, Carroll Morgan:
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Lecture Notes in Computer Science 5684, Springer 2009, ISBN 978-3-642-03465-7 [contents] - 5685Fu Lee Wang, Joseph Fong, Liming Zhang, Victor S. K. Lee:
Hybrid Learning and Education, Second International Conference, ICHL 2009, Macau, China, August 25-27, 2009. Proceedings. Lecture Notes in Computer Science 5685, Springer 2009, ISBN 978-3-642-03696-5 [contents] - 5686Marc Spaniol, Qing Li, Ralf Klamma, Rynson W. H. Lau:
Advances in Web Based Learning - ICWL 2009, 8th International Conference, Aachen, Germany, August 19-21, 2009. Proceedings. Lecture Notes in Computer Science 5686, Springer 2009, ISBN 978-3-642-03425-1 [contents] - 5687Irit Dinur, Klaus Jansen, Joseph Naor, José D. P. Rolim:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings. Lecture Notes in Computer Science 5687, Springer 2009, ISBN 978-3-642-03684-2 [contents] - 5688Pierpaolo Degano, Roberto Gorrieri:
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Lecture Notes in Computer Science 5688, Springer 2009, ISBN 978-3-642-03844-0 [contents] - 5689Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt:
Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Lecture Notes in Computer Science 5689, Springer 2009, ISBN 978-3-642-03753-5 [contents] - 5690Sourav S. Bhowmick, Josef Küng, Roland R. Wagner:
Database and Expert Systems Applications, 20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009. Proceedings. Lecture Notes in Computer Science 5690, Springer 2009, ISBN 978-3-642-03572-2 [contents] - 5691Torben Bach Pedersen, Mukesh K. Mohania, A Min Tjoa:
Data Warehousing and Knowledge Discovery, 11th International Conference, DaWaK 2009, Linz, Austria, August 31 - September 2, 2009, Proceedings. Lecture Notes in Computer Science 5691, Springer 2009, ISBN 978-3-642-03729-0 [contents] - 5692Tommaso Di Noia, Francesco Buccafurri:
E-Commerce and Web Technologies, 10th International Conference, EC-Web 2009, Linz, Austria, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science 5692, Springer 2009, ISBN 978-3-642-03963-8 [contents] - 5693Maria A. Wimmer, Hans Jochen Scholl, Marijn Janssen, Roland Traunmüller:
Electronic Government, 8th International Conference, EGOV 2009, Linz, Austria, August 31 - September 3, 2009. Proceedings. Lecture Notes in Computer Science 5693, Springer 2009, ISBN 978-3-642-03515-9 [contents] - 5694Ann Macintosh, Efthimios Tambouris:
Electronic Participation, First International Conference, ePart 2009, Linz, Austria, September 1-3, 2009, Proceedings. Lecture Notes in Computer Science 5694, Springer 2009, ISBN 978-3-642-03780-1 [contents] - 5695Simone Fischer-Hübner, Costas Lambrinoudakis, Günther Pernul:
Trust, Privacy and Security in Digital Business, 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009. Proceedings. Lecture Notes in Computer Science 5695, Springer 2009, ISBN 978-3-642-03747-4 [contents] - 5696Vladimír Marík, Thomas I. Strasser, Alois Zoitl:
Holonic and Multi-Agent Systems for Manufacturing, 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings. Lecture Notes in Computer Science 5696, Springer 2009, ISBN 978-3-642-03666-8 [contents] - 5697Abdelkader Hameurlain, A Min Tjoa:
Data Management in Grid and Peer-to-Peer Systems, Second International Conference, Globe 2009, Linz, Austria, September 1-2, 2009, Proceedings. Lecture Notes in Computer Science 5697, Springer 2009, ISBN 978-3-642-03714-6 [contents] - 5698Victor Malyshkin:
Parallel Computing Technologies, 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings. Lecture Notes in Computer Science 5698, Springer 2009, ISBN 978-3-642-03274-5 [contents] - 5699Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala:
Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings. Lecture Notes in Computer Science 5699, Springer 2009, ISBN 978-3-642-03408-4 [contents]
a service of 
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-05-19 01:03 CEST 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:
