default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 8400-8499
8400Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz
, Jörg Kienzle:
Transactions on Aspect-Oriented Software Development XI. Lecture Notes in Computer Science 8400, Springer 2014, ISBN 978-3-642-55098-0 [contents]- 8401Andreas Holzinger, Igor Jurisica:
Interactive Knowledge Discovery and Data Mining in Biomedical Informatics - State-of-the-Art and Future Challenges. Lecture Notes in Computer Science 8401, Springer 2014, ISBN 978-3-662-43967-8 [contents] - 8402T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper:
Theory and Applications of Models of Computation - 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings. Lecture Notes in Computer Science 8402, Springer 2014, ISBN 978-3-319-06088-0 [contents] - 8403Alexander F. Gelbukh:
Computational Linguistics and Intelligent Text Processing - 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I. Lecture Notes in Computer Science 8403, Springer 2014, ISBN 978-3-642-54905-2 [contents] - 8404Alexander F. Gelbukh:
Computational Linguistics and Intelligent Text Processing - 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II. Lecture Notes in Computer Science 8404, Springer 2014, ISBN 978-3-642-54902-1 [contents] - 8405Diana Goehringer, Marco Domenico Santambrogio, João M. P. Cardoso, Koen Bertels:
Reconfigurable Computing: Architectures, Tools, and Applications - 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings. Lecture Notes in Computer Science 8405, Springer 2014, ISBN 978-3-319-05959-4 [contents] - 8406Alberto Dainotti, Anirban Mahanti, Steve Uhlig:
Traffic Monitoring and Analysis - 6th International Workshop, TMA 2014, London, UK, April 14, 2014. Proceedings. Lecture Notes in Computer Science 8406, Springer 2014, ISBN 978-3-642-54998-4 [contents] - 8407Linawati, Made Sudiana Mahendra, Erich J. Neuhold, A Min Tjoa, Ilsun You:
Information and Communication Technology - Second IFIP TC5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014. Proceedings. Lecture Notes in Computer Science 8407, Springer 2014, ISBN 978-3-642-55031-7 [contents] - 8408Jia Li, Wen Gao:
Visual Saliency Computation - A Machine Learning Perspective. Lecture Notes in Computer Science 8408, Springer 2014, ISBN 978-3-319-05641-8, pp. 1-237 - 8409Albert Cohen:
Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Lecture Notes in Computer Science 8409, Springer 2014, ISBN 978-3-642-54806-2 [contents] - 8410Zhong Shao:
Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8410, Springer 2014, ISBN 978-3-642-54832-1 [contents] - 8411Stefania Gnesi, Arend Rensink:
Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8411, Springer 2014, ISBN 978-3-642-54803-1 [contents] - 8412Anca Muscholl:
Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8412, Springer 2014, ISBN 978-3-642-54829-1 [contents] - 8413Erika Ábrahám, Klaus Havelund:
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Lecture Notes in Computer Science 8413, Springer 2014, ISBN 978-3-642-54861-1 [contents] - 8414Martín Abadi, Steve Kremer:
Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8414, Springer 2014, ISBN 978-3-642-54791-1 [contents] - 8415Saddek Bensalem, Yassine Lakhnech, Axel Legay:
From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science 8415, Springer 2014, ISBN 978-3-642-54847-5 [contents] - 8416Maarten de Rijke, Tom Kenter, Arjen P. de Vries, ChengXiang Zhai, Franciska de Jong, Kira Radinsky, Katja Hofmann:
Advances in Information Retrieval - 36th European Conference on IR Research, ECIR 2014, Amsterdam, The Netherlands, April 13-16, 2014. Proceedings. Lecture Notes in Computer Science 8416, Springer 2014, ISBN 978-3-319-06027-9 [contents] - 8417Yukiko I. Nakano, Ken Satoh, Daisuke Bekki:
New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8417, Springer 2014, ISBN 978-3-319-10060-9 [contents] - 8418Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen, Marc-Florian Wendland:
Risk Assessment and Risk-Driven Testing - First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8418, Springer 2014, ISBN 978-3-319-07075-9 [contents] - 8419Aurélien Francillon, Pankaj Rohatgi:
Smart Card Research and Advanced Applications - 12th International Conference, CARDIS 2013, Berlin, Germany, November 27-29, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8419, Springer 2014, ISBN 978-3-319-08301-8 [contents] - 8420Abdelkader Hameurlain, Josef Küng, Roland R. Wagner:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIII. Lecture Notes in Computer Science 8420, Springer 2014, ISBN 978-3-642-54425-5 [contents] - 8421Sourav S. Bhowmick, Curtis E. Dyreson, Christian S. Jensen, Mong-Li Lee, Agus Muliantara, Bernhard Thalheim:
Database Systems for Advanced Applications - 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part I. Lecture Notes in Computer Science 8421, Springer 2014, ISBN 978-3-319-05809-2 [contents] - 8422Sourav S. Bhowmick, Curtis E. Dyreson, Christian S. Jensen, Mong-Li Lee, Agus Muliantara, Bernhard Thalheim:
Database Systems for Advanced Applications - 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II. Lecture Notes in Computer Science 8422, Springer 2014, ISBN 978-3-319-05812-2 [contents] - 8423Yanchun Zhang, Guiqing Yao, Jing He, Lei Wang, Neil R. Smalheiser, Xiao-Xia Yin:
Health Information Science - Third International Conference, HIS 2014, Shenzhen, China, April 22-23, 2014. Proceedings. Lecture Notes in Computer Science 8423, Springer 2014, ISBN 978-3-319-06268-6 [contents] - 8424Shiho Moriai:
Fast Software Encryption - 20th International Workshop, FSE 2013, Singapore, March 11-13, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8424, Springer 2014, ISBN 978-3-662-43932-6 [contents] - 8425Willem Jonker, Milan Petkovic:
Secure Data Management - 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings. Lecture Notes in Computer Science 8425, Springer 2014, ISBN 978-3-319-06810-7 [contents] - 8426Panos M. Pardalos, Mauricio G. C. Resende, Chrysafis Vogiatzis, Jose L. Walteros:
Learning and Intelligent Optimization - 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8426, Springer 2014, ISBN 978-3-319-09583-7 [contents] - 8427H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat:
Computers and Games - 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8427, Springer 2014, ISBN 978-3-319-09164-8 [contents] - 8428Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller:
Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings. Lecture Notes in Computer Science 8428, Springer 2014, ISBN 978-3-319-06250-1 [contents] - 8429Narayan Desai, Walfredo Cirne:
Job Scheduling Strategies for Parallel Processing - 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers. Lecture Notes in Computer Science 8429, Springer 2014, ISBN 978-3-662-43778-0 [contents] - 8430Julia M. Badger, Kristin Yvonne Rozier:
NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Lecture Notes in Computer Science 8430, Springer 2014, ISBN 978-3-319-06199-3 [contents] - 8431Maritta Heisel, Wouter Joosen, Javier López, Fabio Martinelli:
Engineering Secure Future Internet Services and Systems - Current Research. Lecture Notes in Computer Science 8431, Springer 2014, ISBN 978-3-319-07451-1 [contents] - 8432Tanja E. J. Vos, Kiran Lakhotia, Sebastian Bauersfeld:
Future Internet Testing - First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8432, Springer 2014, ISBN 978-3-319-07784-0 [contents] - 8433Theodor G. Wyeld, Paul R. Calder, Haifeng Shen:
Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability - 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and Extended Papers. Lecture Notes in Computer Science 8433, Springer 2015, ISBN 978-3-319-16939-2 [contents] - 8434Xinyi Huang, Jianying Zhou:
Information Security Practice and Experience - 10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014. Proceedings. Lecture Notes in Computer Science 8434, Springer 2014, ISBN 978-3-319-06319-5 [contents] - 8435Axel Sikora, Marion Berbineau, Alexey V. Vinel, Magnus Jonsson, Alain Pirovano, Marina Aguado:
Communication Technologies for Vehicles - 6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 6-7, 2014. Proceedings. Lecture Notes in Computer Science 8435, Springer 2014, ISBN 978-3-319-06643-1 [contents] - 8436Marina Sokolova, Peter van Beek:
Advances in Artificial Intelligence - 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings. Lecture Notes in Computer Science 8436, Springer 2014, ISBN 978-3-319-06482-6 [contents] - 8437Nicolas Christin, Reihaneh Safavi-Naini:
Financial Cryptography and Data Security - 18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8437, Springer 2014, ISBN 978-3-662-45471-8 [contents] - 8438Rainer Böhme, Michael Brenner, Tyler Moore, Matthew Smith:
Financial Cryptography and Data Security - FC 2014 Workshops, BITCOIN and WAHC 2014, Christ Church, Barbados, March 7, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8438, Springer 2014, ISBN 978-3-662-44773-4 [contents] - 8439Michael Hanus, Ricardo Rocha:
Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8439, Springer 2014, ISBN 978-3-319-08908-9 [contents] - 8440Michael Chau, Hsinchun Chen, G. Alan Wang, Jau-Hwang Wang:
Intelligence and Security Informatics - Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014. Proceedings. Lecture Notes in Computer Science 8440, Springer 2014, ISBN 978-3-319-06676-9 [contents] - 8441Phong Q. Nguyen, Elisabeth Oswald:
Advances in Cryptology - EUROCRYPT 2014 - 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014. Proceedings. Lecture Notes in Computer Science 8441, Springer 2014, ISBN 978-3-642-55219-9 [contents] - 8442Cliff B. Jones, Pekka Pihlajasaari, Jun Sun:
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science 8442, Springer 2014, ISBN 978-3-319-06409-3 [contents] - 8443Vincent S. Tseng, Tu Bao Ho, Zhi-Hua Zhou, Arbee L. P. Chen, Hung-Yu Kao:
Advances in Knowledge Discovery and Data Mining - 18th Pacific-Asia Conference, PAKDD 2014, Tainan, Taiwan, May 13-16, 2014. Proceedings, Part I. Lecture Notes in Computer Science 8443, Springer 2014, ISBN 978-3-319-06607-3 [contents] - 8444Vincent S. Tseng, Tu Bao Ho, Zhi-Hua Zhou, Arbee L. P. Chen, Hung-Yu Kao:
Advances in Knowledge Discovery and Data Mining - 18th Pacific-Asia Conference, PAKDD 2014, Tainan, Taiwan, May 13-16, 2014. Proceedings, Part II. Lecture Notes in Computer Science 8444, Springer 2014, ISBN 978-3-319-06604-2 [contents] - 8445Aristidis Likas, Konstantinos Blekas, Dimitris Kalles:
Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings. Lecture Notes in Computer Science 8445, Springer 2014, ISBN 978-3-319-07063-6 [contents] - 8446Marcello M. Bonsangue:
Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8446, Springer 2014, ISBN 978-3-662-44123-7 [contents] - 8447Christos Kaklamanis, Kirk Pruhs:
Approximation and Online Algorithms - 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8447, Springer 2014, ISBN 978-3-319-08000-0 [contents] - 8448Jorge Cuéllar:
Smart Grid Security - Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8448, Springer 2014, ISBN 978-3-319-10328-0 [contents] - 8449James F. Peters, Andrzej Skowron, Tianrui Li, Yan Yang, JingTao Yao, Hung Son Nguyen:
Transactions on Rough Sets XVIII. Lecture Notes in Computer Science 8449, Springer 2014, ISBN 978-3-662-44679-9 [contents] - 8450Bart Preneel, Demosthenes Ikonomou:
Privacy Technologies and Policy - Second Annual Privacy Forum, APF 2014, Athens, Greece, May 20-21, 2014. Proceedings. Lecture Notes in Computer Science 8450, Springer 2014, ISBN 978-3-319-06748-3 [contents] - 8451Helmut Simonis:
Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings. Lecture Notes in Computer Science 8451, Springer 2014, ISBN 978-3-319-07045-2 [contents] - 8452Enrico Formenti, Roberto Tagliaferri, Ernst Wit:
Computational Intelligence Methods for Bioinformatics and Biostatistics - 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8452, Springer 2014, ISBN 978-3-319-09041-2 [contents] - 8453Anne Remke, Mariëlle Stoelinga:
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures. Lecture Notes in Computer Science 8453, Springer 2014, ISBN 978-3-662-45488-6 [contents] - 8454Laurent George, Tullio Vardanega:
Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science 8454, Springer 2014, ISBN 978-3-319-08310-0 [contents] - 8455Elisabeth Métais, Mathieu Roche, Maguelonne Teisseire:
Natural Language Processing and Information Systems - 19th International Conference on Applications of Natural Language to Information Systems, NLDB 2014, Montpellier, France, June 18-20, 2014. Proceedings. Lecture Notes in Computer Science 8455, Springer 2014, ISBN 978-3-319-07982-0 [contents] - 8456Cathy Bodine, Sumi Helal, Tao Gu, Mounir Mokhtari:
Smart Homes and Health Telematics - 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers. Lecture Notes in Computer Science 8456, Springer 2015, ISBN 978-3-319-14423-8 [contents] - 8457Maria J. Blesa, Christian Blum, Stefan Voß:
Hybrid Metaheuristics - 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014. Proceedings. Lecture Notes in Computer Science 8457, Springer 2014, ISBN 978-3-319-07643-0 [contents] - 8458Abdelhamid Mellouk, Scott Fowler, Said Hoceini, Boubaker Daachi:
Wired/Wireless Internet Communications - 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedings. Lecture Notes in Computer Science 8458, Springer 2014, ISBN 978-3-319-13173-3 [contents] - 8459Eva Kühn, Rosario Pugliese:
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Lecture Notes in Computer Science 8459, Springer 2014, ISBN 978-3-662-43375-1 [contents] - 8460Kostas Magoutis, Peter R. Pietzuch:
Distributed Applications and Interoperable Systems - 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Lecture Notes in Computer Science 8460, Springer 2014, ISBN 978-3-662-43351-5 [contents] - 8461Erika Ábrahám, Catuscia Palamidessi:
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Lecture Notes in Computer Science 8461, Springer 2014, ISBN 978-3-662-43612-7 [contents] - 8462Anna Spagnolli, Luca Chittaro, Luciano Gamberini:
Persuasive Technology - 9th International Conference, PERSUASIVE 2014, Padua, Italy, May 21-23, 2014. Proceedings. Lecture Notes in Computer Science 8462, Springer 2014, ISBN 978-3-319-07126-8 [contents] - 8463Monica Chiarini Tremblay, Debra E. VanderMeer, Marcus A. Rothenberger, Ashish Gupta, Victoria Y. Yoon:
Advancing the Impact of Design Science: Moving from Theory to Practice - 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings. Lecture Notes in Computer Science 8463, Springer 2014, ISBN 978-3-319-06700-1 [contents] - 8464Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten:
Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 8464, Springer 2014, ISBN 978-3-319-06879-4 [contents] - 8465Valentina Presutti, Claudia d'Amato, Fabien Gandon, Mathieu d'Aquin, Steffen Staab, Anna Tordai:
The Semantic Web: Trends and Challenges - 11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings. Lecture Notes in Computer Science 8465, Springer 2014, ISBN 978-3-319-07442-9 [contents] - 8466Reneta P. Barneva, Valentin E. Brimkov, Josef Slapal:
Combinatorial Image Analysis - 16th International Workshop, IWCIA 2014, Brno, Czech Republic, May 28-30, 2014. Proceedings. Lecture Notes in Computer Science 8466, Springer 2014, ISBN 978-3-319-07147-3 [contents] - 8467Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada:
Artificial Intelligence and Soft Computing - 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I. Lecture Notes in Computer Science 8467, Springer 2014, ISBN 978-3-319-07172-5 [contents] - 8468Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada:
Artificial Intelligence and Soft Computing - 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II. Lecture Notes in Computer Science 8468, Springer 2014, ISBN 978-3-319-07175-6 [contents] - 8469David Pointcheval, Damien Vergnaud:
Progress in Cryptology - AFRICACRYPT 2014 - 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings. Lecture Notes in Computer Science 8469, Springer 2014, ISBN 978-3-319-06733-9 [contents] - 8470Dieter Pfoser, Ki-Joune Li:
Web and Wireless Geographical Information Systems - 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings. Lecture Notes in Computer Science 8470, Springer 2014, ISBN 978-3-642-55333-2 [contents] - 8471Dimitra Giannakopoulou, Daniel Kroening:
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8471, Springer 2014, ISBN 978-3-319-12153-6 [contents] - 8472Patrick Siarry, Lhassane Idoumghar, Julien Lepagnot:
Swarm Intelligence Based Optimization - First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8472, Springer 2014, ISBN 978-3-319-12969-3 [contents] - 8473Yves Demazeau, Franco Zambonelli, Juan M. Corchado, Javier Bajo:
Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection - 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings. Lecture Notes in Computer Science 8473, Springer 2014, ISBN 978-3-319-07550-1 [contents] - 8474Stefan Trausan-Matu, Kristy Elizabeth Boyer, Martha E. Crosby, Kitty Panourgia:
Intelligent Tutoring Systems - 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings. Lecture Notes in Computer Science 8474, Springer 2014, ISBN 978-3-319-07220-3 [contents] - 8475Michael Codish, Eijiro Sumii:
Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Lecture Notes in Computer Science 8475, Springer 2014, ISBN 978-3-319-07150-3 [contents] - 8476Edward A. Hirsch, Sergei O. Kuznetsov, Jean-Éric Pin, Nikolay K. Vereshchagin:
Computer Science - Theory and Applications - 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings. Lecture Notes in Computer Science 8476, Springer 2014, ISBN 978-3-319-06685-1 [contents] - 8477Yamine Aït Ameur, Klaus-Dieter Schewe:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. Lecture Notes in Computer Science 8477, Springer 2014, ISBN 978-3-662-43651-6 [contents] - 8478Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea:
Formal Concept Analysis - 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014. Proceedings. Lecture Notes in Computer Science 8478, Springer 2014, ISBN 978-3-319-07247-0 [contents] - 8479Ioana Boureanu, Philippe Owesarski, Serge Vaudenay:
Applied Cryptography and Network Security - 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings. Lecture Notes in Computer Science 8479, Springer 2014, ISBN 978-3-319-07535-8 [contents] - 8480Marios M. Polycarpou, André Carlos Ponce de Leon Ferreira de Carvalho, Jeng-Shyang Pan, Michal Wozniak, Héctor Quintián, Emilio Corchado:
Hybrid Artificial Intelligence Systems - 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014. Proceedings. Lecture Notes in Computer Science 8480, Springer 2014, ISBN 978-3-319-07616-4 [contents] - 8481Moonis Ali, Jeng-Shyang Pan, Shyi-Ming Chen, Mong-Fong Horng:
Modern Advances in Applied Intelligence - 27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014, Proceedings, Part I. Lecture Notes in Computer Science 8481, Springer 2014, ISBN 978-3-319-07454-2 [contents] - 8482Moonis Ali, Jeng-Shyang Pan, Shyi-Ming Chen, Mong-Fong Horng:
Modern Advances in Applied Intelligence - 27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014, Proceedings, Part II. Lecture Notes in Computer Science 8482, Springer 2014, ISBN 978-3-319-07466-5 [contents] - 8483Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer:
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Lecture Notes in Computer Science 8483, Springer 2014, ISBN 978-3-319-07316-3 [contents] - 8484Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff:
Advanced Information Systems Engineering - 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings. Lecture Notes in Computer Science 8484, Springer 2014, ISBN 978-3-319-07880-9 [contents] - 8485Feifei Li, Guoliang Li, Seung-won Hwang, Bin Yao, Zhenjie Zhang:
Web-Age Information Management - 15th International Conference, WAIM 2014, Macau, China, June 16-18, 2014. Proceedings. Lecture Notes in Computer Science 8485, Springer 2014, ISBN 978-3-319-08009-3 [contents] - 8486Alexander S. Kulikov, Sergei O. Kuznetsov, Pavel A. Pevzner:
Combinatorial Pattern Matching - 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings. Lecture Notes in Computer Science 8486, Springer 2014, ISBN 978-3-319-07565-5 [contents] - 8487Song Guo, Jaime Lloret, Pietro Manzoni, Stefan Ruehrup:
Ad-hoc, Mobile, and Wireless Networks - 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings. Lecture Notes in Computer Science 8487, Springer 2014, ISBN 978-3-319-07424-5 [contents] - 8488Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer:
Supercomputing - 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings. Lecture Notes in Computer Science 8488, Springer 2014, ISBN 978-3-319-07517-4 [contents] - 8489Gianfranco Ciardo, Ekkart Kindler:
Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science 8489, Springer 2014, ISBN 978-3-319-07733-8 [contents] - 8490Marina L. Gavrilova, C. J. Kenneth Tan, Xiaoyang Mao, Lichan Hong:
Transactions on Computational Science XXIII - Special Issue on Cyberworlds. Lecture Notes in Computer Science 8490, Springer 2014, ISBN 978-3-662-43789-6 [contents] - 8491Zhipeng Cai, Chaokun Wang, Siyao Cheng, Hongzhi Wang, Hong Gao:
Wireless Algorithms, Systems, and Applications - 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014. Proceedings. Lecture Notes in Computer Science 8491, Springer 2014, ISBN 978-3-319-07781-9 [contents] - 8492Mitra Basu, Yi Pan, Jianxin Wang:
Bioinformatics Research and Applications - 10th International Symposium, ISBRA 2014, Zhangjiajie, China, June 28-30, 2014. Proceedings. Lecture Notes in Computer Science 8492, Springer 2014, ISBN 978-3-319-08170-0 [contents] - 8493Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer:
Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science 8493, Springer 2014, ISBN 978-3-319-08018-5 [contents] - 8494Jon Lee, Jens Vygen:
Integer Programming and Combinatorial Optimization - 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014. Proceedings. Lecture Notes in Computer Science 8494, Springer 2014, ISBN 978-3-319-07556-3 [contents] - 8495José Francisco Martínez Trinidad, Jesús Ariel Carrasco-Ochoa, José Arturo Olvera-López, Joaquín Salas Rodríguez, Ching Y. Suen:
Pattern Recognition - 6th Mexican Conference, MCPR 2014, Cancun, Mexico, June 25-28, 2014. Proceedings. Lecture Notes in Computer Science 8495, Springer 2014, ISBN 978-3-319-07490-0 [contents] - 8496Alfredo Ferro, Fabrizio Luccio, Peter Widmayer:
Fun with Algorithms - 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings. Lecture Notes in Computer Science 8496, Springer 2014, ISBN 978-3-319-07889-2 [contents] - 8497Jianer Chen, John E. Hopcroft, Jianxin Wang:
Frontiers in Algorithmics - 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014. Proceedings. Lecture Notes in Computer Science 8497, Springer 2014, ISBN 978-3-319-08015-4 [contents] - 8498Danail Stoyanov, D. Louis Collins, Ichiro Sakuma, Purang Abolmaesumi, Pierre Jannin:
Information Processing in Computer-Assisted Interventions - 5th International Conference, IPCAI 2014, Fukuoka, Japan, June 28, 2014. Proceedings. Lecture Notes in Computer Science 8498, Springer 2014, ISBN 978-3-319-07520-4 [contents] - 8499Bruno Sericola, Miklós Telek, Gábor Horváth:
Analytical and Stochastic Modelling Techniques and Applications - 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014. Proceedings. Lecture Notes in Computer Science 8499, Springer 2014, ISBN 978-3-319-08218-9 [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 2024-12-12 21:07 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:
