Gábor Székely, Horst K. Hahn (Eds.):
Information Processing in Medical Imaging - 22nd International Conference, IPMI 2011, Kloster Irsee, Germany, July 3-8, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22091-3 Contents
6802
Liqun Chen, Moti Yung (Eds.):
Trusted Systems - Second International Conference, INTRUST 2010, Beijing, China, December 13-15, 2010, Revised Selected Papers.
Springer 2011, ISBN 978-3-642-25282-2 Contents
6803
Nikolaj Bjørner, Viorica Sofronie-Stokkermans (Eds.):
Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22437-9 Contents
David Naccache (Ed.):
Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday.
Springer 2012, ISBN 978-3-642-28367-3 Contents
6806
Ganesh Gopalakrishnan, Shaz Qadeer (Eds.):
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22109-5 Contents
Markus Holzer, Martin Kutrib, Giovanni Pighizzini (Eds.):
Descriptional Complexity of Formal Systems - 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22599-4 Contents
6809
Judith Bayard Cushing, James C. French, Shawn Bowers (Eds.):
Scientific and Statistical Database Management - 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22350-1 Contents
Hannes Frey, Xu Li, Stefan Rührup (Eds.):
Ad-hoc, Mobile, and Wireless Networks - 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22449-2 Contents
6812
Udaya Parampalli, Philip Hawkes (Eds.):
Information Security and Privacy - 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22496-6 Contents
6813
Mira Mezini (Ed.):
ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings.
Springer 2011, ISBN 978-3-642-22654-0 Contents
Herbert Kuchen (Ed.):
Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings.
Springer 2011, ISBN 978-3-642-22530-7 Contents
Yingjiu Li (Ed.):
Data and Applications Security and Privacy XXV - 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22347-1 Contents
6819
Yuri Boykov, Fredrik Kahl, Victor S. Lempitsky, Frank R. Schmidt (Eds.):
Energy Minimazation Methods in Computer Vision and Pattern Recognition - 8th International Conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23093-6 Contents
6820
Vicenç Torra, Yasuo Narukawa, Jianping Yin, Jun Long (Eds.):
Modeling Decision for Artificial Intelligence - 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings.
Springer 2011, ISBN 978-3-642-22588-8 Contents
6821
Karin Anna Hummel, Helmut Hlavacs, Wilfried N. Gansterer (Eds.):
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges - IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers.
Springer 2011, ISBN 978-3-642-25574-8 Contents
6822
Mehdi Dastani, Amal El Fallah-Seghrouchni, Jomi Hübner, João Leite (Eds.):
Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Papers.
Springer 2011, ISBN 978-3-642-22722-6 Contents
6823
Alex Groce, Madanlal Musuvathi (Eds.):
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22305-1 Contents
6824
James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (Eds.):
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22672-4 Contents
6825
Pietro Liò, Giuseppe Nicosia, Thomas Stibor (Eds.):
Artificial Immune Systems - 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22370-9 Contents
6826
Nick Bassiliades, Guido Governatori, Adrian Paschke (Eds.):
Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22545-1 Contents
6827
Vicente Casares Giner, Pietro Manzoni, Ana Pont (Eds.):
NETWORKING 2011 Workshops - International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers.
Springer 2011, ISBN 978-3-642-23040-0 Contents
6828
Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar (Eds.):
Conceptual Structures for Discovering Knowledge - 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22687-8 Contents
6829
Kyung Hyune Rhee, DaeHun Nyang (Eds.):
Information Security and Cryptology - ICISC 2010 - 13th International Conference, Seoul, Korea, December 1-3, 2010, Revised Selected Papers.
Springer 2011, ISBN 978-3-642-24208-3 Contents
6830
Jürgen Schmidhuber, Kristinn R. Thórisson, Moshe Looks (Eds.):
Artificial General Intelligence - 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22886-5 Contents
6831
Weifan Wang, Xuding Zhu, Ding-Zhu Du (Eds.):
Combinatorial Optimization and Applications - 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22615-1 Contents
6832
Osmar Norberto de Souza, Guilherme P. Telles, Mathew J. Palakal (Eds.):
Advances in Bioinformatics and Computational Biology - 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22824-7 Contents
6833
Teresa M. Przytycka, Marie-France Sagot (Eds.):
Algorithms in Bioinformatics - 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23037-0 Contents
6834
Klaus-Dieter Schewe, Bernhard Thalheim (Eds.):
Semantics in Data and Knowledge Bases - 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers.
Springer 2011, ISBN 978-3-642-23440-8 Contents
6835
Rudolf Mester, Michael Felsberg (Eds.):
Pattern Recognition - 33rd DAGM Symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23122-3 Contents
6836
Ivan Habernal, Václav Matousek (Eds.):
Text, Speech and Dialogue - 14th International Conference, TSD 2011, Pilsen, Czech Republic, September 1-5, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23537-5 Contents
6837
Reggie Kwan, Joseph Fong, Lam-for Kwok, Jeanne Lam (Eds.):
Hybrid Learning - 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22762-2 Contents
De-Shuang Huang, Yong Gan, Phalguni Gupta, M. Michael Gromiha (Eds.):
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence - 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011, Revised Selected Papers.
Springer 2012, ISBN 978-3-642-25943-2 Contents
6840
De-Shuang Huang, Yong Gan, Prashan Premaratne, Kyungsook Han (Eds.):
Bio-Inspired Computing and Applications - 7th International Conference on Intelligent Computing, ICIC 2011, Zhengzhou,China, August 11-14. 2011, Revised Selected Papers.
Springer 2012, ISBN 978-3-642-24552-7 Contents
6841
Phillip Rogaway (Ed.):
Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22791-2 Contents
6842
Bin Fu, Ding-Zhu Du (Eds.):
Computing and Combinatorics - 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22684-7 Contents
6843
Yu Cheng, Do Young Eun, Zhiguang Qin, Min Song, Kai Xing (Eds.):
Wireless Algorithms, Systems, and Applications - 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23489-7 Contents
6844
Frank Dehne, John Iacono, Jörg-Rüdiger Sack (Eds.):
Algorithms and Data Structures - 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22299-3 Contents
6845
Leslie Ann Goldberg, Klaus Jansen, R. Ravi, José D. P. Rolim (Eds.):
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22934-3 Contents
6846
Marijn Janssen, Hans Jochen Scholl, Maria Wimmer, Yao-Hua Tan (Eds.):
Electronic Government - 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, The Netherlands, August 28 - September 2, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22877-3 Contents
6847
Efthimios Tambouris, Ann Macintosh, Hans de Bruijn (Eds.):
Electronic Participation - Third IFIP WG 8.5 International Conference, ePart 2011, Delft, The Netherlands, August 29 - September 1, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23332-6 Contents
Emmanuel Jeannot, Raymond Namyst, Jean Roman (Eds.):
Euro-Par 2011 Parallel Processing - 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I.
Springer 2011, ISBN 978-3-642-23399-9 Contents
6853
Emmanuel Jeannot, Raymond Namyst, Jean Roman (Eds.):
Euro-Par 2011 Parallel Processing - 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II.
Springer 2011, ISBN 978-3-642-23396-8 Contents
Alessandro Aldini, Roberto Gorrieri (Eds.):
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures.
Springer 2011, ISBN 978-3-642-23081-3 Contents
6859
Andrea Corradini, Bartek Klin, Corina Cîrstea (Eds.):
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22943-5 Contents
Alfredo Cuzzocrea, Umeshwar Dayal (Eds.):
Data Warehousing and Knowledge Discovery - 13th International Conference, DaWaK 2011, Toulouse, France, August 29-September 2,2011. Proceedings.
Springer 2011, ISBN 978-3-642-23543-6 Contents
6863
Steven Furnell, Costas Lambrinoudakis, Günther Pernul (Eds.):
Trust, Privacy and Security in Digital Business - 8th International Conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22889-6 Contents
6864
Abdelkader Hameurlain, A Min Tjoa (Eds.):
Data Management in Grid and Peer-to-Peer Systems - 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings.
Springer 2011, ISBN 978-3-642-22946-6 Contents
6865
Christian Böhm, Sami Khuri, Lenka Lhotská, Nadia Pisanti (Eds.):
Information Technology in Bio- and Medical Informatics - Second International Conference, ITBAM 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23207-7 Contents
6866
Kim Normann Andersen, Enrico Francesconi, Åke Grönlund, Tom M. van Engers (Eds.):
Electronic Government and the Information Systems Perspective - Second International Conference, EGOVIS 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22960-2 Contents
6867
Vladimír Marík, Pavel Vrba, Paulo Leitão (Eds.):
Holonic and Multi-Agent Systems for Manufacturing - 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23180-3 Contents
6868
Dieter Kranzlmüller, A Min Tjoa (Eds.):
Information and Communication on Technology for the Fight against Global Warming - First International Conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23446-0 Contents
6869
Sergey Balandin, Yevgeni Koucheryavy, Honglin Hu (Eds.):
Smart Spaces and Next Generation Wired/Wireless Networking, 11th International Conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-22874-2 Contents
6870
Petra Perner (Ed.):
Advances in Data Mining. Applications and Theoretical Aspects - 11th Industrial Conference, ICDM 2011, New York, NY, USA, August 30 - September 3, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23183-4 Contents
6871
Petra Perner (Ed.):
Machine Learning and Data Mining in Pattern Recognition - 7th International Conference, MLDM 2011, New York, NY, USA, August 30 - September 3, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23198-8 Contents
6872
Maiga Chang, Wu-Yuin Hwang, Ming-Puu Chen, Wolfgang Müller (Eds.):
Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications - 6th International Conference on E-learning and Games, Edutainment 2011, Taipei, Taiwan, September 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23455-2 Contents
6873
Victor Malyshkin (Ed.):
Parallel Computing Technologies - 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23177-3 Contents
6874
Yuhua Luo (Ed.):
Cooperative Design, Visualization, and Engineering - 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23733-1 Contents
6875
Cliff B. Jones, John L. Lloyd (Eds.):
Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday.
Springer 2011, ISBN 978-3-642-24540-4 Contents
6876
Jimmy Ho-Man Lee (Ed.):
Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23785-0 Contents
6877
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (Eds.):
Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers.
Springer 2011, ISBN 978-3-642-25069-9 Contents
Vijay Atluri, Claudia Díaz (Eds.):
Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23821-5 Contents
6880
Ashwin Ram, Nirmalie Wiratunga (Eds.):
Case-Based Reasoning Research and Development - 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23290-9 Contents
Eran Yahav (Ed.):
Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23701-0 Contents
6888
Joaquín García-Alfaro, Pascal Lafourcade (Eds.):
Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers.
Springer 2012, ISBN 978-3-642-27900-3 Contents
6889
Bin Hu, Jiming Liu, Lin Chen, Ning Zhong (Eds.):
Brain Informatics - International Conference, BI 2011, Lanzhou, China, September 7-9, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23604-4 Contents
6890
Ning Zhong, Vic Callaghan, Ali A. Ghorbani, Bin Hu (Eds.):
Active Media Technology - 7th International Conference, AMT 2011, Lanzhou, China, September 7-9, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23619-8 Contents
6891
Gabor Fichtinger, Anne L. Martel, Terry M. Peters (Eds.):
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011 - 14th International Conference, Toronto, Canada, September 18-22, 2011, Proceedings, Part I.
Springer 2011, ISBN 978-3-642-23622-8 Contents
6892
Gabor Fichtinger, Anne L. Martel, Terry M. Peters (Eds.):
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011 - 14th International Conference, Toronto, Canada, September 18-22, 2011, Proceedings, Part II.
Springer 2011, ISBN 978-3-642-23628-0 Contents
6893
Gabor Fichtinger, Anne L. Martel, Terry M. Peters (Eds.):
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011 - 14th International Conference, Toronto, Canada, September 18-22, 2011, Proceedings, Part III.
Springer 2011, ISBN 978-3-642-23625-9 Contents
6894
Francesco Flammini, Sandro Bologna, Valeria Vittorini (Eds.):
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-24269-4 Contents
Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf (Eds.):
Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings.
Springer 2011, ISBN 978-3-642-23058-5 Contents
data released under the ODC-BY 1.0 license
