default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 10400-10499
10400Wei Peng, Damminda Alahakoon, Xiaodong Li:
AI 2017: Advances in Artificial Intelligence - 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings. Lecture Notes in Computer Science 10400, Springer 2017, ISBN 978-3-319-63003-8 [contents]- 10401Jonathan Katz, Hovav Shacham:
Advances in Cryptology - CRYPTO 2017 - 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10401, Springer 2017, ISBN 978-3-319-63687-0 [contents] - 10402Jonathan Katz, Hovav Shacham:
Advances in Cryptology - CRYPTO 2017 - 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10402, Springer 2017, ISBN 978-3-319-63714-3 [contents] - 10403Jonathan Katz, Hovav Shacham:
Advances in Cryptology - CRYPTO 2017 - 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part III. Lecture Notes in Computer Science 10403, Springer 2017, ISBN 978-3-319-63696-2 [contents] - 10404Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo Maria Torre, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan, Elena N. Stankova, Alfredo Cuzzocrea:
Computational Science and Its Applications - ICCSA 2017 - 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10404, Springer 2017, ISBN 978-3-319-62391-7 [contents] - 10405Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo Maria Torre, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan, Elena N. Stankova, Alfredo Cuzzocrea:
Computational Science and Its Applications - ICCSA 2017 - 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10405, Springer 2017, ISBN 978-3-319-62394-8 [contents] - 10406Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo Maria Torre, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan, Elena N. Stankova, Alfredo Cuzzocrea:
Computational Science and Its Applications - ICCSA 2017 - 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part III. Lecture Notes in Computer Science 10406, Springer 2017, ISBN 978-3-319-62397-9 [contents] - 10407Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo Maria Torre, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan, Elena N. Stankova, Alfredo Cuzzocrea:
Computational Science and Its Applications - ICCSA 2017 - 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV. Lecture Notes in Computer Science 10407, Springer 2017, ISBN 978-3-319-62400-6 [contents] - 10408Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo Maria Torre, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan, Elena N. Stankova, Alfredo Cuzzocrea:
Computational Science and Its Applications - ICCSA 2017 - 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V. Lecture Notes in Computer Science 10408, Springer 2017, ISBN 978-3-319-62403-7 [contents] - 10409Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo Maria Torre, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan, Elena N. Stankova, Alfredo Cuzzocrea:
Computational Science and Its Applications - ICCSA 2017 - 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI. Lecture Notes in Computer Science 10409, Springer 2017, ISBN 978-3-319-62406-8 [contents] - 10410Andreas Holzinger, Peter Kieseberg, A Min Tjoa
, Edgar R. Weippl:
Machine Learning and Knowledge Extraction - First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio di Calabria, Italy, August 29 - September 1, 2017, Proceedings. Lecture Notes in Computer Science 10410, Springer 2017, ISBN 978-3-319-66807-9 [contents] - 10411Michael Gertz, Matthias Renz, Xiaofang Zhou, Erik G. Hoel, Wei-Shinn Ku, Agnès Voisard, Chengyang Zhang, Haiquan Chen, Liang Tang, Yan Huang, Chang-Tien Lu, Siva Ravada:
Advances in Spatial and Temporal Databases - 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21-23, 2017, Proceedings. Lecture Notes in Computer Science 10411, Springer 2017, ISBN 978-3-319-64366-3 [contents] - 10412Gang Li, Yong Ge, Zili Zhang, Zhi Jin, Michael Blumenstein:
Knowledge Science, Engineering and Management - 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings. Lecture Notes in Computer Science 10412, Springer 2017, ISBN 978-3-319-63557-6 [contents] - 10413Jan Ole Berndt, Paolo Petta, Rainer Unland:
Multiagent System Technologies - 15th German Conference, MATES 2017, Leipzig, Germany, August 23-26, 2017, Proceedings. Lecture Notes in Computer Science 10413, Springer 2017, ISBN 978-3-319-64797-5 [contents] - 10414Tom Everitt, Ben Goertzel, Alexey Potapov:
Artificial General Intelligence - 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings. Lecture Notes in Computer Science 10414, Springer 2017, ISBN 978-3-319-63702-0 [contents] - 10415Kamil Ekstein, Václav Matousek:
Text, Speech, and Dialogue - 20th International Conference, TSD 2017, Prague, Czech Republic, August 27-31, 2017, Proceedings. Lecture Notes in Computer Science 10415, Springer 2017, ISBN 978-3-319-64205-5 [contents] - 10416J. Christopher Beck:
Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. Lecture Notes in Computer Science 10416, Springer 2017, ISBN 978-3-319-66157-5 [contents] - 10417Francisco F. Rivera, Tomás F. Pena, José Carlos Cabaleiro:
Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings. Lecture Notes in Computer Science 10417, Springer 2017, ISBN 978-3-319-64202-4 [contents] - 10418Satoshi Obana, Koji Chida:
Advances in Information and Computer Security - 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 - September 1, 2017, Proceedings. Lecture Notes in Computer Science 10418, Springer 2017, ISBN 978-3-319-64199-7 [contents] - 10419Alessandro Abate, Gilles Geeraerts:
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Lecture Notes in Computer Science 10419, Springer 2017, ISBN 978-3-319-65764-6 [contents] - 10420Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Sanjay Madria, Takahiro Hara:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXII - Special Issue on Big Data Analytics and Knowledge Discovery. Lecture Notes in Computer Science 10420, Springer 2017, ISBN 978-3-662-55607-8 [contents] - 10421Victor Malyshkin:
Parallel Computing Technologies - 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings. Lecture Notes in Computer Science 10421, Springer 2017, ISBN 978-3-319-62931-5 [contents] - 10422Francesco Ranzato:
Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings. Lecture Notes in Computer Science 10422, Springer 2017, ISBN 978-3-319-66705-8 [contents] - 10423Eugénio C. Oliveira, João Gama, Zita A. Vale, Henrique Lopes Cardoso:
Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings. Lecture Notes in Computer Science 10423, Springer 2017, ISBN 978-3-319-65339-6 [contents] - 10424Michael Felsberg, Anders Heyden, Norbert Krüger:
Computer Analysis of Images and Patterns - 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10424, Springer 2017, ISBN 978-3-319-64688-6 [contents] - 10425Michael Felsberg, Anders Heyden, Norbert Krüger:
Computer Analysis of Images and Patterns - 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10425, Springer 2017, ISBN 978-3-319-64697-8 [contents] - 10426Rupak Majumdar, Viktor Kuncak:
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10426, Springer 2017, ISBN 978-3-319-63386-2 [contents] - 10427Rupak Majumdar, Viktor Kuncak:
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10427, Springer 2017, ISBN 978-3-319-63389-3 [contents] - 10428Marijn Janssen, Karin Axelsson, Olivier Glassey, Bram Klievink, Robert Krimmer, Ida Lindgren, Peter Parycek, Hans Jochen Scholl, Dmitrii Trutnev:
Electronic Government - 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings. Lecture Notes in Computer Science 10428, Springer 2017, ISBN 978-3-319-64676-3 [contents] - 10429Peter Parycek, Yannis Charalabidis, Andrei V. Chugunov, Panos Panagiotopoulos, Theresa A. Pardo, Øystein Sæbø, Efthimios Tambouris:
Electronic Participation - 9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings. Lecture Notes in Computer Science 10429, Springer 2017, ISBN 978-3-319-64321-2 [contents] - 10430Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Reza Akbarinia, Esther Pacitti:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIII. Lecture Notes in Computer Science 10430, Springer 2017, ISBN 978-3-662-55695-5 [contents] - 10431Christian Kraetzer, Yun-Qing Shi, Jana Dittmann, Hyoung Joong Kim:
Digital Forensics and Watermarking - 16th International Workshop, IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings. Lecture Notes in Computer Science 10431, Springer 2017, ISBN 978-3-319-64184-3 [contents] - 10432Srecko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme:
Combinatorics on Words - 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings. Lecture Notes in Computer Science 10432, Springer 2017, ISBN 978-3-319-66395-1 [contents] - 10433Maxime Descoteaux, Lena Maier-Hein, Alfred M. Franz, Pierre Jannin, D. Louis Collins, Simon Duchesne:
Medical Image Computing and Computer Assisted Intervention - MICCAI 2017 - 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10433, Springer 2017, ISBN 978-3-319-66181-0 [contents] - 10434Maxime Descoteaux, Lena Maier-Hein, Alfred M. Franz, Pierre Jannin, D. Louis Collins, Simon Duchesne:
Medical Image Computing and Computer Assisted Intervention - MICCAI 2017 - 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10434, Springer 2017, ISBN 978-3-319-66184-1 [contents] - 10435Maxime Descoteaux, Lena Maier-Hein, Alfred M. Franz, Pierre Jannin, D. Louis Collins, Simon Duchesne:
Medical Image Computing and Computer Assisted Intervention - MICCAI 2017 - 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III. Lecture Notes in Computer Science 10435, Springer 2017, ISBN 978-3-319-66178-0 [contents] - 10436Joaquín García-Alfaro, Guillermo Navarro-Arribas, Hannes Hartenstein, Jordi Herrera-Joancomartí:
Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings. Lecture Notes in Computer Science 10436, Springer 2017, ISBN 978-3-319-67815-3 [contents] - 10437Marco Bozzano, Yiannis Papadopoulos:
Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. Lecture Notes in Computer Science 10437, Springer 2017, ISBN 978-3-319-64118-8 [contents] - 10438Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit P. Sheth, Roland R. Wagner:
Database and Expert Systems Applications - 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10438, Springer 2017, ISBN 978-3-319-64467-7 [contents] - 10439Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit P. Sheth, Roland R. Wagner:
Database and Expert Systems Applications - 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10439, Springer 2017, ISBN 978-3-319-64470-7 [contents] - 10440Ladjel Bellatreche, Sharma Chakravarthy:
Big Data Analytics and Knowledge Discovery - 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings. Lecture Notes in Computer Science 10440, Springer 2017, ISBN 978-3-319-64282-6 [contents] - 10441Andrea Ko, Enrico Francesconi:
Electronic Government and the Information Systems Perspective - 6th International Conference, EGOVIS 2017, Lyon, France, August 28-31, 2017, Proceedings. Lecture Notes in Computer Science 10441, Springer 2017, ISBN 978-3-319-64247-5 [contents] - 10442Javier López, Simone Fischer-Hübner, Costas Lambrinoudakis:
Trust, Privacy and Security in Digital Business - 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings. Lecture Notes in Computer Science 10442, Springer 2017, ISBN 978-3-319-64482-0 [contents] - 10443Miroslav Bursa, Andreas Holzinger, M. Elena Renda, Sami Khuri:
Information Technology in Bio- and Medical Informatics - 8th International Conference, ITBAM 2017, Lyon, France, August 28-31, 2017, Proceedings. Lecture Notes in Computer Science 10443, Springer 2017, ISBN 978-3-319-64264-2 [contents] - 10444Vladimír Marík, Wolfgang Wahlster, Thomas I. Strasser, Petr Kadera:
Industrial Applications of Holonic and Multi-Agent Systems - 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings. Lecture Notes in Computer Science 10444, Springer 2017, ISBN 978-3-319-64634-3 [contents] - 10445Josep Carmona, Gregor Engels, Akhil Kumar:
Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings. Lecture Notes in Computer Science 10445, Springer 2017, ISBN 978-3-319-64999-3 [contents] - 10446Jacek Rak, John Bay, Igor V. Kotenko, Leonard J. Popyack, Victor A. Skormin, Krzysztof Szczypiorski:
Computer Network Security - 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, Proceedings. Lecture Notes in Computer Science 10446, Springer 2017, ISBN 978-3-319-65126-2 [contents] - 10447David Van Horn, John Hughes:
Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10447, Springer 2019, ISBN 978-3-030-14804-1 [contents] - 10448Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr Jedrzejowicz, Bogdan Trawinski, Gottfried Vossen:
Computational Collective Intelligence - 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10448, Springer 2017, ISBN 978-3-319-67073-7 [contents] - 10449Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr Jedrzejowicz, Bogdan Trawinski, Gottfried Vossen:
Computational Collective Intelligence - 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10449, Springer 2017, ISBN 978-3-319-67076-8 [contents] - 10450Jaap Kamps, Giannis Tsakonas, Yannis Manolopoulos, Lazaros S. Iliadis, Ioannis Karydis:
Research and Advanced Technology for Digital Libraries - 21st International Conference on Theory and Practice of Digital Libraries, TPDL 2017, Thessaloniki, Greece, September 18-21, 2017, Proceedings. Lecture Notes in Computer Science 10450, Springer 2017, ISBN 978-3-319-67007-2 [contents] - 10451Yuhua Luo:
Cooperative Design, Visualization, and Engineering - 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings. Lecture Notes in Computer Science 10451, Springer 2017, ISBN 978-3-319-66804-8 [contents] - 10452Tim Menzies, Justyna Petke:
Search Based Software Engineering - 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings. Lecture Notes in Computer Science 10452, Springer 2017, ISBN 978-3-319-66298-5 [contents] - 10453Marc Dacier, Michael D. Bailey, Michalis Polychronakis, Manos Antonakakis:
Research in Attacks, Intrusions, and Defenses - 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings. Lecture Notes in Computer Science 10453, Springer 2017, ISBN 978-3-319-66331-9 [contents] - 10454Yang Gao, Saber Fallah, Yaochu Jin, Constantina Lekakou:
Towards Autonomous Robotic Systems - 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017, Proceedings. Lecture Notes in Computer Science 10454, Springer 2017, ISBN 978-3-319-64106-5 [contents] - 10455Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada:
Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings. Lecture Notes in Computer Science 10455, Springer 2017, ISBN 978-3-662-55664-1 [contents] - 10456Gareth J. F. Jones, Séamus Lawless, Julio Gonzalo, Liadh Kelly, Lorraine Goeuriot, Thomas Mandl, Linda Cappellato, Nicola Ferro:
Experimental IR Meets Multilinguality, Multimodality, and Interaction - 8th International Conference of the CLEF Association, CLEF 2017, Dublin, Ireland, September 11-14, 2017, Proceedings. Lecture Notes in Computer Science 10456, Springer 2017, ISBN 978-3-319-65812-4 [contents] - 10457Ezio Bartocci, Yliès Falcone:
Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science 10457, Springer 2018, ISBN 978-3-319-75631-8 [contents] - 10458Alexey Karpov, Rodmonga Potapova, Iosif Mporas:
Speech and Computer - 19th International Conference, SPECOM 2017, Hatfield, UK, September 12-16, 2017, Proceedings. Lecture Notes in Computer Science 10458, Springer 2017, ISBN 978-3-319-66428-6 [contents] - 10459Andrey Ronzhin, Gerhard Rigoll, Roman V. Meshcheryakov:
Interactive Collaborative Robotics - Second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017, Proceedings. Lecture Notes in Computer Science 10459, Springer 2017, ISBN 978-3-319-66470-5 [contents] - 10460Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare:
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10460, Springer 2017, ISBN 978-3-319-63120-2 [contents] - 10461Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou:
Enhanced Quality of Life and Smart Living - 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings. Lecture Notes in Computer Science 10461, Springer 2017, ISBN 978-3-319-66187-2 [contents] - 10462Yongan Huang, Hao Wu, Honghai Liu, Zhouping Yin:
Intelligent Robotics and Applications - 10th International Conference, ICIRA 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10462, Springer 2017, ISBN 978-3-319-65288-7 [contents] - 10463Yongan Huang, Hao Wu, Honghai Liu, Zhouping Yin:
Intelligent Robotics and Applications - 10th International Conference, ICIRA 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10463, Springer 2017, ISBN 978-3-319-65291-7 [contents] - 10464Yongan Huang, Hao Wu, Honghai Liu, Zhouping Yin:
Intelligent Robotics and Applications - 10th International Conference, ICIRA 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part III. Lecture Notes in Computer Science 10464, Springer 2017, ISBN 978-3-319-65297-9 [contents] - 10465Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen:
Service-Oriented and Cloud Computing - 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10465, Springer 2017, ISBN 978-3-319-67261-8 [contents] - 10466Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar:
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. Lecture Notes in Computer Science 10466, Springer 2017, ISBN 978-3-319-66175-9 [contents] - 10467Robert Brijder, Lulu Qian:
DNA Computing and Molecular Programming - 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings. Lecture Notes in Computer Science 10467, Springer 2017, ISBN 978-3-319-66798-0 [contents] - 10468Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller:
Scaling OpenMP for Exascale Performance and Portability - 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings. Lecture Notes in Computer Science 10468, Springer 2017, ISBN 978-3-319-65577-2 [contents] - 10469Alessandro Cimatti, Marjan Sirjani:
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings. Lecture Notes in Computer Science 10469, Springer 2017, ISBN 978-3-319-66196-4 [contents] - 10470Maciej Koutny, Jetty Kleijn, Wojciech Penczek:
Transactions on Petri Nets and Other Models of Concurrency XII. Lecture Notes in Computer Science 10470, Springer 2017, ISBN 978-3-662-55861-4 [contents] - 10471Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti:
Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. Lecture Notes in Computer Science 10471, Springer 2017, ISBN 978-3-319-67112-3 [contents] - 10472Ralf Klasing, Marc Zeitoun:
Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings. Lecture Notes in Computer Science 10472, Springer 2017, ISBN 978-3-662-55750-1 [contents] - 10473Haoran Xie, Elvira Popescu, Gerhard P. Hancke, Baltasar Fernández-Manjón:
Advances in Web-Based Learning - ICWL 2017 - 16th International Conference, Cape Town, South Africa, September 20-22, 2017, Proceedings. Lecture Notes in Computer Science 10473, Springer 2017, ISBN 978-3-319-66732-4 [contents] - 10474Élise Lavoué, Hendrik Drachsler, Katrien Verbert, Julien Broisin, Mar Pérez-Sanagustín:
Data Driven Approaches in Digital Education - 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, Tallinn, Estonia, September 12-15, 2017, Proceedings. Lecture Notes in Computer Science 10474, Springer 2017, ISBN 978-3-319-66609-9 [contents] - 10475Antónia Lopes, Rogério de Lemos:
Software Architecture - 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings. Lecture Notes in Computer Science 10475, Springer 2017, ISBN 978-3-319-65830-8 [contents] - 10476Frank Stajano, Jonathan Anderson, Bruce Christianson, Vashek Matyás:
Security Protocols XXV - 25th International Workshop, Cambridge, UK, March 20-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10476, Springer 2017, ISBN 978-3-319-71074-7 [contents] - 10477Andrea Bracciali, Giulio Caravagna, David Gilbert, Roberto Tagliaferri:
Computational Intelligence Methods for Bioinformatics and Biostatistics - 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10477, Springer 2017, ISBN 978-3-319-67833-7 [contents] - 10478Prasenjit Majumder, Mandar Mitra, Parth Mehta, Jainisha Sankhavara:
Text Processing - FIRE 2016 International Workshop, Kolkata, India, December 7-10, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10478, Springer 2018, ISBN 978-3-319-73605-1 [contents] - 10479Alexander B. Romanovsky, Elena Troubitsyna:
Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. Lecture Notes in Computer Science 10479, Springer 2017, ISBN 978-3-319-65947-3 [contents] - 10480Jacek Mercik:
Transactions on Computational Collective Intelligence XXVII. Lecture Notes in Computer Science 10480, Springer 2017, ISBN 978-3-319-70646-7 [contents] - 10481Snehasis Mukherjee, Suvadip Mukherjee, Dipti Prasad Mukherjee, Jayanthi Sivaswamy, Suyash P. Awate, Srirangaraj Setlur, Anoop M. Namboodiri, Santanu Chaudhury:
Computer Vision, Graphics, and Image Processing - ICVGIP 2016 Satellite Workshops, WCVA, DAR, and MedImage, Guwahati, India, December 19, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10481, Springer 2017, ISBN 978-3-319-68123-8 [contents] - 10482Deepak D'Souza, K. Narayan Kumar:
Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. Lecture Notes in Computer Science 10482, Springer 2017, ISBN 978-3-319-68166-5 [contents] - 10483Clare Dixon, Marcelo Finger:
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10483, Springer 2017, ISBN 978-3-319-66166-7 [contents] - 10484Sebastiano Battiato, Giovanni Gallo, Raimondo Schettini, Filippo Stanco:
Image Analysis and Processing - ICIAP 2017 - 19th International Conference, Catania, Italy, September 11-15, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10484, Springer 2017, ISBN 978-3-319-68559-5 [contents] - 10485Sebastiano Battiato, Giovanni Gallo, Raimondo Schettini, Filippo Stanco:
Image Analysis and Processing - ICIAP 2017 - 19th International Conference, Catania, Italy, September 11-15, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10485, Springer 2017, ISBN 978-3-319-68547-2 [contents] - 10486Muhammad Younas, Irfan Awan, Irena Holubová:
Mobile Web and Intelligent Information Systems - 14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017, Proceedings. Lecture Notes in Computer Science 10486, Springer 2017, ISBN 978-3-319-65514-7 [contents] - 10487José Proença, Markus Lumpe:
Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Lecture Notes in Computer Science 10487, Springer 2017, ISBN 978-3-319-68033-0 [contents] - 10488Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Lecture Notes in Computer Science 10488, Springer 2017, ISBN 978-3-319-66265-7 [contents] - 10489Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings. Lecture Notes in Computer Science 10489, Springer 2017, ISBN 978-3-319-66283-1 [contents] - 10490Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. Lecture Notes in Computer Science 10490, Springer 2017, ISBN 978-3-319-66319-7 [contents] - 10491Serge Gaspers, Toby Walsh:
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. Lecture Notes in Computer Science 10491, Springer 2017, ISBN 978-3-319-66262-6 [contents] - 10492Simon N. Foley, Dieter Gollmann, Einar Snekkenes:
Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10492, Springer 2017, ISBN 978-3-319-66401-9 [contents] - 10493Simon N. Foley, Dieter Gollmann, Einar Snekkenes:
Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10493, Springer 2017, ISBN 978-3-319-66398-2 [contents] - 10494Edmon Begoli, Fusheng Wang, Gang Luo:
Data Management and Analytics for Medicine and Healthcare - Third International Workshop, DMAH 2017, Held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings. Lecture Notes in Computer Science 10494, Springer 2017, ISBN 978-3-319-67185-7 [contents] - 10495Ángela I. Barbero, Vitaly Skachek, Øyvind Ytrehus:
Coding Theory and Applications - 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings. Lecture Notes in Computer Science 10495, Springer 2017, ISBN 978-3-319-66277-0 [contents] - 10496Volker Roth, Thomas Vetter:
Pattern Recognition - 39th German Conference, GCPR 2017, Basel, Switzerland, September 12-15, 2017, Proceedings. Lecture Notes in Computer Science 10496, Springer 2017, ISBN 978-3-319-66708-9 [contents] - 10497Philipp Reinecke, Antinisca Di Marco:
Computer Performance Engineering - 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings. Lecture Notes in Computer Science 10497, Springer 2017, ISBN 978-3-319-66582-5 [contents] - 10498Jonas Beskow, Christopher E. Peters, Ginevra Castellano, Carol O'Sullivan, Iolanda Leite, Stefan Kopp:
Intelligent Virtual Agents - 17th International Conference, IVA 2017, Stockholm, Sweden, August 27-30, 2017, Proceedings. Lecture Notes in Computer Science 10498, Springer 2017, ISBN 978-3-319-67400-1 [contents] - 10499Mauricio Ayala-Rincón, César A. Muñoz:
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings. Lecture Notes in Computer Science 10499, Springer 2017, ISBN 978-3-319-66106-3 [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-10-31 20:23 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:
