Rakuten Kobo

Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Edited by Brijesh Dongol, Luigia Petre, Graeme Smith ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures;
... Read more
Fundamentals of Software Engineering

8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Edited by Hossein Hojjat, Mieke Massink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially ... Read more

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially
... Read more
Engineering Psychology and Cognitive Ergonomics

18th International Conference, EPCE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings

Edited by Don Harris, Wen-Chin Li ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2021, held as part of the 23rd International Conference, HCI International 2021, held as a virtual event, in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 18th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2021, held as part of the 23rd International Conference, HCI International 2021, held as a virtual event, in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222
... Read more
How to Manage Your Amazon Account Settings

Staying in Control of Your Account for Beginners and Seniors

by John Marotta ...

Written in clear, easy-to-follow language, this book walks you through the most important settings that keep your account secure, organized, and personalized. Whether you want to update your payment methods, manage addresses, control subscriptions, adjust notifications, or strengthen your account security, this guide provides straightforward instructions anyone can follow. Inside this book, you ... Read more

$3.99 USD

Written in clear, easy-to-follow language, this book walks you through the most important settings that keep your account secure, organized, and personalized. Whether you want to update your payment methods, manage addresses, control subscriptions, adjust notifications, or strengthen your account security, this guide provides straightforward instructions anyone can follow. Inside this book, you
... Read more
The Manush AI Blueprint: AGI Research, Humanoid Robotics, and the Geometry of Consciousness

by ABHIJEET SARKAR ...

Are we on the verge of creating machines that don't just think, but actually feel**?** The line between science fiction and reality is no longer blurring—it has already been erased. As the world races toward Artificial General Intelligence (AGI), the ultimate question is no longer when machines will match human intellect, but how they will embody human consciousness.In The Manush AI Blueprint: AGI ... Read more

$3.99 USD or Free with Kobo Plus

Are we on the verge of creating machines that don't just think, but actually feel**?** The line between science fiction and reality is no longer blurring—it has already been erased. As the world races toward Artificial General Intelligence (AGI), the ultimate question is no longer when machines will match human intellect, but how they will embody human consciousness.In The Manush AI Blueprint: AGI
... Read more
Modern Big Data Processing with Hadoop

Expert techniques for architecting end-to-end big data solutions to get valuable insights

by Prashant Shindgikar, Manoj R Patil, V Naresh Kumar ...

A comprehensive guide to design, build and execute effective Big Data strategies using HadoopKey Features-Get an in-depth view of the Apache Hadoop ecosystem and an overview of the architectural patterns pertaining to the popular Big Data platform-Conquer different data processing and analytics challenges using a multitude of tools such as Apache Spark, Elasticsearch, Tableau and more-A ... Read more

$34.99 USD or Free with Kobo Plus

A comprehensive guide to design, build and execute effective Big Data strategies using HadoopKey Features-Get an in-depth view of the Apache Hadoop ecosystem and an overview of the architectural patterns pertaining to the popular Big Data platform-Conquer different data processing and analytics challenges using a multitude of tools such as Apache Spark, Elasticsearch, Tableau and more-A
... Read more
Intelligent Robotics and Applications

14th International Conference, ICIRA 2021, Yantai, China, October 22–25, 2021, Proceedings, Part III

Edited by Xin-Jun Liu, Zhenguo Nie, Jingjun Yu, Fugui Xie, Rui Song ...

Series Book 3 - Springer Nature Proceedings Computer Science
The 4-volume set LNAI 13013 – 13016 constitutes the proceedings of the 14th International Conference on Intelligent Robotics and Applications, ICIRA 2021, which took place in Yantai, China, during October 22-25, 2021.The 299 papers included in these proceedings were carefully reviewed and selected from 386 submissions. They were organized in topical sections as follows: Robotics dexterous ... Read more

$107.99 USD

The 4-volume set LNAI 13013 – 13016 constitutes the proceedings of the 14th International Conference on Intelligent Robotics and Applications, ICIRA 2021, which took place in Yantai, China, during October 22-25, 2021.The 299 papers included in these proceedings were carefully reviewed and selected from 386 submissions. They were organized in topical sections as follows: Robotics dexterous
... Read more
NUnit Pocket Reference

Up and Running with NUnit

by Bill Hamilton ...

Few .NET developers have the luxury of unlimited code testing once their application is complete, and rushing through the testing process is both problematic and stressful. The open source NUnit framework provides an excellent and efficient way to test and improve .NET code as it's written, saving hundreds of QA hours and headaches.NUnit is one of the most mature and widely-used .NET open source ... Read more

$7.99 USD

Few .NET developers have the luxury of unlimited code testing once their application is complete, and rushing through the testing process is both problematic and stressful. The open source NUnit framework provides an excellent and efficient way to test and improve .NET code as it's written, saving hundreds of QA hours and headaches.NUnit is one of the most mature and widely-used .NET open source
... Read more
Selfie Biometrics

Advances and Challenges

Edited by Ajita Rattani, Reza Derakhshani, Arun Ross ...

Series series Computer Science (R0)
This book highlights the field of selfie biometrics, providing a clear overview and presenting recent advances and challenges. It also discusses numerous selfie authentication techniques on mobile devices. Biometric authentication using mobile devices is becoming a convenient and important means of verifying identity for secured access and services such as telebanking and electronic transactions. ... Read more

$89.99 USD

This book highlights the field of selfie biometrics, providing a clear overview and presenting recent advances and challenges. It also discusses numerous selfie authentication techniques on mobile devices. Biometric authentication using mobile devices is becoming a convenient and important means of verifying identity for secured access and services such as telebanking and electronic transactions.
... Read more
Practical Android

14 Complete Projects on Advanced Techniques and Approaches

by Mark Wickham ...

Series series Professional and Applied Computing (R0)
Choose the best approach for your app and implement your solution quickly by leveraging complete projects. This book is a collection of practical projects that use advanced Android techniques and approaches, written by Android instructor Mark Wickham. Mark has taught a series of popular classes at Android development conferences since 2013 and Practical Android covers content from his most popular ... Read more

$44.99 USD

Choose the best approach for your app and implement your solution quickly by leveraging complete projects. This book is a collection of practical projects that use advanced Android techniques and approaches, written by Android instructor Mark Wickham. Mark has taught a series of popular classes at Android development conferences since 2013 and Practical Android covers content from his most popular
... Read more
Artificial Neural Networks in Pattern Recognition

7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28–30, 2016, Proceedings

Edited by Edmondo Trentin, Hazem M. Abbas, Friedhelm Schwenker, Neamat El Gayar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2016, held in Ulm, Germany, in September 2016.The 25 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 32 submissions for inclusion in this volume. The workshop will act as a major forum for ... Read more

$71.99 USD

This book constitutes the refereed proceedings of the 7th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2016, held in Ulm, Germany, in September 2016.The 25 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 32 submissions for inclusion in this volume. The workshop will act as a major forum for
... Read more
Deep Belief Nets in C++ and CUDA C: Volume 3

Convolutional Nets

by Timothy Masters ...

Series series Professional and Applied Computing (R0)
Discover the essential building blocks of a common and powerful form of deep belief network: convolutional nets. This book shows you how the structure of these elegant models is much closer to that of human brains than traditional neural networks; they have a ‘thought process’ that is capable of learning abstract concepts built from simpler primitives. These models are especially useful for image ... Read more

$58.99 USD

Discover the essential building blocks of a common and powerful form of deep belief network: convolutional nets. This book shows you how the structure of these elegant models is much closer to that of human brains than traditional neural networks; they have a ‘thought process’ that is capable of learning abstract concepts built from simpler primitives. These models are especially useful for image
... Read more
Cloud Native Geospatial Analytics with Apache Sedona

A Hands-On Guide for Working with Large-Scale Spatial Data

by Pawel Tokaj, Jia Yu, Mo Sarwat ...

Navigating the complexities of large-scale spatial data can be daunting. In order to unleash the power of massive and complex datasets, you'll need a cutting-edge tool like Apache Sedona. This innovative distributed computing system, designed specifically for spatial data, has diverse applications in fields such as mobility, telematics, agriculture, climate science, and more. This book serves as ... Read more

$43.99 USD

Navigating the complexities of large-scale spatial data can be daunting. In order to unleash the power of massive and complex datasets, you'll need a cutting-edge tool like Apache Sedona. This innovative distributed computing system, designed specifically for spatial data, has diverse applications in fields such as mobility, telematics, agriculture, climate science, and more. This book serves as
... Read more
Practical Aspects of Declarative Languages

21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

Edited by José Júlio Alferes, Moa Johansson ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative
... Read more
Transactions on Computational Collective Intelligence XXXII

Edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Marcin Hernes ...

Series series Computer Science (R0)
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition ... Read more

$49.99 USD

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition
... Read more
Advances in Human Factors and System Interactions

Proceedings of the AHFE 2021 Virtual Conference on Human Factors and Systems Interaction, July 25-29, 2021, USA

Edited by Isabel L. Nunes ...

Series series Springer Nature Proceedings excluding Computer Science
This book reports on innovative system interfaces, with a special emphasis on their design, development and testing, and on improving the interaction and integration with the users. Focusing on the advantages and challenges of virtual, augmented and mixed reality systems, it describes novel interface technologies, together with cutting-edge strategies for improving usability and accessibility, and ... Read more

$89.99 USD

This book reports on innovative system interfaces, with a special emphasis on their design, development and testing, and on improving the interaction and integration with the users. Focusing on the advantages and challenges of virtual, augmented and mixed reality systems, it describes novel interface technologies, together with cutting-edge strategies for improving usability and accessibility, and
... Read more
Mastering VB.NET: A Comprehensive Guide to Visual Basic .NET Programming

by Kameron Hussain, Frahaan Hussain ...

In today's fast-paced digital world, the demand for skilled software developers is ever-growing. If you're looking to embark on a rewarding journey into the world of software development or seeking to expand your programming skills, "A Comprehensive Guide to Visual Basic .NET Programming" is your indispensable companion.Visual Basic .NET (VB.NET) is a powerful and versatile programming language in ... Read more

$15.00 USD or Free with Kobo Plus

In today's fast-paced digital world, the demand for skilled software developers is ever-growing. If you're looking to embark on a rewarding journey into the world of software development or seeking to expand your programming skills, "A Comprehensive Guide to Visual Basic .NET Programming" is your indispensable companion.Visual Basic .NET (VB.NET) is a powerful and versatile programming language in
... Read more
Computer Vision – ECCV 2024

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

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
Designing Mobile Interfaces

Patterns for Interaction Design

by Steven Hoober, Eric Berkman ...

With hundreds of thousands of mobile applications available today, your app has to capture users immediately. This book provides practical techniques to help you catch—and keep—their attention. You’ll learn core principles for designing effective user interfaces, along with a set of common patterns for interaction design on all types of mobile devices.Mobile design specialists Steven Hoober and ... Read more

$28.99 USD

With hundreds of thousands of mobile applications available today, your app has to capture users immediately. This book provides practical techniques to help you catch—and keep—their attention. You’ll learn core principles for designing effective user interfaces, along with a set of common patterns for interaction design on all types of mobile devices.Mobile design specialists Steven Hoober and
... Read more
Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Edited by Emilio Tuosto, Chun Ouyang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model ... Read more

$40.99 USD

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model
... Read more
Advances in Human Factors and Ergonomics in Healthcare and Medical Devices

Proceedings of the AHFE 2018 International Conference on Human Factors and Ergonomics in Healthcare and Medical Devices, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

Edited by Nancy J. Lightner ...

Series series Springer Nature Proceedings excluding Computer Science
This book shows how human factors and ergonomic principles have been transforming healthcare. It reports on the design of systems and devices to improve quality, safety, efficiency, and effectiveness in patient care, and discusses findings related to improving organizational outcomes in a healthcare setting, as well as approaches for analyzing and modeling those work aspects that are unique to ... Read more

$143.99 USD

This book shows how human factors and ergonomic principles have been transforming healthcare. It reports on the design of systems and devices to improve quality, safety, efficiency, and effectiveness in patient care, and discusses findings related to improving organizational outcomes in a healthcare setting, as well as approaches for analyzing and modeling those work aspects that are unique to
... Read more
Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

by Paul Papanek Stork ...

Processing information efficiently is critical to the successful operation of modern organizations. One particularly helpful tool is Microsoft Power Automate, a low-code/no-code development platform designed to help tech-savvy users create and implement workflows. This practical book explains how small-business and enterprise users can replace manual work that takes days with an automated process ... Read more

$48.99 USD

Processing information efficiently is critical to the successful operation of modern organizations. One particularly helpful tool is Microsoft Power Automate, a low-code/no-code development platform designed to help tech-savvy users create and implement workflows. This practical book explains how small-business and enterprise users can replace manual work that takes days with an automated process
... Read more
From Zero to Market with Flutter

Desktop, Mobile, and Web Distribution

by Viachaslau Lyskouski ...

This book is more than a set of instructions; it's an invitation to embark on a collaborative journey through the thrilling realm of platform-agnostic application development using Flutter. Together, we'll explore every phase of the application lifecycle, starting from the initial concept to the final distribution, with essential stops at development, testing, and automation along the way. This ... Read more

$4.99 USD

This book is more than a set of instructions; it's an invitation to embark on a collaborative journey through the thrilling realm of platform-agnostic application development using Flutter. Together, we'll explore every phase of the application lifecycle, starting from the initial concept to the final distribution, with essential stops at development, testing, and automation along the way. This
... Read more
Interactivity, Game Creation, Design, Learning, and Innovation

5th International Conference, ArtsIT 2016, and First International Conference, DLI 2016, Esbjerg, Denmark, May 2–3, 2016, Proceedings

Edited by Anthony L. Brooks, Eva Brooks ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of two conferences: The 5th International Conference on ArtsIT, Interactivity and Game Creation (ArtsIT 2016) and the First International Conference on Design, Learning and Innovation (DLI 2016). ArtsIT is reflecting trends in the expanding field of digital art, interactive art, and how game creation is considered an art form. The decision was made to augment ... Read more

$49.99 USD

This book constitutes the proceedings of two conferences: The 5th International Conference on ArtsIT, Interactivity and Game Creation (ArtsIT 2016) and the First International Conference on Design, Learning and Innovation (DLI 2016). ArtsIT is reflecting trends in the expanding field of digital art, interactive art, and how game creation is considered an art form. The decision was made to augment
... 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: