default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 8300-8399
8300Guojun Wang, Indrakshi Ray, Dengguo Feng, Muttukrishnan Rajarajan:
Cyberspace Safety and Security - 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings. Lecture Notes in Computer Science 8300, Springer 2013, ISBN 978-3-319-03583-3 [contents]- 8301Chung-chieh Shan:
Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Lecture Notes in Computer Science 8301, Springer 2013, ISBN 978-3-319-03541-3 [contents] - 8302Vasudha Bhatnagar, Srinath Srinivasa:
Big Data Analytics - Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings. Lecture Notes in Computer Science 8302, Springer 2013, ISBN 978-3-319-03688-5 [contents] - 8303Aditya Bagchi, Indrakshi Ray:
Information Systems Security - 9th International Conference, ICISS 2013, Kolkata, India, December 16-20, 2013. Proceedings. Lecture Notes in Computer Science 8303, Springer 2013, ISBN 978-3-642-45203-1 [contents] - 8304Roberto Baldoni, Nicolas Nisse, Maarten van Steen:
Principles of Distributed Systems - 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings. Lecture Notes in Computer Science 8304, Springer 2013, ISBN 978-3-319-03849-0 [contents] - 8305Anthony Bonato, Michael Mitzenmacher, Pawel Pralat:
Algorithms and Models for the Web Graph - 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings. Lecture Notes in Computer Science 8305, Springer 2013, ISBN 978-3-319-03535-2 [contents] - 8306Elizabeth Black, Sanjay Modgil, Nir Oren:
Theory and Applications of Formal Argumentation - Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers. Lecture Notes in Computer Science 8306, Springer 2014, ISBN 978-3-642-54372-2 [contents] - 8307Georges Gonthier, Michael Norrish:
Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Lecture Notes in Computer Science 8307, Springer 2013, ISBN 978-3-319-03544-4 [contents] - 8308Martijn Stam:
Cryptography and Coding - 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings. Lecture Notes in Computer Science 8308, Springer 2013, ISBN 978-3-642-45238-3 [contents] - 8309Juan Carlos Augusto, Reiner Wichert, Rem W. Collier, David V. Keyson, Albert Ali Salah
, Ah-Hwee Tan:
Ambient Intelligence - 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings. Lecture Notes in Computer Science 8309, Springer 2013, ISBN 978-3-319-03646-5 [contents] - 8310Magnus Jonsson, Alexey V. Vinel, Boris Bellalta, Ninoslav Marina, Desislava Dimitrova, Dieter Fiems:
Multiple Access Communcations - 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings. Lecture Notes in Computer Science 8310, Springer 2013, ISBN 978-3-319-03870-4 [contents] - 8311Anna-Lena Lamprecht:
User-Level Workflow Design - A Bioinformatics Perspective. Dortmund University of Technology, Lecture Notes in Computer Science 8311, Springer 2013, ISBN 978-3-642-45388-5, pp. 1-202 - 8312Kenneth L. McMillan, Aart Middeldorp, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Lecture Notes in Computer Science 8312, Springer 2013, ISBN 978-3-642-45220-8 [contents] - 8313Jordi Nin, Daniel Villatoro:
Citizen in Sensor Networks - Second International Workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8313, Springer 2014, ISBN 978-3-319-04177-3 [contents] - 8314Mainak Chatterjee, Jiannong Cao, Kishore Kothapalli, Sergio Rajsbaum:
Distributed Computing and Networking - 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings. Lecture Notes in Computer Science 8314, Springer 2014, ISBN 978-3-642-45248-2 [contents] - 8315Jeremy Gibbons, Wendy MacCaull:
Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8315, Springer 2014, ISBN 978-3-642-53955-8 [contents] - 8316Longbing Cao, Yifeng Zeng, Andreas L. Symeonidis, Vladimir Gorodetsky, Jörg P. Müller, Philip S. Yu:
Agents and Data Mining Interaction - 9th International Workshop, ADMI 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8316, Springer 2014, ISBN 978-3-642-55191-8 [contents] - 8317Carles Padró:
Information Theoretic Security - 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings. Lecture Notes in Computer Science 8317, Springer 2014, ISBN 978-3-319-04267-1 [contents] - 8318Kenneth L. McMillan, Xavier Rival:
Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. Lecture Notes in Computer Science 8318, Springer 2014, ISBN 978-3-642-54012-7 [contents] - 8319Bart Preneel, Demosthenes Ikonomou:
Privacy Technologies and Policy - First Annual Privacy Forum, APF 2012, Limassol, Cyprus, October 10-11, 2012, Revised Selected Papers. Lecture Notes in Computer Science 8319, Springer 2014, ISBN 978-3-642-54068-4 [contents] - 8320Abdelkader Hameurlain, Josef Küng, Roland R. Wagner:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XII. Lecture Notes in Computer Science 8320, Springer 2013, ISBN 978-3-642-45314-4 [contents] - 8321Prosenjit Gupta, Christos D. Zaroliagis:
Applied Algorithms - First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings. Lecture Notes in Computer Science 8321, Springer 2014, ISBN 978-3-319-04125-4 [contents] - 8322Jay McCarthy:
Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8322, Springer 2014, ISBN 978-3-642-45339-7 [contents] - 8323Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales:
Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8323, Springer 2014, ISBN 978-3-319-04533-7 [contents] - 8324Matthew Flatt, Hai-Feng Guo:
Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Lecture Notes in Computer Science 8324, Springer 2014, ISBN 978-3-319-04131-5 [contents] - 8325Cathal Gurrin, Frank Hopfgartner, Wolfgang Hürst, Håvard D. Johansen, Hyowon Lee, Noel E. O'Connor:
MultiMedia Modeling - 20th Anniversary International Conference, MMM 2014, Dublin, Ireland, January 6-10, 2014, Proceedings, Part I. Lecture Notes in Computer Science 8325, Springer 2014, ISBN 978-3-319-04113-1 [contents] - 8326Cathal Gurrin, Frank Hopfgartner, Wolfgang Hürst, Håvard D. Johansen, Hyowon Lee, Noel E. O'Connor:
MultiMedia Modeling - 20th Anniversary International Conference, MMM 2014, Dublin, Ireland, January 6-10, 2014, Proceedings, Part II. Lecture Notes in Computer Science 8326, Springer 2014, ISBN 978-3-319-04116-2 [contents] - 8327Viliam Geffert, Bart Preneel, Branislav Rovan, Julius Stuller, A Min Tjoa:
SOFSEM 2014: Theory and Practice of Computer Science - 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings. Lecture Notes in Computer Science 8327, Springer 2014, ISBN 978-3-319-04297-8 [contents] - 8328Eric A. M. Luiijf, Pieter H. Hartel:
Critical Information Infrastructures Security - 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8328, Springer 2013, ISBN 978-3-319-03963-3 [contents] - 8329Martin Atzmueller, Alvin Chin, Denis Helic, Andreas Hotho:
Ubiquitous Social Media Analysis - Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers. Lecture Notes in Computer Science 8329, Springer 2013, ISBN 978-3-642-45391-5 [contents] - 8330Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal S. Rhode, Maxime Sermesant, Alistair A. Young:
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges - 4th International Workshop, STACOM 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 26, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8330, Springer 2014, ISBN 978-3-642-54267-1 [contents] - 8331Bjoern H. Menze, Georg Langs, Albert Montillo, B. Michael Kelm, Henning Müller, Zhuowen Tu:
Medical Computer Vision. Large Data in Medical Imaging - Third International MICCAI Workshop, MCV 2013, Nagoya, Japan, September 26, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8331, Springer 2014, ISBN 978-3-319-05529-9 [contents] - 8332Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8332, Springer 2014, ISBN 978-3-319-04914-4 [contents] - 8333Reinhard Klette, Mariano Rivera, Shin'ichi Satoh:
Image and Video Technology - 6th Pacific-Rim Symposium, PSIVT 2013, Guanajuato, Mexico, October 28-November 1, 2013. Proceedings. Lecture Notes in Computer Science 8333, Springer 2014, ISBN 978-3-642-53841-4 [contents] - 8334Fay Huang, Akihiro Sugimoto:
Image and Video Technology - PSIVT 2013 Workshops - GCCV 2013, GPID 2013, PAESNPR 2013, and QACIVA 2013, Guanajuato, Mexico, October 28-29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8334, Springer 2014, ISBN 978-3-642-53925-1 [contents] - 8335Shah Jamal Alam, H. Van Dyke Parunak:
Multi-Agent-Based Simulation XIV - International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8235, Springer 2014, ISBN 978-3-642-54782-9 [contents] - 8336Igor Paprotny, Sarah Bergbreiter:
Small-Scale Robotics. From Nano-to-Millimeter-Sized Robotic Systems and Applications - First International Workshop at ICRA 2013, Karlsruhe, Germany, May 6, 2013, Revised and Extended Papers. Lecture Notes in Computer Science 8336, Springer 2014, ISBN 978-3-642-55133-8 [contents] - 8337Raja Natarajan:
Distributed Computing and Internet Technology - 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014. Proceedings. Lecture Notes in Computer Science 8337, Springer 2014, ISBN 978-3-319-04482-8 [contents] - 8338John Barnes:
Ada 2012 Rationale - The Language, The Standard Libraries. Lecture Notes in Computer Science 8338, Springer 2013, ISBN 978-3-642-45209-3, pp. 1-204 - 8339S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder, Pascal Leroy, Edmond Schonberg:
Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/2012 (E). Lecture Notes in Computer Science 8339, Springer 2013, ISBN 978-3-642-45418-9, pp. 1-349 - 8340Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa:
Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8340, Springer 2014, ISBN 978-3-642-54238-1 [contents] - 8341Sokratis K. Katsikas, Isaac Agudo:
Public Key Infrastructures, Services and Applications - 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8341, Springer 2014, ISBN 978-3-642-53996-1 [contents] - 8342Ngoc Thanh Nguyen, Le Thi Hoai An:
Transactions on Computational Collective Intelligence XIII. Lecture Notes in Computer Science 8342, Springer 2014, ISBN 978-3-642-54454-5 [contents] - 8343Sonja Klingert, Xavier Hesselbach-Serra, María Pérez Ortega, Giovanni Giuliani:
Energy-Efficient Data Centers - Second International Workshop, E2DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8343, Springer 2014, ISBN 978-3-642-55148-2 [contents] - 8344Sudebkumar Prasant Pal, Kunihiko Sadakane:
Algorithms and Computation - 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings. Lecture Notes in Computer Science 8344, Springer 2014, ISBN 978-3-319-04656-3 [contents] - 8345Achim Ebert, Gerrit C. van der Veer, Gitta Domik, Nahum D. Gershon, Inga Scheler:
Building Bridges: HCI, Visualization, and Non-formal Modeling - IFIP WG 13.7 Workshops on Human-Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 8345, Springer 2014, ISBN 978-3-642-54893-2 [contents] - 8346Hiroshi Motoda, Zhaohui Wu, Longbing Cao, Osmar R. Zaïane, Min Yao, Wei Wang:
Advanced Data Mining and Applications, 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8346, Springer 2013, ISBN 978-3-642-53913-8 [contents] - 8347Hiroshi Motoda, Zhaohui Wu, Longbing Cao, Osmar R. Zaïane, Min Yao, Wei Wang:
Advanced Data Mining and Applications - 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part II. Lecture Notes in Computer Science 8347, Springer 2013, ISBN 978-3-642-53916-9 [contents] - 8348José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue:
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8348, Springer 2014, ISBN 978-3-319-07601-0 [contents] - 8349Yehuda Lindell:
Theory of Cryptography - 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings. Lecture Notes in Computer Science 8349, Springer 2014, ISBN 978-3-642-54241-1 [contents] - 8350Erik Maehle, Kay Römer, Wolfgang Karl, Eduardo Tovar:
Architecture of Computing Systems - ARCS 2014 - 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings. Lecture Notes in Computer Science 8350, Springer 2014, ISBN 978-3-319-04890-1 [contents] - 8351Qiaohong Zu, Maria Vargas-Vera, Bo Hu:
Pervasive Computing and the Networked World - Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 5-7, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8351, Springer 2014, ISBN 978-3-319-09264-5 [contents] - 8352Jean-Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquín García-Alfaro, Nur Zincir-Heywood:
Foundations and Practice of Security - 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8352, Springer 2014, ISBN 978-3-319-05301-1 [contents] - 8353Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski:
Large-Scale Scientific Computing - 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8353, Springer 2014, ISBN 978-3-662-43879-4 [contents] - 8354Bhaskar Krishnamachari, Amy L. Murphy, Niki Trigoni:
Wireless Sensor Networks - 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings. Lecture Notes in Computer Science 8354, Springer 2014, ISBN 978-3-319-04650-1 [contents] - 8355Marinos Ioannides, Ewald Quak:
3D Research Challenges in Cultural Heritage - A Roadmap in Digital Heritage Preservation. Lecture Notes in Computer Science 8355, Springer 2014, ISBN 978-3-662-44629-4 [contents] - 8356Stephen W. Poole, Oscar R. Hernandez, Pavel Shamis:
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools - First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings. Lecture Notes in Computer Science 8356, Springer 2014, ISBN 978-3-319-05214-4 [contents] - 8357Masakazu Iwamura, Faisal Shafait:
Camera-Based Document Analysis and Recognition - 5th International Workshop, CBDAR 2013, Washington, DC, USA, August 23, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8357, Springer 2014, ISBN 978-3-319-05166-6 [contents] - 8358Martín Abadi, Alberto Lluch-Lafuente:
Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8358, Springer 2014, ISBN 978-3-319-05118-5 [contents] - 8359Akiyo Nadamoto, Adam Jatowt, Adam Wierzbicki, Jochen L. Leidner:
Social Informatics - SocInfo 2013 International Workshops, QMC and HISTOINFORMATICS, Kyoto, Japan, November 25, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8359, Springer 2014, ISBN 978-3-642-55284-7 [contents] - 8360Marina L. Gavrilova, C. J. Kenneth Tan:
Transactions on Computational Science XXII. Lecture Notes in Computer Science 8360, Springer 2014, ISBN 978-3-642-54211-4 [contents] - 8361Marius Erdt, Marius George Linguraru, Cristina Oyarzun Laura, Raj Shekhar, Stefan Wesarg, Miguel Ángel González Ballester, Klaus Drechsler:
Clinical Image-Based Procedures. Translational Research in Medical Imaging - Second International Workshop, CLIP 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8361, Springer 2014, ISBN 978-3-319-05665-4 [contents] - 8362Michalis Faloutsos, Aleksandar Kuzmanovic:
Passive and Active Measurement - 15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014, Proceedings. Lecture Notes in Computer Science 8362, Springer 2014, ISBN 978-3-319-04917-5 [contents] - 8363Yun Q. Shi, Feng Liu, WeiQi Yan:
Transactions on Data Hiding and Multimedia Security IX - Special Issue on Visual Cryptography. Lecture Notes in Computer Science 8363, Springer 2014, ISBN 978-3-642-55045-4 [contents] - 8364Jan Jürjens, Frank Piessens, Nataliia Bielova:
Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings. Lecture Notes in Computer Science 8364, Springer 2014, ISBN 978-3-319-04896-3 [contents] - 8365Zhenfu Cao, Fangguo Zhang:
Pairing-Based Cryptography - Pairing 2013 - 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8365, Springer 2014, ISBN 978-3-319-04872-7 [contents] - 8366Josh Benaloh:
Topics in Cryptology - CT-RSA 2014 - The Cryptographer's Track at the RSA Conference 2014, San Francisco, CA, USA, February 25-28, 2014. Proceedings. Lecture Notes in Computer Science 8366, Springer 2014, ISBN 978-3-319-04851-2 [contents] - 8367Christoph Beierle, Carlo Meghini:
Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings. Lecture Notes in Computer Science 8367, Springer 2014, ISBN 978-3-319-04938-0 [contents] - 8368Steve Counsell, Manuel Núñez:
Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8368, Springer 2014, ISBN 978-3-319-05031-7 [contents] - 8369Harald Atmanspacher, Emmanuel Haven, Kirsty Kitto, Derek Raine:
Quantum Interaction - 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers. Lecture Notes in Computer Science 8369, Springer 2014, ISBN 978-3-642-54942-7 [contents] - 8370Adrian-Horia Dediu, Carlos Martín-Vide, José Luis Sierra-Rodríguez, Bianca Truthe:
Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings. Lecture Notes in Computer Science 8370, Springer 2014, ISBN 978-3-319-04920-5 [contents] - 8371Sven Behnke, Manuela M. Veloso, Arnoud Visser, Rong Xiong:
RoboCup 2013: Robot World Cup XVII [papers from the 17th Annual RoboCup International Symposium, Eindhoven, The Netherlands, July 1, 2013]. Lecture Notes in Computer Science 8371, Springer 2014, ISBN 978-3-662-44467-2 [contents] - 8372Moulay A. Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz:
Algebraic and Algorithmic Aspects of Differential and Integral Operators - 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers. Lecture Notes in Computer Science 8372, Springer 2014, ISBN 978-3-642-54478-1 [contents] - 8373Shusaku Iida, José Meseguer, Kazuhiro Ogata:
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Lecture Notes in Computer Science 8373, Springer 2014, ISBN 978-3-642-54623-5 [contents] - 8374Dieter an Mey, Michael Alexander, Paolo Bientinesi, Mario Cannataro, Carsten Clauss, Alexandru Costan, Gabor Kecskemeti, Christine Morin, Laura Ricci, Julio Sahuquillo, Martin Schulz, Vittorio Scarano, Stephen L. Scott, Josef Weidendorfer:
Euro-Par 2013: Parallel Processing Workshops - BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8374, Springer 2014, ISBN 978-3-642-54419-4 [contents] - 8375James F. Peters, Andrzej Skowron:
Transactions on Rough Sets XVII. Lecture Notes in Computer Science 8375, Springer 2014, ISBN 978-3-642-54755-3 [contents] - 8376Kai Fischbach, Udo R. Krieger:
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings. Lecture Notes in Computer Science 8376, Springer 2014, ISBN 978-3-319-05358-5 [contents] - 8377Alessio Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandic:
Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8377, Springer 2014, ISBN 978-3-319-06858-9 [contents] - 8378Nelly Bencomo, Robert B. France, Betty H. C. Cheng, Uwe Aßmann:
Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011]. Lecture Notes in Computer Science 8378, Springer 2014, ISBN 978-3-319-08914-0 [contents] - 8379Emilio Tuosto, Chun Ouyang:
Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science 8379, Springer 2014, ISBN 978-3-319-08259-2 [contents] - 8380Andreas Kerren, Helen C. Purchase, Matthew O. Ward:
Multivariate Network Visualization - Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions. Lecture Notes in Computer Science 8380, Springer 2014, ISBN 978-3-319-06792-6 [contents] - 8381Aastha Madaan, Shinji Kikuchi, Subhash Bhalla:
Databases in Networked Information Systems - 9th International Workshop, DNIS 2014, Aizu-Wakamatsu, Japan, March 24-26, 2014. Proceedings. Lecture Notes in Computer Science 8381, Springer 2014, ISBN 978-3-319-05692-0 [contents] - 8382Andreas Nürnberger, Sebastian Stober, Birger Larsen, Marcin Detyniecki:
Adaptive Multimedia Retrieval: Semantics, Context, and Adaptation, 10th International Workshop, AMR 2012, Copenhagen, Denmark, October 24-25, 2012, Revised Selected Papers. Lecture Notes in Computer Science 8382, Springer 2014, ISBN 978-3-319-12092-8 [contents] - 8383Hugo Krawczyk:
Public-Key Cryptography - PKC 2014 - 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014. Proceedings. Lecture Notes in Computer Science 8383, Springer 2014, ISBN 978-3-642-54630-3 [contents] - 8384Roman Wyrzykowski, Jack J. Dongarra, Konrad Karczewski, Jerzy Wasniewski:
Parallel Processing and Applied Mathematics - 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I. Lecture Notes in Computer Science 8384, Springer 2014, ISBN 978-3-642-55223-6 [contents] - 8385Roman Wyrzykowski, Jack J. Dongarra, Konrad Karczewski, Jerzy Wasniewski:
Parallel Processing and Applied Mathematics - 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II. Lecture Notes in Computer Science 8385, Springer 2014, ISBN 978-3-642-55194-9 [contents] - 8386Tina Balke, Frank Dignum, M. Birna van Riemsdijk, Amit K. Chopra:
Coordination, Organizations, Institutions, and Norms in Agent Systems IX - COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8386, Springer 2014, ISBN 978-3-319-07313-2 [contents] - 8387Zygmunt Vetulani, Joseph Mariani:
Human Language Technology Challenges for Computer Science and Linguistics - 5th Language and Technology Conference, LTC 2011, Poznań, Poland, November 25-27, 2011, Revised Selected Papers. Lecture Notes in Computer Science 8387, Springer 2014, ISBN 978-3-319-08957-7 [contents] - 8388Wooju Kim, Ying Ding, Hong-Gee Kim:
Semantic Technology - Third Joint International Conference, JIST 2013, Seoul, South Korea, November 28-30, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8388, Springer 2014, ISBN 978-3-319-06825-1 [contents] - 8389Yun-Qing Shi, Hyoung-Joong Kim, Fernando Pérez-González:
Digital-Forensics and Watermarking - 12th International Workshop, IWDW 2013, Auckland, New Zealand, October 1-4, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8389, Springer 2014, ISBN 978-3-662-43885-5 [contents] - 8390Dickson K. W. Chiu, Minhong Wang, Elvira Popescu, Qing Li, Rynson W. H. Lau, Timothy K. Shih, Chu-Sing Yang, Demetrios G. Sampson:
Advances in Web-Based Learning - ICWL 2013 Workshops - USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8390, Springer 2015, ISBN 978-3-662-46314-7 [contents] - 8391Raghunath Nambiar, Meikel Poess:
Performance Characterization and Benchmarking - 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8391, Springer 2014, ISBN 978-3-319-04935-9 [contents] - 8392Alberto Pardo, Alfredo Viola:
LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Montevideo, Uruguay, March 31 - April 4, 2014. Proceedings. Lecture Notes in Computer Science 8392, Springer 2014, ISBN 978-3-642-54422-4 [contents] - 8393William G. Kennedy, Nitin Agarwal, Shanchieh Jay Yang:
Social Computing, Behavioral-Cultural Modeling and Prediction - 7th International Conference, SBP 2014, Washington, DC, USA, April 1-4, 2014. Proceedings. Lecture Notes in Computer Science 8393, Springer 2014, ISBN 978-3-319-05578-7 [contents] - 8394Roded Sharan:
Research in Computational Molecular Biology - 18th Annual International Conference, RECOMB 2014, Pittsburgh, PA, USA, April 2-5, 2014, Proceedings. Lecture Notes in Computer Science 8394, Springer 2014, ISBN 978-3-319-05268-7 [contents] - 8395Stefan Göbel, Josef Wiemeyer:
Games for Training, Education, Health and Sports - 4th International Conference on Serious Games, GameDays 2014, Darmstadt, Germany, April 1-5, 2014. Proceedings. Lecture Notes in Computer Science 8395, Springer 2014, ISBN 978-3-319-05971-6 [contents] - 8396Camille Salinesi, Inge van de Weerd:
Requirements Engineering: Foundation for Software Quality - 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Lecture Notes in Computer Science 8396, Springer 2014, ISBN 978-3-319-05842-9 [contents] - 8397Ngoc Thanh Nguyen, Boonwat Attachoo, Bogdan Trawinski, Kulwadee Somboonviwat:
Intelligent Information and Database Systems - 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I. Lecture Notes in Computer Science 8397, Springer 2014, ISBN 978-3-319-05475-9 [contents] - 8398Ngoc Thanh Nguyen, Boonwat Attachoo, Bogdan Trawinski, Kulwadee Somboonviwat:
Intelligent Information and Database Systems - 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part II. Lecture Notes in Computer Science 8398, Springer 2014, ISBN 978-3-319-05457-5 [contents] - 8399Annalisa Appice, Michelangelo Ceci, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew W. Ras:
New Frontiers in Mining Complex Patterns - Second International Workshop, NFMCP 2013, Held in Conjunction with ECML-PKDD 2013, Prague, Czech Republic, September 27, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8399, Springer 2014, ISBN 978-3-319-08406-0 [contents]
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 2025-02-27 22:53 CET 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:
