Rakuten Kobo

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Edited by Maurice H. ter Beek, Dejan Ničković ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. ... Read more

$49.99 USD

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions.
... Read more
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI

Special Issue on Data and Security Engineering

Edited by Abdelkader Hameurlain, Roland Wagner, Tran Khanh Dang ...

Series series Computer Science (R0)
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected ... Read more

$49.99 USD

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected
... Read more
Distributed, Ambient and Pervasive Interactions

7th International Conference, DAPI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

Edited by Norbert Streitz, Shin’ichi Konomi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, Florida, USA, in July 2019.A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 ... Read more

$71.99 USD

This book constitutes the refereed proceedings of the 7th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, Florida, USA, in July 2019.A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029
... Read more
Symposium on Real-Time and Hybrid Systems

Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Edited by Cliff Jones, Ji Wang, Naijun Zhan ...

Series series Computer Science (R0)
This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic ... Read more

$49.99 USD

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic
... Read more
Building Forms with Vue.js

Patterns for building and scaling complex forms with great UX

by Marina Mosti Hernandez Mosti ...

Learn how to build dynamic schema-driven forms with Vue from scratchKey FeaturesUnderstand the basics of form component compositionScale and integrate your forms with libraries such as Vuex and VuelidateConvert any form into a self-generated schema-driven appBook DescriptionAlmost every web application and site out there handles user input in one way or another, from registration forms and log-in ... Read more

$16.99 USD or Free with Kobo Plus

Learn how to build dynamic schema-driven forms with Vue from scratchKey FeaturesUnderstand the basics of form component compositionScale and integrate your forms with libraries such as Vuex and VuelidateConvert any form into a self-generated schema-driven appBook DescriptionAlmost every web application and site out there handles user input in one way or another, from registration forms and log-in
... Read more
Information Security

16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

Edited by Yvo Desmedt ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013.The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and ... Read more

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013.The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and
... Read more
GROKKING ALGORITHM BLUEPRINT

A Comprehensive Beginner's Guide to Learn the Realms of Grokking Algorithms from A-Z and Become Efficient Programmers

by William Turner ...

What is grokking algorithms? A new kind of algorithm? A new way of doing data science? No. The official definition of grokking is "To understand profoundly through intuition or empathy." It also means "to empathize or communicate sympathetically (with); also, to experience enjoyment." In short, it's all about learning algorithms in a way that they are part of you, not just memorizing what to do. ... Read more

$4.99 USD

What is grokking algorithms? A new kind of algorithm? A new way of doing data science? No. The official definition of grokking is "To understand profoundly through intuition or empathy." It also means "to empathize or communicate sympathetically (with); also, to experience enjoyment." In short, it's all about learning algorithms in a way that they are part of you, not just memorizing what to do.
... Read more
The AI Compass

by Marcus Westridge ...

In recent years, artificial intelligence (AI) has rapidly become a part of everyday life. What once seemed like science fiction is now reality – from chatbots and smart assistants to tools that enhance work, creativity, and learning. Yet many people still feel uncertain: How can I use AI effectively? Do I need programming skills? Will AI replace my job? And where do I even begin?"The AI Compass" ... Read more

$3.99 USD or Free with Kobo Plus

In recent years, artificial intelligence (AI) has rapidly become a part of everyday life. What once seemed like science fiction is now reality – from chatbots and smart assistants to tools that enhance work, creativity, and learning. Yet many people still feel uncertain: How can I use AI effectively? Do I need programming skills? Will AI replace my job? And where do I even begin?"The AI Compass"
... Read more
MAITRISER AWS: Guide Complet Pour Apprendre Le Cloud Et Réussir La Certification Developer Associate DVA-C02

by Eloic Marceau ...

Découvrez Maîtriser AWS – Guide Complet Pour Apprendre le Cloud et Réussir la Certification AWS Developer Associate DVA-C02 ! Ce guide de référence, rédigé par Eloic Marceau, est spécialement conçu pour les débutants qui désirent plonger dans l'univers passionnant du cloud, sans aucune connaissance technique préalable. Grâce à un langage clair et accessible, vous découvrirez les concepts ... Read more

$5.00 USD or Free with Kobo Plus

Découvrez Maîtriser AWS – Guide Complet Pour Apprendre le Cloud et Réussir la Certification AWS Developer Associate DVA-C02 ! Ce guide de référence, rédigé par Eloic Marceau, est spécialement conçu pour les débutants qui désirent plonger dans l'univers passionnant du cloud, sans aucune connaissance technique préalable. Grâce à un langage clair et accessible, vous découvrirez les concepts
... Read more
Human-Building Interaction

The Nexus of Architecture, Building Science and Interaction Design

Edited by Veronica Garcia-Hansen, Debra F. Cushing, Glenda Amayo Caldwell, Marcus Foth ...

Series series Computer Science (R0)
This unique book advances the emerging field of human-building interaction (HBI), which examines how people experience, influence, and co-evolve with the buildings they inhabit. Moving beyond conventional notions of building performance and environmental control, the volume highlights HBI as a human-centred, interdisciplinary framework for designing responsive, equitable, and sustainable built ... Read more

$179.99 USD

This unique book advances the emerging field of human-building interaction (HBI), which examines how people experience, influence, and co-evolve with the buildings they inhabit. Moving beyond conventional notions of building performance and environmental control, the volume highlights HBI as a human-centred, interdisciplinary framework for designing responsive, equitable, and sustainable built
... Read more
Numbers and Computers

by Ronald T. Kneusel ...

Series series Computer Science (R0)
This textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accurately, especially by floating-point numbers.The book's first part details standard representations of integers and floating-point numbers. The second explores other number representations, including the wide variety recently developed to support ... Read more

Was $80.99 USD Now $71.99 USD

This textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accurately, especially by floating-point numbers.The book's first part details standard representations of integers and floating-point numbers. The second explores other number representations, including the wide variety recently developed to support
... Read more
HCI in Business, Government and Organizations

7th International Conference, HCIBGO 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings

Edited by Fiona Fui-Hoon Nah, Keng Siau ...

Series series Springer Nature Proceedings Computer Science
This volume LNCS 12204 constitutes the refereed proceedings of the 7th International Conference on Business, Government, and Organizations, HCIBGO 2020, which was held in July 2020 as part of HCI International 2020 in Copenhagen, Denmark.*1439 papers and 238 posters were accepted for publication after a careful reviewing process. The 42 papers presented in this volume are organized in topical ... Read more

$80.99 USD

This volume LNCS 12204 constitutes the refereed proceedings of the 7th International Conference on Business, Government, and Organizations, HCIBGO 2020, which was held in July 2020 as part of HCI International 2020 in Copenhagen, Denmark.*1439 papers and 238 posters were accepted for publication after a careful reviewing process. The 42 papers presented in this volume are organized in topical
... Read more
Culture and Computing. Design Thinking and Cultural Computing

9th International Conference, C&C 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II

Edited by Matthias Rauterberg ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 12794-12795 constitutes the refereed proceedings of the 9th International Conference on Culture and Computing, C&C 2021, which was held as part of HCI International 2021 and took place virtually during July 24-29, 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions.The ... Read more

$80.99 USD

The two-volume set LNCS 12794-12795 constitutes the refereed proceedings of the 9th International Conference on Culture and Computing, C&C 2021, which was held as part of HCI International 2021 and took place virtually during July 24-29, 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions.The
... Read more
Redux in Action

by Marc Garreau, will faurot ...

SummaryWith Redux in Action, you'll discover how to integrate Redux into your React application and development environment. With the insights you glean from the experience of authors Marc Garreau and Will Faurot, you'll be more than confident in your ability to solve your state management woes with Redux and focus on developing the apps you need!Foreword by Mark Erikson, Redux co-maintainer ... Read more

$49.99 USD

SummaryWith Redux in Action, you'll discover how to integrate Redux into your React application and development environment. With the insights you glean from the experience of authors Marc Garreau and Will Faurot, you'll be more than confident in your ability to solve your state management woes with Redux and focus on developing the apps you need!Foreword by Mark Erikson, Redux co-maintainer
... Read more
Towards the Internet of Services: The THESEUS Research Program

Edited by Wolfgang Wahlster, Hans-Joachim Grallert, Stefan Wess, Hermann Friedrich, Thomas Widenka ...

Series series Computer Science (R0)
The Internet of Services and the Internet of Things are major building blocks of the Future Internet. The digital enterprise of the future is based not only on mobile, social, and cloud technologies, but also on semantic technologies and the future Internet of Everything. Semantic technologies now enable mass customization for the delivery of goods and services that meet individual customer needs ... Read more

$49.99 USD

The Internet of Services and the Internet of Things are major building blocks of the Future Internet. The digital enterprise of the future is based not only on mobile, social, and cloud technologies, but also on semantic technologies and the future Internet of Everything. Semantic technologies now enable mass customization for the delivery of goods and services that meet individual customer needs
... Read more
Introduction to Generative AI

by Numa Dhamani ...

Generative AI tools like ChatGPT are amazing—but how will their use impact our society? This book introduces the world-transforming technology and the strategies you need to use generative AI safely and effectively.Introduction to Generative AI gives you the hows-and-whys of generative AI in accessible language. In this easy-to-read introduction, you’ll learn:How large language models (LLMs) ... Read more

$36.99 USD

Generative AI tools like ChatGPT are amazing—but how will their use impact our society? This book introduces the world-transforming technology and the strategies you need to use generative AI safely and effectively.Introduction to Generative AI gives you the hows-and-whys of generative AI in accessible language. In this easy-to-read introduction, you’ll learn:How large language models (LLMs)
... Read more
The Clause That Ate $5 Million

by Mark Davenport ...

AI vs. the Legal Mess We Created: LLMs vs. Law" by Mark Davenport is a no-nonsense dive into the war on words choking contracts—and how AI is winning. With 30 years in IT and a geek's grit, Davenport unleashes OpenAI's API to shred legalese, slashing review times from weeks to hours while exposing the ambiguity, complexity, and contradictions costing billions—from Codelfa's delays to ArriveCAN's ... Read more

$7.99 USD or Free with Kobo Plus

AI vs. the Legal Mess We Created: LLMs vs. Law" by Mark Davenport is a no-nonsense dive into the war on words choking contracts—and how AI is winning. With 30 years in IT and a geek's grit, Davenport unleashes OpenAI's API to shred legalese, slashing review times from weeks to hours while exposing the ambiguity, complexity, and contradictions costing billions—from Codelfa's delays to ArriveCAN's
... Read more
Social Robotics

16th International Conference, ICSR + InnoBiz 2024, Shenzhen, China, September 25–28, 2024, Proceedings

Edited by Haizhou Li, Tanja Schultz, Yalei Bi, Jian Zhu, Hongsheng He, Jun Ma, Siqi Cai, Wanyue Jiang, Shuzhi Sam Ge ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Social Robotics, ICSR + InnoBiz 2024, held in Shenzhen, China, during September 25–28, 2024.The 36 full papers included in this book were carefully reviewed and selected from 82 submissions. The theme of this year’s conference was “Social Robotics: Embracing Innovation for Business”, focusing on recent ... Read more

$76.99 USD

This book constitutes the refereed proceedings of the 16th International Conference on Social Robotics, ICSR + InnoBiz 2024, held in Shenzhen, China, during September 25–28, 2024.The 36 full papers included in this book were carefully reviewed and selected from 82 submissions. The theme of this year’s conference was “Social Robotics: Embracing Innovation for Business”, focusing on recent
... Read more
Design for Impact

Your Guide to Designing Effective Product Experiments

by Erin Weigel ...

Design for Impact is a down–to–earth A/B testing guide. It features the Conversion Design process to operationalize effective experimentation in your company. In it, Erin Weigel gives you practical tips and tools to design better experiments at scale. She does this with self–deprecating humor that will leave you smiling—if not laughing aloud. As a bonus, The Good Experimental Design toolkit ... Read more

$30.99 USD

Design for Impact is a down–to–earth A/B testing guide. It features the Conversion Design process to operationalize effective experimentation in your company. In it, Erin Weigel gives you practical tips and tools to design better experiments at scale. She does this with self–deprecating humor that will leave you smiling—if not laughing aloud. As a bonus, The Good Experimental Design toolkit
... Read more
The AI Ecosystems Revolution

Transforming the Global Supply Chain through Real-Time Collaboration

by Joe Hudicka ...

“[Joe Hudicka] is one of the pioneering voices in AI innovations that should be taken seriously."— The Book CommentaryThe global supply chain isn’t what it used to be, and the COVID-19 pandemic taught us all about it. Whether it was the lack of toilet paper in stores or the cargo containers sitting unloaded on docks, we all learned the hard way that what we were doing wasn’t working. Things needed ... Read more

$9.99 USD

“[Joe Hudicka] is one of the pioneering voices in AI innovations that should be taken seriously."— The Book CommentaryThe global supply chain isn’t what it used to be, and the COVID-19 pandemic taught us all about it. Whether it was the lack of toilet paper in stores or the cargo containers sitting unloaded on docks, we all learned the hard way that what we were doing wasn’t working. Things needed
... Read more
Agents and Multi-Agent Systems: Technologies and Applications 2020

14th KES International Conference, KES-AMSTA 2020, June 2020 Proceedings

Edited by G. Jezic, J. Chen-Burger, M. Kusek, R. Sperka, Robert J. Howlett, Lakhmi C. Jain ...

Series series Springer Nature Proceedings excluding Computer Science
The book highlights new trends and challenges in research on agents and the new digital and knowledge economy. It includes papers on business process management, agent-based modeling and simulation and anthropic-oriented computing that were originally presented at the 14th International KES Conference on Agents and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2020), being held as ... Read more

$143.99 USD

The book highlights new trends and challenges in research on agents and the new digital and knowledge economy. It includes papers on business process management, agent-based modeling and simulation and anthropic-oriented computing that were originally presented at the 14th International KES Conference on Agents and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2020), being held as
... Read more
Games and Learning Alliance

12th International Conference, GALA 2023, Dublin, Ireland, November 29 – December 1, 2023, Proceedings

Edited by Pierpaolo Dondio, Mariana Rocha, Attracta Brennan, Avo Schönbohm, Francesca de Rosa, Antti Koskinen, Francesco Bellotti ...

Series series Springer Nature Proceedings Computer Science
This LNCS volume constitutes the proceedings of 12th International Conference, GALA 2023, in Dublin, Ireland, held during November/December 2023.The 36 full papers and 13 short papers were carefully reviewed and selected from 88 submissions. The papers contained in this book have been organized into six categories, reflecting the variety of theoretical approaches and application domains of ... Read more

$107.99 USD

This LNCS volume constitutes the proceedings of 12th International Conference, GALA 2023, in Dublin, Ireland, held during November/December 2023.The 36 full papers and 13 short papers were carefully reviewed and selected from 88 submissions. The papers contained in this book have been organized into six categories, reflecting the variety of theoretical approaches and application domains of
... Read more
Uczenie Maszynowe W Akcji

Przewodnik Dla Laików

by Alan T. Norman ...

Translated by Krzysztof Zacharski ...

Czy szukasz książki, która pozwoli Ci zapoznać się z podstawowymi pojęciami uczenia maszynowego? Moja książka wyjaśni Ci podstawowe pojęcia w sposób, który jest łatwy do zrozumienia. Po przeczytaniu tej książki, będziesz miał solidny chwyt na podstawowe zasady, które ułatwią krok do bardziej zaawansowanej książki, jeśli chcesz dowiedzieć się więcej.Czy szukasz książki, która pozwoli Ci zapoznać ... Read more

$3.99 USD or Free with Kobo Plus

Czy szukasz książki, która pozwoli Ci zapoznać się z podstawowymi pojęciami uczenia maszynowego? Moja książka wyjaśni Ci podstawowe pojęcia w sposób, który jest łatwy do zrozumienia. Po przeczytaniu tej książki, będziesz miał solidny chwyt na podstawowe zasady, które ułatwią krok do bardziej zaawansowanej książki, jeśli chcesz dowiedzieć się więcej.Czy szukasz książki, która pozwoli Ci zapoznać
... Read more
Automatic Re-engineering of Software Using Genetic Programming

by Conor Ryan ...

Series series Computer Science (R0)
Automatic Re-engineering of Software Using Genetic Programming describes the application of Genetic Programming to a real world application area - software re-engineering in general and automatic parallelization specifically. Unlike most uses of Genetic Programming, this book evolves sequences of provable transformations rather than actual programs. It demonstrates that the benefits of this ... Read more

$89.99 USD

Automatic Re-engineering of Software Using Genetic Programming describes the application of Genetic Programming to a real world application area - software re-engineering in general and automatic parallelization specifically. Unlike most uses of Genetic Programming, this book evolves sequences of provable transformations rather than actual programs. It demonstrates that the benefits of this
... 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: