Rakuten Kobo

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Edited by Bernd Fischer, Jaco Geldenhuys ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are
... Read more
More than Moore

Creating High Value Micro/Nanoelectronics Systems

Edited by Guo Qi Zhang, Alfred van Roosmalen ...

In the past decades, the main stream of microelectronics progress has been mainly powered by Moore's law which focuses on IC miniaturization down to nanoscale. While the microelectronics community around the world continues to invent new solutions to keep Moore's law alive, there is a fast increasing need for non-digital and mixed-signal “More than Moore” (MtM) type technologies that are still ... Read more

$98.99 USD

In the past decades, the main stream of microelectronics progress has been mainly powered by Moore's law which focuses on IC miniaturization down to nanoscale. While the microelectronics community around the world continues to invent new solutions to keep Moore's law alive, there is a fast increasing need for non-digital and mixed-signal “More than Moore” (MtM) type technologies that are still
... Read more
3D Immersive and Interactive Learning

Edited by Yiyu Cai ...

Series series Education (R0)
3D technology is not new; research on 3D started back in early 1960s. But unlike in previous times, 3D technology has now rapidly entered our daily life from cinema to office to home. Using 3D for education is a new yet challenging task. This book will present several innovative efforts using 3D for immersive and interactive learning covering a wide spectrum of education including gifted program, ... Read more

$89.99 USD

3D technology is not new; research on 3D started back in early 1960s. But unlike in previous times, 3D technology has now rapidly entered our daily life from cinema to office to home. Using 3D for education is a new yet challenging task. This book will present several innovative efforts using 3D for immersive and interactive learning covering a wide spectrum of education including gifted program,
... Read more
101 UX Principles

A definitive design guide

by Will Grant ...

Publisher s note: This edition from 2018 is outdated and doesn t make use of the most recent UX best-practices. A new 2nd edition, updated for latest use cases and examples, has now been published.Key FeaturesHear insights from an author who was trained by the Nielsen Norman GroupBrowse over 20 years of collected UX insightsAccept or reject 101 thought-provoking opinions on designChallenge your ... Read more

$49.99 USD or Free with Kobo Plus

Publisher s note: This edition from 2018 is outdated and doesn t make use of the most recent UX best-practices. A new 2nd edition, updated for latest use cases and examples, has now been published.Key FeaturesHear insights from an author who was trained by the Nielsen Norman GroupBrowse over 20 years of collected UX insightsAccept or reject 101 thought-provoking opinions on designChallenge your
... Read more
Full Stack AngularJS for Java Developers

Build a Full-Featured Web Application from Scratch Using AngularJS with Spring RESTful

by Ravi Kant Soni ...

Series series Professional and Applied Computing (R0)
Get introduced to full stack enterprise development. Whether you are new to AngularJS and Spring RESTful web services, or you are a seasoned expert, you will be able to build a full-featured web application from scratch using AngularJS and Spring RESTful web services.Full stack web development is in demand because you can explore the best of different tools and frameworks and yet make your apps ... Read more

$71.99 USD

Get introduced to full stack enterprise development. Whether you are new to AngularJS and Spring RESTful web services, or you are a seasoned expert, you will be able to build a full-featured web application from scratch using AngularJS and Spring RESTful web services.Full stack web development is in demand because you can explore the best of different tools and frameworks and yet make your apps
... Read more
Advances in Multimedia Information Processing - PCM 2016

17th Pacific-Rim Conference on Multimedia, Xi´ an, China, September 15-16, 2016, Proceedings, Part II

Edited by Enqing Chen, Yihong Gong, Yun Tie ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume proceedings LNCS 9916 and 9917, constitute the proceedings of the 17th Pacific-Rim Conference on Multimedia, PCM 2016, held in Xi`an, China, in September 2016.The total of 128 papers presented in these proceedings was carefully reviewed and selected from 202 submissions.The focus of the conference was as follows in multimedia content analysis, multimedia signal processing and ... Read more

$49.99 USD

The two-volume proceedings LNCS 9916 and 9917, constitute the proceedings of the 17th Pacific-Rim Conference on Multimedia, PCM 2016, held in Xi`an, China, in September 2016.The total of 128 papers presented in these proceedings was carefully reviewed and selected from 202 submissions.The focus of the conference was as follows in multimedia content analysis, multimedia signal processing and
... Read more
Advanced Computer Architecture

12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Edited by Chao Li, Junjie Wu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th Annual Conference on Advanced Computer Architecture, ACA 2018, held in Yingkou, China, in August 2018.The 17 revised full papers presented were carefully reviewed and selected from 80 submissions. The papers of this volume are organized in topical sections on: accelerators; new design explorations; towards efficient ML/AI; parallel ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 12th Annual Conference on Advanced Computer Architecture, ACA 2018, held in Yingkou, China, in August 2018.The 17 revised full papers presented were carefully reviewed and selected from 80 submissions. The papers of this volume are organized in topical sections on: accelerators; new design explorations; towards efficient ML/AI; parallel
... Read more
Local Solutions for Global Challenges

20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2–4, 2025, Proceedings, Part I

Edited by Samir Chatterjee, Jan vom Brocke, Ricardo Anderson ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume proceedings set LNCS 15703 and 15704 constitutes the refereed proceedings of the 20th International Conference on Local Solutions for Global Challenges, DESRIST 2025, which was held in Montego Bay, Jamaica, during June 2–4, 2025.The 36 full and 2 short papers presented in this book were carefully reviewed and selected from 111 submissions. The papers presented in these volumes are ... Read more

$62.99 USD

The two-volume proceedings set LNCS 15703 and 15704 constitutes the refereed proceedings of the 20th International Conference on Local Solutions for Global Challenges, DESRIST 2025, which was held in Montego Bay, Jamaica, during June 2–4, 2025.The 36 full and 2 short papers presented in this book were carefully reviewed and selected from 111 submissions. The papers presented in these volumes are
... Read more
VLSI 2010 Annual Symposium

Selected papers

Edited by Nikolaos Voros, Amar Mukherjee, Nicolas Sklavos, Konstantinos Masselos, Michael Huebner ...

Series series Springer Nature Proceedings excluding Computer Science
VLSI 2010 Annual Symposium will present extended versions of the best papers presented in ISVLSI 2010 conference. The areas covered by the papers will include among others: Emerging Trends in VLSI, Nanoelectronics, Molecular, Biological and Quantum Computing. MEMS, VLSI Circuits and Systems, Field-programmable and Reconfigurable Systems, System Level Design, System-on-a-Chip Design, Application ... Read more

$188.99 USD

VLSI 2010 Annual Symposium will present extended versions of the best papers presented in ISVLSI 2010 conference. The areas covered by the papers will include among others: Emerging Trends in VLSI, Nanoelectronics, Molecular, Biological and Quantum Computing. MEMS, VLSI Circuits and Systems, Field-programmable and Reconfigurable Systems, System Level Design, System-on-a-Chip Design, Application
... Read more
Java XML and JSON

by JEFF FRIESEN ...

Series series Professional and Applied Computing (R0)
Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select ... Read more

$31.99 USD

Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select
... Read more
Practical Real-time Data Processing and Analytics

Distributed Computing and Event Processing using Apache Spark, Flink, Storm, and Kafka

by Shilpi Saxena, Saurabh Gupta, Selva raj Ramasamy, Prateek Bhati ...

A practical guide to help you tackle different real-time data processing and analytics problems using the best tools for each scenarioKey FeaturesLearn about the various challenges in real-time data processing and use the right tools to overcome themThis book covers popular tools and frameworks such as Spark, Flink, and Apache Storm to solve all your distributed processing problemsA practical ... Read more

$41.99 USD or Free with Kobo Plus

A practical guide to help you tackle different real-time data processing and analytics problems using the best tools for each scenarioKey FeaturesLearn about the various challenges in real-time data processing and use the right tools to overcome themThis book covers popular tools and frameworks such as Spark, Flink, and Apache Storm to solve all your distributed processing problemsA practical
... Read more
Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

Volume V: Human Simulation and Virtual Environments, Work With Computing Systems (WWCS), Process Control

Edited by Sebastiano Bagnara, Riccardo Tartaglia, Sara Albolino, Thomas Alexander, Yushi Fujita ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science, ... Read more

$188.99 USD

This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science,
... Read more
Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation

by Jonathan C. Roberts, Christopher J. Headleand, Panagiotis D. Ritsos ...

Series series Computer Science (R0)
This book describes a structured sketching methodology to help you create alternative design ideas and sketch them on paper. The Five Design-Sheet method acts as a check-list of tasks, to help you think through the problem, create new ideas and to reflect upon the suitability of each idea. To complement the FdS method, we present practical sketching techniques, discuss problem solving, consider ... Read more

$53.99 USD

This book describes a structured sketching methodology to help you create alternative design ideas and sketch them on paper. The Five Design-Sheet method acts as a check-list of tasks, to help you think through the problem, create new ideas and to reflect upon the suitability of each idea. To complement the FdS method, we present practical sketching techniques, discuss problem solving, consider
... Read more
Humanizing Digital Experience

Converging Cognitive Ergonomics and Technology in Modern Marketing

by Rajagopal ...

Humanizing Digital Experience explores how technology-driven business environments can be designed around human cognition, behavior, and values to enhance customer engagement and marketing performance. Grounded in a customer-centric philosophy, the book examines how organizations can motivate consumers and co-create value through human–computer interaction, interpersonal experience, cognitive ... Read more

$12.99 USD

Humanizing Digital Experience explores how technology-driven business environments can be designed around human cognition, behavior, and values to enhance customer engagement and marketing performance. Grounded in a customer-centric philosophy, the book examines how organizations can motivate consumers and co-create value through human–computer interaction, interpersonal experience, cognitive
... Read more
Web Cartography

Map Design for Interactive and Mobile Devices

by Ian Muehlenhaus ...

Web mapping technologies continue to evolve at an incredible pace. Technology is but one facet of web map creation, however. Map design, aesthetics, and user-interactivity are equally important for effective map communication. From interactivity to graphical user interface design, from symbolization choices to animation, and from layout to typeface ... Read more

$65.99 USD

Web mapping technologies continue to evolve at an incredible pace. Technology is but one facet of web map creation, however. Map design, aesthetics, and user-interactivity are equally important for effective map communication. From interactivity to graphical user interface design, from symbolization choices to animation, and from layout to typeface
... Read more
Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

by Karl Beecher ...

Series series Professional and Applied Computing (R0)
This book flips the script of generic programming manuals, using humor to teach by bad example. Discover how to become the world’s worst programmer and build bad habits that lead to buggy, poorly written code.Do you dream of writing code that gets instantly rejected in review? Do you look forward to reading feedback plastered in comments like "WTF???" Do you hope your bug-ridden changes sneak ... Read more

$35.99 USD

This book flips the script of generic programming manuals, using humor to teach by bad example. Discover how to become the world’s worst programmer and build bad habits that lead to buggy, poorly written code.Do you dream of writing code that gets instantly rejected in review? Do you look forward to reading feedback plastered in comments like "WTF???" Do you hope your bug-ridden changes sneak
... Read more
Nios4, WEB API

(English Edition)

by Davide Andreoli ...

Boost your ERP system in complete autonomy thanks to Nios4.Connect your applications and your services directly to the Nios4 cloud.Thanks to this guide you can enjoy all the benefits of the platform creating a direct connection.You can connect your e-commerce, create the mobile version of your management software without changing it, create IOT systems and use Nios4 as a management system for ... Read more

$2.99 USD or Free with Kobo Plus

Boost your ERP system in complete autonomy thanks to Nios4.Connect your applications and your services directly to the Nios4 cloud.Thanks to this guide you can enjoy all the benefits of the platform creating a direct connection.You can connect your e-commerce, create the mobile version of your management software without changing it, create IOT systems and use Nios4 as a management system for
... Read more
Precision Positioning with Commercial Smartphones in Urban Environments

Edited by Sara Paiva ...

Series series Engineering (R0)
This book discusses recent technologies and case studies that aim to enhance positioning obtained with commercial smartphones in urban environments, overcoming difficulties with GPS. The authors provide insight into recent trends and innovation on technologies, solutions and approaches to overcome GPS issues in urban environments, due to the existence of a big number of buildings. Topics include ... Read more

$134.99 USD

This book discusses recent technologies and case studies that aim to enhance positioning obtained with commercial smartphones in urban environments, overcoming difficulties with GPS. The authors provide insight into recent trends and innovation on technologies, solutions and approaches to overcome GPS issues in urban environments, due to the existence of a big number of buildings. Topics include
... Read more
Towards Autonomous Robotic Systems

21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings

Edited by Abdelkhalick Mohammad, Xin Dong, Matteo Russo ...

Series series Springer Nature Proceedings Computer Science
The volume LNAI 12228 constitute the refereed proceedings of the 21th Annual Conference "Towards Autonomous Robotics," TAROS 20120, held in Nottingham, UK, in September 2020.*The 30 full papers and 11 short papers presented were carefully reviewed and selected from 63 submissions. The papers present and discuss significant findings and advances in autonomous robotics research and applications. ... Read more

$49.99 USD

The volume LNAI 12228 constitute the refereed proceedings of the 21th Annual Conference "Towards Autonomous Robotics," TAROS 20120, held in Nottingham, UK, in September 2020.*The 30 full papers and 11 short papers presented were carefully reviewed and selected from 63 submissions. The papers present and discuss significant findings and advances in autonomous robotics research and applications.
... Read more
Man-Machine-Environment System Engineering

Proceedings of the 20th International Conference on MMESE

Edited by Shengzhao Long, Balbir S. Dhillon ...

Series series Springer Nature Proceedings Computer Science
This book presents selected papers introducing readers to the key research topics and latest development trends in the theory and application of MMESE. The advanced integrated research topic man-machine-environment system engineering (MMESE) was first established in China by Professor Shengzhao Long in 1981, with direct support from one of the greatest modern Chinese scientists, Xuesen Qian. In a ... Read more

$170.99 USD

This book presents selected papers introducing readers to the key research topics and latest development trends in the theory and application of MMESE. The advanced integrated research topic man-machine-environment system engineering (MMESE) was first established in China by Professor Shengzhao Long in 1981, with direct support from one of the greatest modern Chinese scientists, Xuesen Qian. In a
... Read more
Data Management Strategy at Microsoft

Best practices from a tech giant's decade-long data transformation journey

by Aleksejs Plotnikovs ...

Leverage your data as a business asset, from readiness to actionable insights, and drive exceptional performanceKey FeaturesLearn strategies to create a data-driven culture and align data initiatives with business goalsNavigate the ever-evolving business landscape with a modern data platform and unique Data IPSurpass competitors by harnessing the true value of data and fostering data literacy in ... Read more

$30.99 USD or Free with Kobo Plus

Leverage your data as a business asset, from readiness to actionable insights, and drive exceptional performanceKey FeaturesLearn strategies to create a data-driven culture and align data initiatives with business goalsNavigate the ever-evolving business landscape with a modern data platform and unique Data IPSurpass competitors by harnessing the true value of data and fostering data literacy in
... Read more
eMaintenance

Essential Electronic Tools for Efficiency

by Diego Galar, Uday Kumar ...

eMaintenance: Essential Electronic Tools for Efficiency enables the reader to improve efficiency of operations, maintenance staff, infrastructure managers and system integrators, by accessing a real time computerized system from data to decision. In recent years, the exciting possibilities of eMaintenance have become increasingly recognized as a source of productivity improvement in industry. The ... Read more

$152.99 USD

eMaintenance: Essential Electronic Tools for Efficiency enables the reader to improve efficiency of operations, maintenance staff, infrastructure managers and system integrators, by accessing a real time computerized system from data to decision. In recent years, the exciting possibilities of eMaintenance have become increasingly recognized as a source of productivity improvement in industry. The
... Read more
“Mastering Relational Databases: From Fundamentals to Advanced Concepts”

GoodMan, #1

by Patrick Mukosha ...

Series Book 1 - GoodMan
"Mastering Relational Databases: From Fundamentals to Advanced Concepts" is an indispensable guide for anyone seeking to become an expert in the world of relational databases. This comprehensive book takes readers on a journey from the very basics of relational databases to advanced topics, equipping them with the knowledge and skills needed to effectively design, manage, and optimize database ... Read more

$5.00 USD or Free with Kobo Plus

"Mastering Relational Databases: From Fundamentals to Advanced Concepts" is an indispensable guide for anyone seeking to become an expert in the world of relational databases. This comprehensive book takes readers on a journey from the very basics of relational databases to advanced topics, equipping them with the knowledge and skills needed to effectively design, manage, and optimize database
... Read more
Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Edited by Carlo A. Furia, Kirsten Winter ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Programming eBooks

Show: