Rakuten Kobo

The Handbook of Formal Methods in Human-Computer Interaction

Edited by Judy Bowen, Benjamin Weyers, Philippe Palanque, Alan Dix ...

Series series Computer Science (R0)
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.World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive ... Read more

$332.99 USD

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.World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive
... Read more
Knowledge Cartography

Software Tools and Mapping Techniques

Edited by Alexandra Okada, Tony Sherborne, Simon J. Buckingham Shum ...

Series series Computer Science (R0)
Focuses on the process by which manually crafting interactive, hypertextual maps clarifies one’s own understanding, communicates it to others, and enables collective intelligence. The authors see mapping software as visual tools for reading and writing in a networked age. In an information ocean, the challenge is to find meaningful patterns around which we can weave plausible narratives. Maps of ... Read more

$89.99 USD

Focuses on the process by which manually crafting interactive, hypertextual maps clarifies one’s own understanding, communicates it to others, and enables collective intelligence. The authors see mapping software as visual tools for reading and writing in a networked age. In an information ocean, the challenge is to find meaningful patterns around which we can weave plausible narratives. Maps of
... Read more
E-Learning, E-Education, and Online Training

First International Conference, eLEOT 2014, Bethesda, MD, USA, September 18-20, 2014, Revised Selected Papers

Edited by Alberto Bucciero, Carlos Vaz de Carvalho, Giovanni Vincenti ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on E-Learning, E-Education, and Online Training (eLEOT 2014) held in Bethesda, MD, USA, in September 2014. The 22 revised full papers presented were carefully reviewed and selected from numerous submissions and focus topics such as web based tools, augmented reality, mobile learning, ... Read more

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on E-Learning, E-Education, and Online Training (eLEOT 2014) held in Bethesda, MD, USA, in September 2014. The 22 revised full papers presented were carefully reviewed and selected from numerous submissions and focus topics such as web based tools, augmented reality, mobile learning,
... Read more
Human Interface and the Management of Information. Interaction, Visualization, and Analytics

20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Edited by Sakae Yamamoto, Hirohiko Mori ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 10904 and 10905 constitutes the refereed proceedings of the 20th International Conference on Human Interface and the Management of Information, HIMI 2018, held as part of HCI International 2018 in Las Vegas, NV, USA, in July 2018.The total of 1170 papers and 195 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4373 ... Read more

$49.99 USD

This two-volume set LNCS 10904 and 10905 constitutes the refereed proceedings of the 20th International Conference on Human Interface and the Management of Information, HIMI 2018, held as part of HCI International 2018 in Las Vegas, NV, USA, in July 2018.The total of 1170 papers and 195 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4373
... Read more
Software Engineering and Formal Methods

14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Edited by Rocco De Nicola, Eva Kühn ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program ... Read more

$49.99 USD

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program
... Read more
Ethics in Computing

A Concise Module

by Joseph Migga Kizza ...

Series series Computer Science (R0)
This textbook raises thought-provoking questions regarding our rapidly-evolving computing technologies, highlighting the need for a strong ethical framework in our computer science education. Ethics in Computing offers a concise introduction to this topic, distilled from the more expansive Ethical and Social Issues in the Information Age. Features: introduces the philosophical framework for ... Read more

$44.99 USD

This textbook raises thought-provoking questions regarding our rapidly-evolving computing technologies, highlighting the need for a strong ethical framework in our computer science education. Ethics in Computing offers a concise introduction to this topic, distilled from the more expansive Ethical and Social Issues in the Information Age. Features: introduces the philosophical framework for
... Read more
Hands-On Android UI Development

Design and develop attractive user interfaces for Android applications

by Jason Morris ...

Master the art of creating impressive and reactive UIs for mobile applications on the latest version of Android Oreo.Key Features\[\*\] A comprehensive guide to designing and developing highly interactive user interfaces for your app.\[\*\] Design responsive and agile applications targeting multiple Android devices (up to Android Oreo) using Android Studio 3.0\[\*\] Write reactive user interfaces ... Read more

$34.99 USD or Free with Kobo Plus

Master the art of creating impressive and reactive UIs for mobile applications on the latest version of Android Oreo.Key Features\[\*\] A comprehensive guide to designing and developing highly interactive user interfaces for your app.\[\*\] Design responsive and agile applications targeting multiple Android devices (up to Android Oreo) using Android Studio 3.0\[\*\] Write reactive user interfaces
... Read more
Augmented Reality, Virtual Reality, and Computer Graphics

6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24–27, 2019, Proceedings, Part I

Edited by Lucio Tommaso De Paolis, Patrick Bourdot ...

Series Book 1 - Springer Nature Proceedings Computer Science
The 2-volume set LNCS 11613 and 11614 constitutes the refereed proceedings of the 6th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2019, held in Santa Maria al Bagno, Italy, in June 2019.The 32 full papers and 35 short papers presented were carefully reviewed and selected from numerous submissions. The papers discuss key issues, approaches, ideas, open ... Read more

$71.99 USD

The 2-volume set LNCS 11613 and 11614 constitutes the refereed proceedings of the 6th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2019, held in Santa Maria al Bagno, Italy, in June 2019.The 32 full papers and 35 short papers presented were carefully reviewed and selected from numerous submissions. The papers discuss key issues, approaches, ideas, open
... Read more
Mastering Google Cloud Platform: Navigating the Clouds

by Kameron Hussain, Frahaan Hussain ...

Discover the ultimate guide to mastering the Google Cloud Platform (GCP) with "Mastering Google Cloud Platform: Navigating the Clouds." This comprehensive resource is designed for IT professionals, developers, and cloud enthusiasts seeking to leverage the full potential of GCP. Whether you're preparing for GCP certification or looking to implement cutting-edge cloud solutions, this book offers ... Read more

$9.99 USD or Free with Kobo Plus

Discover the ultimate guide to mastering the Google Cloud Platform (GCP) with "Mastering Google Cloud Platform: Navigating the Clouds." This comprehensive resource is designed for IT professionals, developers, and cloud enthusiasts seeking to leverage the full potential of GCP. Whether you're preparing for GCP certification or looking to implement cutting-edge cloud solutions, this book offers
... Read more
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LXV

Edited by Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky, Torsten Sattler, Gül Varol ...

Series series Springer Nature Proceedings Computer Science
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. They deal with topics such as computer vision; ... Read more

$80.99 USD

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. They deal with topics such as computer vision;
... Read more
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XII

Edited by Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky, Torsten Sattler, Gül Varol ...

Series Book 12 - Springer Nature Proceedings Computer Science
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. The papers deal with topics such as computer vision ... Read more

$80.99 USD

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. The papers deal with topics such as computer vision
... Read more
Biomechanical Biofeedback Systems and Applications

by Anton Kos, Anton Umek ...

Series series Computer Science (R0)
This book deals with the topic of biomechanical biofeedback systems and applications that are primarily aimed at motor learning in sports and rehabilitation. It gives a comprehensive tutorial of the concepts, architectures, operation, and exemplary applications of biomechanical biofeedback systems.A special section is dedicated to various constraints in designing biomechanical biofeedback systems. ... Read more

$80.99 USD

This book deals with the topic of biomechanical biofeedback systems and applications that are primarily aimed at motor learning in sports and rehabilitation. It gives a comprehensive tutorial of the concepts, architectures, operation, and exemplary applications of biomechanical biofeedback systems.A special section is dedicated to various constraints in designing biomechanical biofeedback systems.
... Read more
Hands-On Data Science for Marketing

Improve your marketing strategies with machine learning using Python and R

by Yoon Hyup Hwang ...

Optimize your marketing strategies through analytics and machine learningKey FeaturesUnderstand how data science drives successful marketing campaignsUse machine learning for better customer engagement, retention, and product recommendationsExtract insights from your data to optimize marketing strategies and increase profitabilityBook DescriptionRegardless of company size, the adoption of data ... Read more

$34.99 USD or Free with Kobo Plus

Optimize your marketing strategies through analytics and machine learningKey FeaturesUnderstand how data science drives successful marketing campaignsUse machine learning for better customer engagement, retention, and product recommendationsExtract insights from your data to optimize marketing strategies and increase profitabilityBook DescriptionRegardless of company size, the adoption of data
... Read more
Modern C Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

by Mikael Olsson ...

Series series Professional and Applied Computing (R0)
Discover how C's efficiency makes it a popular choice in a wide variety of applications and operating systems with special applicability to wearables, game programming, system level programming, embedded device/firmware programming and in Arduino and related electronics hobbies in this condensed code and syntax guide. This book presents the essential C syntax in a well-organized format that can be ... Read more

$31.99 USD

Discover how C's efficiency makes it a popular choice in a wide variety of applications and operating systems with special applicability to wearables, game programming, system level programming, embedded device/firmware programming and in Arduino and related electronics hobbies in this condensed code and syntax guide. This book presents the essential C syntax in a well-organized format that can be
... Read more
NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Edited by Aaron Dutle, César Muñoz, Anthony Narkawicz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations ... Read more

$49.99 USD

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations
... Read more
Artificial Intelligence

Taking Over - How Will AI and Machine Learning Impact Your Life?

by James Hendrickson ...

Learn Everything You Need to Know About Artificial Intelligence!Do you want to learn more about Artificial Intelligence and its impact to human society?Are you finding the traditional Artificial Intelligence textbooks difficult to read?"Artificial Intelligence: Taking Over - How Will AI and Machine Learning Impact Your Life?" by James Hendrickson is THE guide you need to start reading right now!As ... Read more

$2.99 USD

Learn Everything You Need to Know About Artificial Intelligence!Do you want to learn more about Artificial Intelligence and its impact to human society?Are you finding the traditional Artificial Intelligence textbooks difficult to read?"Artificial Intelligence: Taking Over - How Will AI and Machine Learning Impact Your Life?" by James Hendrickson is THE guide you need to start reading right now!As
... Read more
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LV

Edited by Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky, Torsten Sattler, Gül Varol ...

Series series Springer Nature Proceedings Computer Science
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. They deal with topics such as computer vision; ... Read more

$80.99 USD

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. They deal with topics such as computer vision;
... Read more
Java lernen in abgeschlossenen Lerneinheiten

Der Einstieg in die Programmierung mit vielen Beispielen

by Sebastian Dörn ...

Series series Computer Science and Engineering (German Language)
Dieses Lehrbuch bringt Einsteiger anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen und versetzt die Leser dadurch in die Lage, algorithmische Konzepte zu verstehen und in Programmcode umzusetzen.Zentrale Lernziele sind das Verstehen der Abstraktionskonzepte moderner Programmiersprachen und das Erlernen ... Read more

$28.99 USD

Dieses Lehrbuch bringt Einsteiger anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen und versetzt die Leser dadurch in die Lage, algorithmische Konzepte zu verstehen und in Programmcode umzusetzen.Zentrale Lernziele sind das Verstehen der Abstraktionskonzepte moderner Programmiersprachen und das Erlernen
... Read more
Advances in Robotics Research: From Lab to Market

ECHORD++: Robotic Science Supporting Innovation

Edited by Antoni Grau, Yannick Morel, Ana Puig-Pey, Francesca Cecchi ...

Series series Intelligent Technologies and Robotics (R0)
In this book Part I presents first an overview of the ECHORD++ project, with its mission and vision together with a detailed structure of its functionalities and instruments: Experiments, Robotic Innovation Facilities and Public end-user Driven Technology Innovation PDTI.Chapter 1 explains how the project is born, the partners, the different instruments and the new concept of cascade funding ... Read more

$89.99 USD

In this book Part I presents first an overview of the ECHORD++ project, with its mission and vision together with a detailed structure of its functionalities and instruments: Experiments, Robotic Innovation Facilities and Public end-user Driven Technology Innovation PDTI.Chapter 1 explains how the project is born, the partners, the different instruments and the new concept of cascade funding
... Read more
Amazon Redshift Cookbook

Recipes for building modern data warehousing solutions

by Shruti Worlikar, Harshida Patel, Anusha Challa ...

Set up a petabyte-scale, cloud-based data warehouse that is burstable and built to scale for end-to-end analytical solutions Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesLearn how to translate familiar data warehousing concepts into Redshift implementationUse impressive Redshift features to optimize development, productionizing, and operation ... Read more

$37.99 USD or Free with Kobo Plus

Set up a petabyte-scale, cloud-based data warehouse that is burstable and built to scale for end-to-end analytical solutions Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesLearn how to translate familiar data warehousing concepts into Redshift implementationUse impressive Redshift features to optimize development, productionizing, and operation
... Read more
Design Tools and Methods in Industrial Engineering III

Proceedings of the Third International Conference on Design Tools and Methods in Industrial Engineering, ADM 2023, September 6–8, 2023, Florence, Italy, Volume 2

Edited by Monica Carfagni, Rocco Furferi, Paolo Di Stefano, Lapo Governi, Francesco Gherardini ...

Series series Springer Nature Proceedings excluding Computer Science
This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and other relevant industrial sectors. Based on contributions to the Third International Conference on Design Tools and Methods in Industrial Engineering, ADM 2023, held on September 6–8, 2023, in ... Read more

$260.99 USD

This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and other relevant industrial sectors. Based on contributions to the Third International Conference on Design Tools and Methods in Industrial Engineering, ADM 2023, held on September 6–8, 2023, in
... Read more
User Experience Design

A Practical Introduction

by Gavin Allanwood, Mr Peter Beare ...

Series series Basics Design
Applicable to a wide spectrum of design activity, this book offers an ideal first step, clearly explaining fundamental concepts and methods to apply when designing for the user experience.Covering essential topics from user research and experience design to aesthetics, standards and prototyping, User Experience Design explains why user-centered methods are now essential to ensuring the success of ... Read more

$29.99 USD

Applicable to a wide spectrum of design activity, this book offers an ideal first step, clearly explaining fundamental concepts and methods to apply when designing for the user experience.Covering essential topics from user research and experience design to aesthetics, standards and prototyping, User Experience Design explains why user-centered methods are now essential to ensuring the success of
... Read more
Inclusive Design Premises, Policies, Protocols, and Practices: From Usability to Empowerment

by Deborah Fels, Shital Desai, Margot Whitfield, Peter Pennefather, Evan Hibbard ...

Series series Synthesis Collection of Technology (R0)
This book provides a comprehensive overview of Inclusive Design as a framework for developing products, services, environments, and learning experiences that enable the diversity and differing abilities of human populations. It examines the influence of international legislation, standards, and policies on accessibility practices and offers practical guidance for effectively integrating inclusion ... Read more

$49.99 USD

This book provides a comprehensive overview of Inclusive Design as a framework for developing products, services, environments, and learning experiences that enable the diversity and differing abilities of human populations. It examines the influence of international legislation, standards, and policies on accessibility practices and offers practical guidance for effectively integrating inclusion
... Read more
New Directions in Educational Technology and Administration

Proceedings of the 4th International Conference on Educational Technology and Administration

Edited by Fred Paas, Srikanta Patnaik, Taosheng Wang ...

Series series Springer Nature Proceedings excluding Computer Science
“New Directions in Educational Technology and Administration” emphasize the integration of cutting-edge tools like artificial intelligence, big data, and augmented reality to enhance teaching and learning experiences. This volume focus on creating more personalized, accessible, and equitable education systems that cater to diverse learners. At the same time, administrative innovations prioritize ... Read more

$188.99 USD

“New Directions in Educational Technology and Administration” emphasize the integration of cutting-edge tools like artificial intelligence, big data, and augmented reality to enhance teaching and learning experiences. This volume focus on creating more personalized, accessible, and equitable education systems that cater to diverse learners. At the same time, administrative innovations prioritize
... 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: