Guohui Lin (Ed.):
Combinatorial Optimization and Applications - 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-31769-9 Contents
Gonzalo Navarro, Vladimir Pestov (Eds.):
Similarity Search and Applications - 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32152-8 Contents
7405
Xinbing Wang, Rong Zheng, Tao Jing, Kai Xing (Eds.):
Wireless Algorithms, Systems, and Applications - 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-31868-9 Contents
7406
Lennart Beringer, Amy P. Felty (Eds.):
Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32346-1 Contents
7407
...
7408
Anupam Gupta, Klaus Jansen, José D. P. Rolim, Rocco A. Servedio (Eds.):
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32511-3 Contents
7409
Marcílio Carlos Pereira de Souto, Maricel G. Kann (Eds.):
Advances in Bioinformatics and Computational Biology - 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-31926-6 Contents
7410
Hsu-Chun Yen, Oscar H. Ibarra (Eds.):
Developments in Language Theory - 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-31652-4 Contents
Adam Smith (Ed.):
Information Theoretic Security - 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32283-9 Contents
Reihaneh Safavi-Naini, Ran Canetti (Eds.):
Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32008-8 Contents
7418
Hong Gao, Lipyeow Lim, Wei Wang, Chuan Li, Lei Chen (Eds.):
Web-Age Information Management - 13th International Conference, WAIM 2012, Harbin, China, August 18-20, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32280-8 Contents
Young-Bin Kwon, Jean-Marc Ogier (Eds.):
Graphics Recognition. New Trends and Challenges - 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers.
Springer 2013, ISBN 978-3-642-36823-3 Contents
7424
...
7425
Geuk Lee, Daniel Howard, Jeong Jin Kang, Dominik Slezak (Eds.):
Convergence and Hybrid Information Technology - 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32644-8 Contents
7426
Tom Ziemke, Christian Balkenius, John Hallam (Eds.):
From Animals to Animats 12 - 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33092-6 Contents
7427
Tobias Kuhn, Norbert E. Fuchs (Eds.):
Controlled Natural Language - Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32611-0 Contents
7428
Emmanuel Prouff, Patrick Schaumont (Eds.):
Cryptographic Hardware and Embedded Systems - CHES 2012 - 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33026-1 Contents
Darko Stefanovic, Andrew J. Turberfield (Eds.):
DNA Computing and Molecular Programming - 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32207-5 Contents
7434
Joachim Gudmundsson, Julián Mestre, Taso Viglas (Eds.):
Computing and Combinatorics - 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32240-2 Contents
Dimitra Giannakopoulou, Dominique Méry (Eds.):
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32758-2 Contents
7437
Mariëlle Stoelinga, Ralf Pinger (Eds.):
Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32468-0 Contents
7438
Antonis Bikakis, Adrian Giurca (Eds.):
Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32688-2 Contents
Luis Álvarez, Marta Mejail, Luis Gómez, Julio C. Jacobo (Eds.):
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33274-6 Contents
Christian Böhm, Sami Khuri, Lenka Lhotská, M. Elena Renda (Eds.):
Information Technology in Bio- and Medical Informatics - Third International Conference, ITBAM 2012, Vienna, Austria, September 4-5, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32394-2 Contents
7452
Andrea Ko, Christine Leitner, Herbert Leitold, Alexander Prosser (Eds.):
Advancing Democracy, Government and Governance - Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32700-1 Contents
Maciej Koutny, Irek Ulidowski (Eds.):
CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32939-5 Contents
7455
Iyad Rahwan, Wayne Wobcke, Sandip Sen, Toshiharu Sugawara (Eds.):
PRIMA 2012: Principles and Practice of Multi-Agent Systems - 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32728-5 Contents
7456
C.-H. Luke Ong, Ruy J. G. B. de Queiroz (Eds.):
Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32620-2 Contents
7457
Deborah Richards, Byeong Ho Kang (Eds.):
Knowledge Management and Acquisition for Intelligent Systems - 12th Pacific Rim Knowledge Acquisition Workshop, PKAW 2012, Kuching, Malaysia, September 5-6, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32540-3 Contents
7458
Patricia Anthony, Mitsuru Ishizuka, Dickson Lukose (Eds.):
PRICAI 2012: Trends in Artificial Intelligence - 12th Pacific Rim International Conference on Artificial Intelligence, Kuching, Malaysia, September 3-7, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32694-3 Contents
7459
Sara Foresti, Moti Yung, Fabio Martinelli (Eds.):
Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33166-4 Contents
7460
Antoine Miné, David Schmidt (Eds.):
Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33124-4 Contents
Davide Balzarotti, Salvatore J. Stolfo, Marco Cova (Eds.):
Research in Attacks, Intrusions, and Defenses - 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33337-8 Contents
7463
Cyrill Stachniss, Kerstin Schill, David H. Uttal (Eds.):
Spatial Cognition VIII - International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31 - September 3, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32731-5 Contents
7464
Branislav Rovan, Vladimiro Sassone, Peter Widmayer (Eds.):
Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32588-5 Contents
7465
Gerald Quirchmayr, Josef Basl, Ilsun You, Lida Xu, Edgar Weippl (Eds.):
Multidisciplinary Research and Practice for Information Systems - IFIP WG 8.4, 8.9/TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32497-0 Contents
7466
Belén Díaz-Agudo, Ian Watson (Eds.):
Case-Based Reasoning Research and Development - 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32985-2 Contents
7467
Yuhua Luo (Ed.):
Cooperative Design, Visualization, and Engineering - 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32608-0 Contents
Sergey D. Andreev, Sergey Balandin, Yevgeni Koucheryavy (Eds.):
Internet of Things, Smart Spaces, and Next Generation Networking - 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32685-1 Contents
7470
Jeremy Gibbons (Ed.):
Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures.
Springer 2012, ISBN 978-3-642-32201-3 Contents
7471
Martin D. Beer, Cyril Brom, Frank Dignum, Von-Wun Soo (Eds.):
Agents for Educational Games and Simulations - International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers.
Springer 2012, ISBN 978-3-642-32325-6 Contents
7472
...
7473
Baoxiang Liu, Maode Ma, Jincai Chang (Eds.):
Information Computing and Applications - Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-34061-1 Contents
7474
Frank Dellaert, Jan-Michael Frahm, Marc Pollefeys, Laura Leal-Taixé, Bodo Rosenhahn (Eds.):
Outdoor and Large-Scale Real-World Scene Analysis - 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers.
Springer 2012, ISBN 978-3-642-34090-1 Contents
7475
...
7476
Axel Pinz, Thomas Pock, Horst Bischof, Franz Leberl (Eds.):
Pattern Recognition - Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32716-2 Contents
Róbert Szabó, Attila Vidács (Eds.):
Information and Communication Technologies - 18th EUNICE/ IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32807-7 Contents
7480
...
7481
Alistair P. Barros, Avigdor Gal, Ekkart Kindler (Eds.):
Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32884-8 Contents
7482
Willem Jonker, Milan Petkovic (Eds.):
Secure Data Management - 9th VLDB Workshop, SDM 2012, Istanbul, Turkey, August 27, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32872-5 Contents
7483
Dieter Gollmann, Felix C. Freiling (Eds.):
Information Security - 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33382-8 Contents
Ivan Visconti, Roberto De Prisco (Eds.):
Security and Cryptography for Networks - 8th International Conference, SCN 2012, Amalfi, Italy, September 5-7, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32927-2 Contents
Thomas Eiter, Thomas Krennwallner (Eds.):
Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33157-2 Contents
7488
Tiziana Catarci, Pamela Forner, Djoerd Hiemstra, Anselmo Peñas, Giuseppe Santucci (Eds.):
Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics - Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33246-3 Contents
Jesper Larsson Träff, Siegfried Benkner, Jack J. Dongarra (Eds.):
Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33517-4 Contents
Pablo Barceló, Reinhard Pichler (Eds.):
Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32924-1 Contents
7495
Georgios Ch. Sirakoulis, Stefania Bandini (Eds.):
Cellular Automata - 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33349-1 Contents
Markus Krötzsch, Umberto Straccia (Eds.):
Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33202-9 Contents
7498
Rohit Gheyi, David A. Naumann (Eds.):
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-33295-1 Contents
7499
Petr Sojka, Ales Horák, Ivan Kopecek, Karel Pala (Eds.):
Text, Speech and Dialogue - 15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012. Proceedings.
Springer 2012, ISBN 978-3-642-32789-6 Contents
data released under the ODC-BY 1.0 license
