Zohar Manna, Doron Peled (Eds.):
Time for Verification, Essays in Memory of Amir Pnueli.
Springer 2010, ISBN 978-3-642-13753-2 Contents
6201
Christian Kreibich, Marko Jahnke (Eds.):
Detection of Intrusions and Malware, and Vulnerability Assessment, 7th International Conference, DIMVA 2010, Bonn, Germany, July 8-9, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14214-7 Contents
6202
...
6203
Shlomo Geva, Jaap Kamps, Andrew Trotman (Eds.):
Focused Retrieval and Evaluation, 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009, Revised and Selected Papers.
Springer 2010, ISBN 978-3-642-14555-1 Contents
6204
Bernd Fischer, Benoit M. Dawant, Cristian Lorenz (Eds.):
Biomedical Image Registration, 4th International Workshop, WBIR 2010, Lübeck, Germany, July 11-13, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14365-6 Contents
6205
Mikhail J. Atallah, Nicholas J. Hopper (Eds.):
Privacy Enhancing Technologies, 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14526-1 Contents
6206
Lorcan Coyle, Jill Freyne (Eds.):
Artificial Intelligence and Cognitive Science - 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-17079-9 Contents
6207
...
6208
Madalina Croitoru, Sébastien Ferré, Dickson Lukose (Eds.):
Conceptual Structures: From Information to Intelligence, 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14196-6 Contents
6209
Emma Hart, Chris McEwan, Jon Timmis, Andy Hone (Eds.):
Artificial Immune Systems, 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14546-9 Contents
6210
Shmuel Katz, Mira Mezini, Jörg Kienzle (Eds.):
Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling.
Springer 2010, ISBN 978-3-642-16085-1 Contents
6211
Thomas F. Icard III, Reinhard Muskens (Eds.):
Interfaces: Explorations in Logic, Language and Computation, ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers.
Springer 2010, ISBN 978-3-642-14728-9 Contents
6212
Michel Abdalla, Paulo S. L. M. Barreto (Eds.):
Progress in Cryptology - LATINCRYPT 2010, First International Conference on Cryptology and Information Security in Latin America, Puebla, Mexico, August 8-11, 2010, Proceedings.
Springer 2010, ISBN 978-3-642-14711-1 Contents
6213
Der-Tsai Lee, Danny Z. Chen, Shi Ying (Eds.):
Frontiers in Algorithmics, 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14552-0 Contents
6214
Jürgen Dix, Michael Fisher, Peter Novák (Eds.):
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers.
Springer 2010, ISBN 978-3-642-16866-6 Contents
De-Shuang Huang, Xiang Zhang, Carlos A. Reyes García, Lei Zhang (Eds.):
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14931-3 Contents
6217
Gary T. Leavens, Peter W. O'Hearn, Sriram K. Rajamani (Eds.):
Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15056-2 Contents
Tal Rabin (Ed.):
Advances in Cryptology - CRYPTO 2010, 30th Annual Cryptology Conference, Santa Barbara, CA, USA, August 15-19, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14622-0 Contents
6224
Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu (Eds.):
Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14454-7 Contents
6225
Stefan Mangard, François-Xavier Standaert (Eds.):
Cryptographic Hardware and Embedded Systems, CHES 2010, 12th International Workshop, Santa Barbara, CA, USA, August 17-20, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15030-2 Contents
Antonín Kucera, Igor Potapov (Eds.):
Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15348-8 Contents
Efthimios Tambouris, Ann Macintosh, Olivier Glassey (Eds.):
Electronic Participation, Second IFIP WG 8.5 International Conference, ePart 2010, Lausanne, Switzerland, August 29 - September 2, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15157-6 Contents
6230
Byoung-Tak Zhang, Mehmet A. Orgun (Eds.):
PRICAI 2010: Trends in Artificial Intelligence, 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30-September 2, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15245-0 Contents
6231
Petr Sojka, Ales Horák, Ivan Kopecek, Karel Pala (Eds.):
Text, Speech and Dialogue, 13th International Conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15759-2 Contents
6232
Byeong Ho Kang, Debbie Richards (Eds.):
Knowledge Management and Acquisition for Smart Systems and Services, 11th International Workshop, PKAW 2010, Daegu, Korea, August 20 - September 3, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15036-4 Contents
6233
Hrafn Loftsson, Eiríkur Rögnvaldsson, Sigrún Helgadóttir (Eds.):
Advances in Natural Language Processing, 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010.
Springer 2010, ISBN 978-3-642-14769-2 Contents
Burkhard Stiller, Tobias Hoßfeld, George D. Stamoulis (Eds.):
Incentives, Overlays, and Economic Traffic Control, Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15484-3 Contents
6237
Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani (Eds.):
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue - International Workshops AICOL-I/IVR-XXIV Beijing, China, September 19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers.
Springer 2010, ISBN 978-3-642-16523-8 Contents
Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (Eds.):
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14976-4 Contents
6246
Krishnendu Chatterjee, Thomas A. Henzinger (Eds.):
Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15296-2 Contents
6247
Anuj Dawar, Helmut Veith (Eds.):
Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15204-7 Contents
Xiaopeng Zhang, Shaochun Zhong, Zhigeng Pan, Kevin Wong, Ruwei Yun (Eds.):
Entertainment for Education. Digital Techniques and Systems, 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14532-2 Contents
Jürgen Dix, Cees Witteveen (Eds.):
Multiagent System Technologies, 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-16177-3 Contents
6252
Ahmed Bouajjani, Wei-Ngan Chin (Eds.):
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15642-7 Contents
6253
Eitan Frachtenberg, Uwe Schwiegelshohn (Eds.):
Job Scheduling Strategies for Parallel Processing - 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-16504-7 Contents
6254
Patrick Lambrix, Graham J. L. Kemp (Eds.):
Data Integration in the Life Sciences, 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15119-4 Contents
6255
Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock (Eds.):
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14807-1 Contents
Gwendolyn L. Kolfschoten, Thomas Herrmann, Stephan Lukosch (Eds.):
Collaboration and Technology - 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15713-4 Contents
6258
Igor V. Kotenko, Victor A. Skormin (Eds.):
Computer Network Security, 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14705-0 Contents
6259
Toru Ishida (Ed.):
Culture and Computing - Computing and Communication for Crosscultural Interaction [First International Conference on Culture and Computing, Kyoto, Japan. February 22-23, 2010].
Springer 2010, ISBN 978-3-642-17183-3 Contents
Pablo Garcia Bringas, Abdelkader Hameurlain, Gerald Quirchmayr (Eds.):
Database and Expert Systems Applications, 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I.
Springer 2010, ISBN 978-3-642-15363-1 Contents
6262
Pablo Garcia Bringas, Abdelkader Hameurlain, Gerald Quirchmayr (Eds.):
Database and Expert Systems Applications, 21th International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part II.
Springer 2010, ISBN 978-3-642-15250-4 Contents
6263
Torben Bach Pedersen, Mukesh K. Mohania, A Min Tjoa (Eds.):
Data Warehousing and Knowledge Discovery, 12th International Conference, DAWAK 2010, Bilbao, Spain, August/September 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15104-0 Contents
6264
Sokratis K. Katsikas, Javier Lopez, Miguel Soriano (Eds.):
Trust, Privacy and Security in Digital Business, 7th International Conference, TrustBus 2010, Bilbao, Spain, August 30-31, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15151-4 Contents
6265
Abdelkader Hameurlain, Franck Morvan, A Min Tjoa (Eds.):
Data Management in Grid and Peer-to-Peer Systmes, Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15107-1 Contents
6266
Sami Khuri, Lenka Lhotská, Nadia Pisanti (Eds.):
Information Technology in Bio- and Medical Informatics, ITBAM 2010, First International Conference, Bilbao, Spain, September 1-2, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15019-7 Contents
Carlos Eduardo Ferreira, Satoru Miyano, Peter F. Stadler (Eds.):
Advances in Bioinformatics and Computational Biology, 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15059-3 Contents
6269
Paul Gastin, François Laroussinie (Eds.):
CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15374-7 Contents
Pasqua D'Ambra, Mario Rosario Guarracino, Domenico Talia (Eds.):
Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I.
Springer 2010, ISBN 978-3-642-15276-4 Contents
6272
Pasqua D'Ambra, Mario Rosario Guarracino, Domenico Talia (Eds.):
Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II.
Springer 2010, ISBN 978-3-642-15290-0 Contents
Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller (Eds.):
Evolvable Systems: From Biology to Hardware - 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15322-8 Contents
6275
Asit Dan, Frederic Gittler, Farouk Toumani (Eds.):
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops - International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers.
2010, ISBN 978-3-642-16131-5 Contents
6276
Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain (Eds.):
Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part I.
Springer 2010, ISBN 978-3-642-15386-0 Contents
6277
Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain (Eds.):
Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II.
Springer 2010, ISBN 978-3-642-15389-1 Contents
6278
Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain (Eds.):
Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III.
Springer 2010, ISBN 978-3-642-15392-1 Contents
6279
Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain (Eds.):
Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part IV.
Springer 2010, ISBN 978-3-642-15383-9 Contents
6280
Juan A. Garay, Roberto De Prisco (Eds.):
Security and Cryptography for Networks, 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15316-7 Contents
6281
Petr Hlinený, Antonín Kucera (Eds.):
Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15154-5 Contents
6282
Tjeerd Dijkstra, Evgeni Tsivtsivadze, Elena Marchiori, Tom Heskes (Eds.):
Pattern Recognition in Bioinformatics - 5th IAPR International Conference, PRIB 2010, Nijmegen, The Netherlands, September 22-24, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-16000-4 Contents
Kumiyo Nakakoji, Yohei Murakami, Eric McCready (Eds.):
New Frontiers in Artificial Intelligence, JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-14887-3 Contents
6285
Muhammad Ali Babar, Ian Gorton (Eds.):
Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15113-2 Contents
Jan Bosch, Jaejoon Lee (Eds.):
Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15578-9 Contents
6288
Ioanis Nikolaidis, Kui Wu (Eds.):
Ad-Hoc, Mobile and Wireless Networks, 9th International Conference, ADHOC-NOW 2010, Edmonton, Alberta, Canada, August 20-22, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14784-5 Contents
6289
Chen Ding, Zhiyuan Shao, Ran Zheng (Eds.):
Network and Parallel Computing, IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15671-7 Contents
Vincent Moulton, Mona Singh (Eds.):
Algorithms in Bioinformatics, 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15293-1 Contents
6294
Sergey Balandin, Roman Dunaytsev, Yevgeni Koucheryavy (Eds.):
Smart Spaces and Next Generation Wired/Wireless Networking, Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-14890-3 Contents
6295
Barbara Catania, Mirjana Ivanovic, Bernhard Thalheim (Eds.):
Advances in Databases and Information Systems - 14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15575-8 Contents
6296
Jörn Altmann, Omer F. Rana (Eds.):
Economics of Grids, Clouds, Systems, and Services, 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings.
Springer 2010, ISBN 978-3-642-15680-9 Contents
Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók (Eds.):
Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures.
Springer 2010, ISBN 978-3-642-17684-5 Contents
data released under the ODC-BY 1.0 license
