This book constitutes the proceedings of the Third InternationalConference on Algorithms for Computational Biology, AlCoB 2016, held inTrujillo, Spain, in June 2016.
This book constitutes the thoroughly refereed proceedings of the 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, held in Kitakyushu, Japan, in September 2020.
This book reviews the theoretical concepts, leading-edge techniques and practical tools involved in the latest multi-disciplinary approaches addressing the challenges of big data.
This proceedings book is a collection of high-quality peer-reviewed research papers presented at the International Conference of Experimental and Numerical Investigations and New Technologies (CNNTech2020) held at Zlatibor, Serbia, from 29th June to 2nd July 2020.
This book constitutes the proceedings of the 12th International Workshop on Algorithms and Computation, WALCOM 2018, held in Dhaka, Bangladesh, in March 2018.
The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017.
This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.
This book constitutes revised selected papers from the 6th Workshop on Computer Games, CGW 2017, held in conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, in Melbourne, Australia, in August 2017.
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance.
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.
This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017.
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.
The two-volume set LNAI 10632 and 10633 constitutes the proceedings of the 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, held in Enseneda, Mexico, in October 2017.
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.
This undergraduate textbook provides an introduction to graph theory, which has numerous applications in modeling problems in science and technology, and has become a vital component to computer science, computer science and engineering, and mathematics curricula of universities all over the world.
This book constitutes the refereed post-conference proceedings of the First International Conference on Number-Theoretic Methods in Cryptology, NuTMiC 2017, held in Warsaw, Poland, in September 2017.
The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.
This book begins with a concentrated introduction into deterministic global optimization and moves forward to present new original results from the authors who are well known experts in the field.
This book constitutes the refereed proceedings of the 24th International Conference on DNA Computing and Molecular Programming, DNA 24, held in Jinan, China, in October 2018.
This book gathers the contributions of the international conference "e;Optimization and Decision Science"e; (ODS2018), which was held at the Hotel Villa Diodoro, Taormina (Messina), Italy on September 10 to 13, 2018, and was organized by AIRO, the Italian Operations Research Society, in cooperation with the DMI (Department of Mathematics and Computer Science) of the University of Catania (Italy).
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on the Arithmetic of Finite Field, WAIFI 2018, held in Bergen, Norway, in June 2018.
The book constitutes the refereed proceedings of the 13th EAI International Conference on Communications and Networking, held in October 2018 in Chengdu, China.
Klaus Mainzer legt in diesem essential dar, dass die Zukunft von KI und Digitalisierung eine nüchterne Analyse erfordert, die Grundlagenforschung mit Anwendung verbindet.
This contributed volume offers a collection of papers presented at the 2018 Network Games, Control, and Optimization conference (NETGCOOP), held at the New York University Tandon School of Engineering in New York City, November 14-16, 2018.
This book approaches condensed matter physics from the perspective of quantum information science, focusing on systems with strong interaction and unconventional order for which the usual condensed matter methods like the Landau paradigm or the free fermion framework break down.
This book constitutes the joint refereed proceedings of the 19th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2019, and the 12th Conference on Internet of Things and Smart Spaces, ruSMART 2019.
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
This book constitutes the proceedings of the 17th Russian Conference on Artificial Intelligence, RCAI 2019, held in Ulyanovsk, Russia, in October 2019.
This volume constitutes the proceedings of the 13th International Conference on Combinatorial Optimization and Applications, COCOA 2019, held in Xiamen, China, in December 2019.
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.
This book constitutes the refereed proceedings of the 22nd International Conference on Distributed and Computer and Communication Networks, DCCN 2019, held in Moscow, Russia, in September 2019.
This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.
This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019.
This book constitutes the refereed proceedings of five workshops symposia, held at the 38th International Conference on Conceptual Modeling, ER 2019, in Salvador, Brazil, in November 2019.
This book contains revised and extended versions of selected papers from the 8th International Conference on Pattern Recognition, ICPRAM 2019, held in Prague, Czech Republic, in February 2019.