出版社: Springer International Publishing
発売日: 2022年02月23日
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, i……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月08日
This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020.
The 45 full papers presented ……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, ……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019.
The 11 papers present……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
This book is Open Access under a CC BY licence.
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took pl……続きを見る
出版社: Springer International Publishing
発売日: 2022年06月20日
This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, held in Hamburg, Germany, in……続きを見る
出版社: Springer International Publishing
発売日: 2022年04月28日
This book illustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies in developing nations (Sierra Leone and Papua New Guinea) and……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月08日
This open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Livin……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月23日
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, ……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月08日
This open access book constitutes the refereed proceedings of the 16th International Conference on Semantic Systems, SEMANTiCS 2020, held in Amsterdam, The Netherlands, in September 2020. The confer……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月18日
This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Fou……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月08日
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.*
……続きを見る
出版社: Springer International Publishing
発売日: 2022年02月24日
This book is Open Access under a CC BY licence.
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction……続きを見る
出版社: Springer International Publishing
発売日: 2019年09月12日
This book constitutes the refereed and revised post-conference proceedings of the 7th International Workshop on Code-Based Cryptography, CBC 2019, held in Darmstadt, Germany, in May 2019.
The eight ……続きを見る
出版社: Springer International Publishing
発売日: 2019年07月14日
This book constitutes the refereed proceedings of the 9th International Workshop on Post-Quantum Cryptography, PQCrypto 2018, held in Fort Lauderdale, FL, USA, in April 2018. The 24 revised full pap……続きを見る
This book describes RTL design using Verilog, synthesis and timing closure for System On Chip (SOC) design blocks. It covers the complex RTL design scenarios and challenges for SOC designs and provi……続きを見る
著者:Dan Aldred
出版社: No Starch Press
発売日: 2019年12月10日
Learn coding and electronics through 12 original and daring projects that hack wireless signals.
The Raspberry Pi is an inexpensive, pocket-sized computer that will help you build and code your own ……続きを見る
著者:Lentin Joseph
出版社: Packt Publishing
発売日: 2018年08月09日
Design, simulate, and program interactive robots
Key Features
Design, simulate, build, and program an interactive autonomous mobile robot
Leverage the power of ROS, Gazebo, and Python to enhance yo……続きを見る
Design and build land, air, and sea drones using Ardupilot with Pixhawk 2.1
About This Book
Explore the best practices used by the top industry professionals that will not only help you build drone……続きを見る
Build and program smart robots with the EV3. About This Book • Efficiently build smart robots with the LEGO MINDSTORMS EV3 • Discover building techniques and programming concepts that are used by en……続きを見る
Develop applications in Microsoft Kinect 2 using gesture and speech recognition, scanning of objects in 3D, and body tracking. Create motion-sensing applications for entertainment and practical uses……続きを見る
著者:Finn Sanders
出版社: Finn Sanders
発売日: 2019年04月29日
★☆**What if you could learn programming in a manner of hours, rather than months or years?**☆★
The world of technology is quickly changing, and more and more people are looking for ways to learn cod……続きを見る
Learn to program the Raspberry Pi Pico’s dual ARM Cortex M0+ CPUs in Assembly Language. The Pico contains a customer System on a Chip (SoC) called the RP2040, making it the Foundation’s first entry ……続きを見る
Charles Edge and Bill Smith provide detailed explanations of the technology required for large-scale Mac OS X deployments and show you how to integrate it with other operating systems and applicatio……続きを見る
This book is designed to help readers to get started with Arduino development with Sketch program on ESP32 boards. You will learn the following topics in this book:
Preparing Development Environmen……続きを見る
This book helps you to get started with Arduino Mega 2560 development using Sketch program. The following is a list of highlight topics in this book:
Preparing Development Environment
Setting Up Ar……続きを見る
This book helps you to get started with Arduino Sketch development using ESP8266 boards. We explore I/O programming on ESP8266 boards. The following is a list of highlight topics in this book:
Prep……続きを見る
著者:AL McDivitt
出版社: Access Resource Group
発売日: 2019年12月07日
Build an ESP32 web server, serving HTML and CSS files from SPIFFS(SPI Flash File System), controlling a relay from those pages via tunnelling software from any location with an internet connection a……続きを見る
This book is designed for anyone who wants to learn Arduino Nano development based on ATmega328 microcontroller. The following is a list of highlight topics in this book.
Preparing Development Envi……続きを見る