出版社: Springer International Publishing
発売日: 2017年08月02日
The two-volume set LNAI 10061 and 10062 constitutes the proceedings of the 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, held in Cancún, Mexico, in October 2016.
The ……続きを見る
Design and create your own e-book using the groundbreaking iBooks Author app
With Apple's iBooks Author app, you can create rich, interactive books for use on the iPad, and this new For Dummies hand……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月07日
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2016, and the Second International Co……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月07日
This volume offers readers various perspectives and visions for cutting-edge research in ubiquitous healthcare. The topics emphasize large-scale architectures and high performance solutions for smar……続きを見る
Making Things Smart teaches the fundamentals of the powerful ARM microcontroller by walking beginners and experienced users alike through easily assembled projects comprised of inexpensive, hardware……続きを見る
著者:Gerard O'Regan
出版社: Springer International Publishing
発売日: 2017年08月08日
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of compu……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月11日
This book constitutes the refereed proceedings of the 19th International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2017, held in Lyon, France, in August 2017.
The 24 revised fu……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月11日
This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, France, in August 2017.
……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月14日
This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September ……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月17日
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, K……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月17日
This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. The 25 full papers and 2……続きを見る
Learn how to design digital circuits with FPGAs (field-programmable gate arrays), the devices that reconfigure themselves to become the very hardware circuits you set out to program. With this pract……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月18日
This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela, Spain, in August/September 2017. The ……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月17日
This book presents the proceedings of the XXII International Conference on Industrial Engineering and Operations Management, International IIE Conference 2016, and International AIM Conference 2016.……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月20日
This book examines electric car sharing in cities from a variety of perspectives, from service design to simulation, from mathematical modeling to technology deployment, and from energy use improvem……続きを見る
This book introduces novel solutions to the rendezvous problem in distributed systems, a fundamental problem that underpins the construction of many important functions in distributed systems and ne……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月24日
This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017.
The 9 full papers presented together with 12 sho……続きを見る
Updated with new developments, ideas and thinking, as well as new tool descriptions, the fourth edition of this popular book is driven by practical experience from industry. It provides invaluable i……続きを見る
Master continuous integration, deployment and automated testing for Android apps. You’ll see how to set up and tear down sandbox environments to test the end-user experience, where you’ll learn how ……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月28日
This book constitutes the refereed proceedings of the 36th International Conference on Computer
Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.
The 22 rev……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月28日
This book provides comprehensive coverage of the dependability challenges in today's advanced computing systems. It is an in-depth discussion of all the technological and design-level techniques tha……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月30日
This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.
The 23 full papers presented in this volume were care……続きを見る
出版社: Springer International Publishing
発売日: 2017年08月31日
This book contains extended and revised versions of the best papers presented at the 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, held in Tallinn, ……続きを見る
出版社: Springer International Publishing
発売日: 2017年09月01日
This book constitutes the refereed proceedings of five workshops
co-located with SAFECOMP 2017, the 36th International Conference on
Computer Safety, Reliability, and Security, held in Trento, Italy……続きを見る
出版社: Springer International Publishing
発売日: 2017年09月03日
This book constitutes the refereed proceedings of the First International Workshop on Connectomics in NeuroImaging, CNI 2017, held in conjunction with MICCAI 2017 in Quebec City, Canada, in Septembe……続きを見る
This indispensable text/reference presents a comprehensive overview on the detection and prevention of anomalies in computer network traffic, from coverage of the fundamental theoretical concepts to……続きを見る
著者:David R. Brooks
出版社: Springer International Publishing
発売日: 2017年09月04日
This concise and accessible textbook will enable readers to quickly develop the working skills necessary to solve computational problems in a server-based environment, using HTML and PHP. The import……続きを見る
Gain a deeper understanding of how Raspberry Pi works to get the results you want right in the palm of your hand. This book helps you understand the right connections and software to drive your Rasp……続きを見る
出版社: Springer International Publishing
発売日: 2017年09月06日
This book constitutes the refereed joint proceedings of the 6th Joint International Workshop on Computing and Visualization for Intravascular Imaging and Computer Assisted Stenting, CVII-STENT 2017,……続きを見る
出版社: Springer International Publishing
発売日: 2017年09月09日
This book provides a comprehensive introduction to embedded flash memory, describing the history, current status, and future projections for technology, circuits, and systems applications. The autho……続きを見る