Lecture Notes in Computer Science (LNCS), Volumes 7500-7599

7500

...

7501

Leah Epstein, Paolo Ferragina (Eds.): Algorithms - ESA 2012 - 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33089-6
Contents

7502

Yukiko Nakano, Michael Neff, Ana Paiva, Marilyn A. Walker (Eds.): Intelligent Virtual Agents - 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33196-1
Contents

7503

Tadeusz Morzy, Theo Härder, Robert Wrembel (Eds.): Advances in Databases and Information Systems - 16th East European Conference, ADBIS 2012, Poznań, Poland, September 18-21, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33073-5
Contents

7504

George Eleftherakis, Mike Hinchey, Mike Holcombe (Eds.): Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33825-0
Contents

7505

Adrian Horia Dediu, Carlos Martín-Vide, Bianca Truthe (Eds.): Theory and Practice of Natural Computing - First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33859-5
Contents

7506

Chun-Yi Su, Subhash Rakheja, Honghai Liu (Eds.): Intelligent Robotics and Applications - 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I. Springer 2012, ISBN 978-3-642-33508-2
Contents

7507

Chun-Yi Su, Subhash Rakheja, Honghai Liu (Eds.): Intelligent Robotics and Applications - 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II. Springer 2012, ISBN 978-3-642-33514-3
Contents

7508

Chun-Yi Su, Subhash Rakheja, Honghai Liu (Eds.): Intelligent Robotics and Applications - 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III. Springer 2012, ISBN 978-3-642-33502-0
Contents

7509

Pew-Thian Yap, Tianming Liu, Dinggang Shen, Carl-Fredrik Westin, Li Shen (Eds.): Multimodal Brain Image Analysis - Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33529-7
Contents

7510

Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2012 - 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part I. Springer 2012, ISBN 978-3-642-33414-6
Contents

7511

Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2012 - 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II. Springer 2012, ISBN 978-3-642-33417-7
Contents

7512

Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori (Eds.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2012 - 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III. Springer 2012, ISBN 978-3-642-33453-5
Contents

7513

...

7514

Michela Milano (Ed.): Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33557-0
Contents

7515

Gordon Fraser, Jerffeson Teixeira de Souza (Eds.): Search Based Software Engineering - 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33118-3
Contents

7516

Stefan Göbel, Wolfgang Müller, Bodo Urban, Josef Wiemeyer (Eds.): E-Learning and Games for Training, Education, Health and Sports - 7th International Conference, Edutainment 2012 and 3rd International Conference, GameDays 2012, Darmstadt, Germany, September 18-20, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33465-8
Contents

7517

Jacques Blanc-Talon, Wilfried Philips, Dan C. Popescu, Paul Scheunders, Pavel Zemcík (Eds.): Advanced Concepts for Intelligent Vision Systems - 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33139-8
Contents

7518

Silvana Castano, Panos Vassiliadis, Laks V. Lakshmanan, Mong-Li Lee (Eds.): Advances in Conceptual Modeling - ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33998-1
Contents

7519

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (Eds.): Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33352-1
Contents

7520

Eyke Hüllermeier, Sebastian Link, Thomas Fober, Bernhard Seeger (Eds.): Scalable Uncertainty Management - 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33361-3
Contents

7521

Abhik Roychoudhury, Meenakshi D'Souza (Eds.): Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. Springer 2012, ISBN 978-3-642-32942-5
Contents

7522

Marc Herrlich, Rainer Malaka, Maic Masuch (Eds.): Entertainment Computing - ICEC 2012 - 11th International Conference, ICEC 2012, Bremen, Germany, September 26-29, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33541-9
Contents

7523

Peter A. Flach, Tijl De Bie, Nello Cristianini (Eds.): Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I. Springer 2012, ISBN 978-3-642-33459-7
Contents

7524

Peter A. Flach, Tijl De Bie, Nello Cristianini (Eds.): Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II. Springer 2012, ISBN 978-3-642-33485-6
Contents

7525

Paul T. Groth, James Frew (Eds.): Provenance and Annotation of Data and Processes - 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers. Springer 2012, ISBN 978-3-642-34221-9
Contents

7526

Birte Glimm, Antonio Krüger (Eds.): KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33346-0
Contents

7527

Paris Avgeriou (Ed.): Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33175-6
Contents

7528

Minhua Ma, Manuel Fradinho, Jannicke Baalsrud Hauge, Heiko Duin, Klaus-Dieter Thoben (Eds.): Serious Games Development and Applications - Third International Conference, SGDA 2012, Bremen, Germany, September 26-29, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33686-7
Contents

7529

Fu Lee Wang, Jingsheng Lei, Zhiguo Gong, Xiangfeng Luo (Eds.): Web Information Systems and Mining - International Conference, WISM 2012, Chengdu, China, October 26-28, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33468-9
Contents

7530

Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao (Eds.): Artificial Intelligence and Computational Intelligence - 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33477-1
Contents

7531

Igor V. Kotenko, Victor A. Skormin (Eds.): Computer Network Security - 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33703-1
Contents

7532

Paolo Atzeni, David W. Cheung, Sudha Ram (Eds.): Conceptual Modeling - 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings. Springer 2012, ISBN 978-3-642-34001-7
Contents

7533

Alejandro Hevia, Gregory Neven (Eds.): Progress in Cryptology - LATINCRYPT 2012 - 2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33480-1
Contents

7534

Benjamin J. Raphael, Jijun Tang (Eds.): Algorithms in Bioinformatics - 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33121-3
Contents

7535

Dimitrios M. Thilikos, Gerhard J. Woeginger (Eds.): Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33292-0
Contents

7536

...

7537

Chuankun Wu, Moti Yung, Dongdai Lin (Eds.): Information Security and Cryptology - 7th International Conference, Inscrypt 2011, Beijing, China, November 30 - December 3, 2011. Revised Selected Papers. Springer 2012, ISBN 978-3-642-34703-0
Contents

7538

Stefano Ceri, Marco Brambilla (Eds.): Search Computing - Broadening Web Search. Lecture Notes in Computer Science Vol. 7538 Springer 2012, ISBN 978-3-642-34212-7
Contents

7539

Radu Calinescu, David Garlan (Eds.): Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers. Springer 2012, ISBN 978-3-642-34058-1
Contents

7540

...

7541

Massimo Cossentino, Michael Kaisers, Karl Tuyls, Gerhard Weiss (Eds.): Multi-Agent Systems - 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers. Springer 2012, ISBN 978-3-642-34798-6
Contents

7542

Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (Eds.): Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Springer 2013, ISBN 978-3-642-35886-9,978-3-642-35887-6
Contents

7543

Peter McBurney, Simon Parsons, Iyad Rahwan (Eds.): Argumentation in Multi-Agent Systems - 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers. Springer 2012, ISBN 978-3-642-33151-0
Contents

7544

...

7545

Francisco V. Cipolla Ficarra, Kim H. Veltman, Miguel Cipolla-Ficarra, Andreas Kratky (Eds.): Communicability, Computer Graphics and Innovative Design for Interactive Systems - First International Symposium, CCGIDIS 2011, Córdoba, Spain, June 28-29, 2011, Revised Selected Papers. Springer 2012, ISBN 978-3-642-33759-8
Contents

7546

Francisco V. Cipolla Ficarra, Kim H. Veltman, Huang Chih-Fang, Miguel Cipolla-Ficarra, Andreas Kratky (Eds.): Human-Computer Interaction, Tourism and Cultural Heritage - Second International Workshop, HCITOCH 2011, Córdoba, Argentina, September 14-15, 2011, Revised Selected Papers. Springer 2012, ISBN 978-3-642-33943-1
Contents

7547

Francisco V. Cipolla Ficarra, Kim H. Veltman, Domen Verber, Miguel Cipolla-Ficarra, Florian Kammüller (Eds.): Advances in New Technologies, Interactive Interfaces and Communicability - Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers. Springer 2012, ISBN 978-3-642-34009-3
Contents

7548

...

7549

Anne Canteaut (Ed.): Fast Software Encryption - 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers. Springer 2012, ISBN 978-3-642-34046-8
Contents

7550

Alain Finkel, Jérôme Leroux, Igor Potapov (Eds.): Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33511-2
Contents

7551

Martin Charles Golumbic, Michal Stern, Avivit Levy, Gila Morgenstern (Eds.): Graph-Theoretic Concepts in Computer Science - 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers. Springer 2012, ISBN 978-3-642-34610-1
Contents

7552

Alessandro E. P. Villa, Wlodzislaw Duch, Péter Érdi, Francesco Masulli, Günther Palm (Eds.): Artificial Neural Networks and Machine Learning - ICANN 2012 - 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I. Springer 2012, ISBN 978-3-642-33268-5
Contents

7553

Alessandro E. P. Villa, Wlodzislaw Duch, Péter Érdi, Francesco Masulli, Günther Palm (Eds.): Artificial Neural Networks and Machine Learning - ICANN 2012 - 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. Springer 2012, ISBN 978-3-642-33265-4
Contents

7554

Francisco Heron de Carvalho Junior, Luís Soares Barbosa (Eds.): Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33181-7
Contents

7555

Hao Hu, Xiaoning Shi, Robert Stahlbock, Stefan Voß (Eds.): Computational Logistics - Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33586-0
Contents

7556

Josep Domingo-Ferrer, Ilenia Tinnirello (Eds.): Privacy in Statistical Databases - UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33626-3
Contents

7557

Allan Ramsay, Gennady Agre (Eds.): Artificial Intelligence: Methodology, Systems, and Applications - 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33184-8
Contents

7558

Elvira Popescu, Qing Li, Ralf Klamma, Howard Leung, Marcus Specht (Eds.): Advances in Web-Based Learning - ICWL 2012 - 11th International Conference, Sinaia, Romania, September 2-4, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33641-6
Contents

7559

Albert Ali Salah, Javier Ruiz-del-Solar, Çetin Meriçli, Pierre-Yves Oudeyer (Eds.): Human Behavior Understanding - Third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012. Proceedings. Springer 2012, ISBN 978-3-642-34013-0
Contents

7560

Wolfram Kahl, Timothy G. Griffin (Eds.): Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33313-2
Contents

7561

Supratik Chakraborty, Madhavan Mukund (Eds.): Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33385-9
Contents

7562

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.): Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33653-9
Contents

7563

Andrew Ravenscroft, Stefanie N. Lindstaedt, Carlos Delgado Kloos, Davinia Hernández Leo (Eds.): 21st Century Learning for 21st Century Skills - 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33262-3
Contents

7564

Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Slawomir T. Wierzchon (Eds.): Computer Information Systems and Industrial Management - 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33259-3
Contents

7565

Robert Meersman, Hervé Panetto, Tharam S. Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz (Eds.): On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I. Springer 2012, ISBN 978-3-642-33605-8,978-3-642-33606-5
Contents

7566

Robert Meersman, Hervé Panetto, Tharam S. Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz (Eds.): On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II. Springer 2012, ISBN 978-3-642-33614-0,978-3-642-33615-7
Contents

7567

Pilar Herrero, Hervé Panetto, Robert Meersman, Tharam S. Dillon (Eds.): On the Move to Meaningful Internet Systems: OTM 2012 Workshops, Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33617-1,978-3-642-33618-8
Contents

7568

Nader H. Bshouty, Gilles Stoltz, Nicolas Vayatis, Thomas Zeugmann (Eds.): Algorithmic Learning Theory - 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings. Springer 2012, ISBN 978-3-642-34105-2
Contents

7569

Jean-Gabriel Ganascia, Philippe Lenca, Jean-Marc Petit (Eds.): Discovery Science - 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33491-7
Contents

7570

Stanley Durrleman, Tom Fletcher, Guido Gerig, Marc Niethammer (Eds.): Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data - Second International Workshop, STIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33554-9
Contents

7571

Franciso Durán (Ed.): Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Springer 2012, ISBN 978-3-642-34004-8
Contents

7572

Andrew W. Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid (Eds.): Computer Vision - ECCV 2012 - 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part I. Springer 2012, ISBN 978-3-642-33717-8
Contents

7573

Andrew W. Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid (Eds.): Computer Vision - ECCV 2012 - 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part II. Springer 2012, ISBN 978-3-642-33708-6
Contents

7574

Andrew W. Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid (Eds.): Computer Vision - ECCV 2012 - 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part III. Springer 2012, ISBN 978-3-642-33711-6
Contents

7575

Andrew W. Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid (Eds.): Computer Vision - ECCV 2012 - 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part IV. Springer 2012, ISBN 978-3-642-33764-2
Contents

7576

Andrew W. Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid (Eds.): Computer Vision - ECCV 2012 - 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part V. Springer 2012, ISBN 978-3-642-33714-7
Contents

7577

Andrew W. Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid (Eds.): Computer Vision - ECCV 2012 - 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VI. Springer 2012, ISBN 978-3-642-33782-6
Contents

7578

Andrew W. Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid (Eds.): Computer Vision - ECCV 2012 - 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VII. Springer 2012, ISBN 978-3-642-33785-7
Contents

7579

...

7580

Stephen Cranefield, Insu Song (Eds.): Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing - International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers. Springer 2012, ISBN 978-3-642-35611-7
Contents

7581

Robert Glück, Tetsuo Yokoyama (Eds.): Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Springer 2013, ISBN 978-3-642-36314-6,978-3-642-36315-3
Contents

7582

Kazuo Iwama, Yasuhito Kawano, Mio Murao (Eds.): Theory of Quantum Computation, Communication, and Cryptography, 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers. Springer 2013, ISBN 978-3-642-35655-1,978-3-642-35656-8
Contents

7583

Andrea Fusiello, Vittorio Murino, Rita Cucchiara (Eds.): Computer Vision - ECCV 2012. Workshops and Demonstrations - Florence, Italy, October 7-13, 2012, Proceedings, Part I. Springer 2012, ISBN 978-3-642-33862-5
Contents

7584

Andrea Fusiello, Vittorio Murino, Rita Cucchiara (Eds.): Computer Vision - ECCV 2012. Workshops and Demonstrations - Florence, Italy, October 7-13, 2012, Proceedings, Part II. Springer 2012, ISBN 978-3-642-33867-0
Contents

7585

Andrea Fusiello, Vittorio Murino, Rita Cucchiara (Eds.): Computer Vision - ECCV 2012. Workshops and Demonstrations - Florence, Italy, October 7-13, 2012, Proceedings, Part III. Springer 2012, ISBN 978-3-642-33884-7
Contents

7586

...

7587

Mirco Tribastone, Stephen Gilmore (Eds.): Computer Performance Engineering - 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Springer 2013, ISBN 978-3-642-36780-9
Contents

7588

Fei Wang, Dinggang Shen, Pingkun Yan, Kenji Suzuki (Eds.): Machine Learning in Medical Imaging - Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers. Springer 2012, ISBN 978-3-642-35427-4
Contents

7589

Leliane Nunes de Barros, Marcelo Finger, Aurora T. R. Pozo, Gustavo Alberto Giménez Lugo, Marcos A. Castilho (Eds.): Advances in Artificial Intelligence - SBIA 2012 - 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings. Springer 2012, ISBN 978-3-642-34458-9
Contents

7590

Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson (Eds.): Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33665-2
Contents

7591

Ulrich Flegel, Evangelos P. Markatos, William Robertson (Eds.): Detection of Intrusions and Malware, and Vulnerability Assessment - 9th International Conference, DIMVA 2012, Heraklion, Crete, Greece, July 26-27, 2012, Revised Selected Papers. Springer 2013, ISBN 978-3-642-37299-5
Contents

7592

Flavio De Paoli, Ernesto Pimentel, Gianluigi Zavattaro (Eds.): Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33426-9
Contents

7593

...

7594

Leonard Bolc, Ryszard Tadeusiewicz, Leszek J. Chmielewski, Konrad W. Wojciechowski (Eds.): Computer Vision and Graphics - International Conference, ICCVG 2012, Warsaw, Poland, September 24-26, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33563-1
Contents

7595

Marcin Jurdzinski, Dejan Nickovic (Eds.): Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33364-4
Contents

7596

Andréa W. Richa, Christian Scheideler (Eds.): Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33535-8
Contents

7597

Carlos A. Coello Coello, Julie Greensmith, Natalio Krasnogor, Pietro Liò, Giuseppe Nicosia, Mario Pavone (Eds.): Artificial Immune Systems - 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33756-7
Contents

7598

Ingo J. Timm, Christian Guttmann (Eds.): Multiagent System Technologies - 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33689-8
Contents

7599

Joshua A. Levine, Rasmus R. Paulsen, Yongjie Zhang (Eds.): Mesh Processing in Medical Image Analysis 2012 - MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012. Proceedings. Springer 2012, ISBN 978-3-642-33462-7
Contents

Last update Fri May 24 18:21:10 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page