This book constitutes the refereed post-conference proceedings of the 25th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2018, held in Ma'ale HaHamisha, Israel, in June 2018.
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.
The two-volume set LNCS 11136 and 11137 constitutes the refereed proceedings of the 17th International Semantic Web Conference, ISWC 2018, held in Monterey, USA, in October 2018.
Discover how to use the popular RStudio IDE as a professional tool that includes code refactoring support, debugging, and Git version control integration.
This book constitutes the refereed proceedings of the 37th International Conference on Conceptual Modeling, ER 2018, held in XI'an, China, in October 2018.
This double volumes LNCS 11229-11230 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2018, Ontologies, Databases, and Applications of Semantics, ODBASE 2018, and Cloud and Trusted Computing, C&TC, held as part of OTM 2018 in October 2018 in Valletta, Malta.
This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018.
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings of the 16th International Conference on Intelligent Computing, ICIC 2020, held in Bari, Italy, in October 2020.
This book constitutes the thoroughly refereed workshop post-proceedings of the 17th International Workshop on Approximation and Online Algorithms, WAOA 2019, held in Munich, Germany, in September 2019 as part of ALGO 2019.
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems.
This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.
This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.
Dieses essential führt auf eine verständliche Art und Weise in die Grundlagen der Quanteninformation ein, ein sich in den letzten Jahren stürmisch entwickelndes Forschungsgebiet.
This book constitutes the proceedings of the 13th Latin American Symposium on Theoretical Informatics, LATIN 2018, held in Buenos Aires, Argentina, in April 2018.
This book constitutes the revised selected papers from the 11th International Conference on Risk and Security of Internet and Systems, CRISIS 2016, held in Roscoff, France, in September 2016.
The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.
This book constitutes the thoroughly refereed workshop post-proceedings of the 15th International Workshop on Approximation and Online Algorithms, WAOA 2017, held in Vienna, Austria, in September 2017 as part of ALGO 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.
This book constitutes the refereed proceedings of the Third International Workshop on Connectomics in NeuroImaging, CNI 2019, held in conjunction with MICCAI 2019 in Shenzhen, China, in October 2019.
This book presents the best papers from the 1st International Conference on Mathematical Research for Blockchain Economy (MARBLE) 2019, held in Santorini, Greece.
This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge.
This book gathers the latest research results of scientists from different countries who have made essential contributions to the novel analysis of cyber security.
This book constitutes the refereed post-conference proceedings of the Special Event on the Analysis of Experimental Algorithms, SEA2 2019, held in Kalamata, Greece, in June 2019.
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Multi-Agent-Based Simulation, MABS 2017, held in Sao Paulo, Brazil, in May 2017.
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Networks, CN 2018, held in Gliwice, Poland, in June 2018.
This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018.
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
This book constitutes the refereed proceedings of the 23rd European Conference on Genetic Programming, EuroGP 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EvoCOP, EvoMUSART and EvoApplications.
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.
This book constitutes revised selected papers from the 6th International Conference on Operations Research and Enterprise Systems, ICORES 2017, held in Porto, Portugal, in February 2017.
This book presents an overview of computational and statistical design and analysis of mass spectrometry-based proteomics, metabolomics, and lipidomics data.
This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.
This book constitutes the refereed proceedings of the 13th International Conference on Computational Collective Intelligence, ICCCI 2021, held in September/October 2021.
This book constitutes revised selected papers from the 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, held in Lisbon, Portugal*, in September 2021.
This book constitutes revised selected papers from the 5th International Conference on Operations Research and Enterprise Systems, ICORES 2016, held in Rome, Italy, in February 2016.
This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural Computation, UCNC 2017, held in Fayetteville, AR, USA in June 2017.
This book constitutes the proceedings of the 25th International Conference on Information Processing in Medical Imaging, IPMI 2017, held at the Appalachian State University, Boon, NC, USA, in June 2017.
This book constitutes the proceedings of the 30th International Conference on Architecture of Computing Systems, ARCS 2017, held in Vienna, Austria, in April 2017.
This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Computer Networks, CN 2017, held in Brunow, Poland, in June 2017.
This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018, held in Erlangen, Germany, in February 2018.
This book constitutes the refereed proceedings of the 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EuroGP, EvoCOP and EvoApplications.
This book addresses and introduces new developments in the field of Quantum Information and Computing (QIC) for a primary audience of undergraduate students.
This book constitutes the proceedings of the 15th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2018, held in Delft, The Netherlands, in June 2018.
