Rakuten Kobo

Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Edited by Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions.
... Read more
Svelte 3 Up and Running

A fast-paced introductory guide to building high-performance web applications with SvelteJS

by Alessandro Segala ...

Build your first web project using the Svelte framework and deploy it in the cloud with automated testing and CI/CDKey FeaturesA practical guide to building production-ready static web apps with Svelte 3Build faster and leaner frontend and static web apps using the JAMstackDeploy your Svelte 3 app to production using cloud services and DevOps principles such as automated testing and CI/CDBook ... Read more

$22.99 USD or Free with Kobo Plus

Build your first web project using the Svelte framework and deploy it in the cloud with automated testing and CI/CDKey FeaturesA practical guide to building production-ready static web apps with Svelte 3Build faster and leaner frontend and static web apps using the JAMstackDeploy your Svelte 3 app to production using cloud services and DevOps principles such as automated testing and CI/CDBook
... Read more
Interactive Media: The Semiotics of Embodied Interaction

by Shaleph O'Neill ...

Series series Computer Science (R0)
The author discusses the existing theoretical approaches of semiotically informed research in HCI, what is useful and the limitations. He proposes a radical rethink to this approach through a re-evaluation of important semiotic concepts and applied semiotic methods. Using a semiotic model of interaction he explores this concept through several studies that help to develop his argument.He concludes ... Read more

$49.99 USD

The author discusses the existing theoretical approaches of semiotically informed research in HCI, what is useful and the limitations. He proposes a radical rethink to this approach through a re-evaluation of important semiotic concepts and applied semiotic methods. Using a semiotic model of interaction he explores this concept through several studies that help to develop his argument.He concludes
... Read more
Quick Clojure

Effective Functional Programming

by Mark McDonnell ...

Series series Professional and Applied Computing (R0)
Get up to speed with Clojure in this quick and practical primer. You'll learn the nuts and bolts of functional programming, data structures, sequences, destructuring, pattern matching, polymorphism, concurrency, conventions, and more. Author Mark McDonnell talks about organization with namespaces; how to change the language via macros; object-oriented programming; and creating command-line apps. ... Read more

$31.99 USD

Get up to speed with Clojure in this quick and practical primer. You'll learn the nuts and bolts of functional programming, data structures, sequences, destructuring, pattern matching, polymorphism, concurrency, conventions, and more. Author Mark McDonnell talks about organization with namespaces; how to change the language via macros; object-oriented programming; and creating command-line apps.
... Read more
Multi-Agent Systems

16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Edited by Marija Slavkovik ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018.The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent ... Read more

$49.99 USD

This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018.The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent
... Read more
Computer Vision, Imaging and Computer Graphics Theory and Applications

18th International Joint Conference on Computer Vision, Imaging and Computer Graphics, VISIGRAPP 2023, Lisbon, Portugal, February 19–21, 2023, Revised Selected Papers

Edited by A. Augusto de Sousa, Thomas Bashford-Rogers, Alexis Paljic, Mounia Ziat, Christophe Hurter, Helen Purchase, Petia Radeva, Giovanni Maria Farinella, Kadi Bouatouch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2023, held in Lisbon, Portugal, during February 19–21, 2023.The 17 revised full papers presented were carefully selected from 395 submissions. VISIGRAPP aims to bring together researchers and practitioners ... Read more

Was $143.99 USD Now $80.99 USD

This book constitutes the refereed post-conference proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2023, held in Lisbon, Portugal, during February 19–21, 2023.The 17 revised full papers presented were carefully selected from 395 submissions. VISIGRAPP aims to bring together researchers and practitioners
... Read more
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning

17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28–30, 2024, Proceedings

Edited by Zsuzsa Pluhár, Bence Gaál ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28–30, 2024.The 14 full papers presented were carefully reviewed and selected from 42 submissions. The papers cover the following topics: curricula and computer science concepts; problem solving, ... Read more

$53.99 USD

This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28–30, 2024.The 14 full papers presented were carefully reviewed and selected from 42 submissions. The papers cover the following topics: curricula and computer science concepts; problem solving,
... Read more
Data Ingestion with Python Cookbook

A practical guide to ingesting, monitoring, and identifying errors in the data ingestion process

by Gláucia Esppenchutz ...

Deploy your data ingestion pipeline, orchestrate, and monitor efficiently to prevent loss of data and qualityKey FeaturesHarness best practices to create a Python and PySpark data ingestion pipelineSeamlessly automate and orchestrate your data pipelines using Apache AirflowBuild a monitoring framework by integrating the concept of data observability into your pipelinesBook DescriptionData ... Read more

$30.99 USD or Free with Kobo Plus

Deploy your data ingestion pipeline, orchestrate, and monitor efficiently to prevent loss of data and qualityKey FeaturesHarness best practices to create a Python and PySpark data ingestion pipelineSeamlessly automate and orchestrate your data pipelines using Apache AirflowBuild a monitoring framework by integrating the concept of data observability into your pipelinesBook DescriptionData
... Read more
Computer Vision – ECCV 2024

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

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

Series Book 16 - 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
Information and Communication Technologies for Ageing Well and e-Health

4th International Conference, ICT4AWE 2018, Funchal, Madeira, Portugal, March 22–23, 2018, Revised Selected Papers

Edited by Panagiotis D. Bamidis, Martina Ziefle, Leszek A. Maciaszek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the third International Conference on Communication Technologies for Ageing Well and e-Health, ICT4AWE 2018, held in Funchal, Madeira, Portugal in March 2018.The 10 full papers presented were carefully reviewed and selected from 32 submissions. The papers aim at contributing to the understanding of relevant trends of current research on ... Read more

$49.99 USD

This book constitutes the thoroughly refereed proceedings of the third International Conference on Communication Technologies for Ageing Well and e-Health, ICT4AWE 2018, held in Funchal, Madeira, Portugal in March 2018.The 10 full papers presented were carefully reviewed and selected from 32 submissions. The papers aim at contributing to the understanding of relevant trends of current research on
... Read more
Augmented Cognition

19th International Conference, AC 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II

Edited by Dylan D. Schmorrow, Cali M. Fidopiastis ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two volume set LNAI 15778 and LNAI 15779 constitutes the refereed proceedings of the 19th International Conference on Augmented Cognition, AC 2025, held as part of the 27th HCI International Conference, HCII 2025, which took place in Gothenburg, Sweden, June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and selected from 7972 ... Read more

$62.99 USD

The two volume set LNAI 15778 and LNAI 15779 constitutes the refereed proceedings of the 19th International Conference on Augmented Cognition, AC 2025, held as part of the 27th HCI International Conference, HCII 2025, which took place in Gothenburg, Sweden, June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and selected from 7972
... Read more
Scaling AI

by Sol Rashidi, Steve Klementowski ...

In an era where AI is moving faster than governance, Cyera and Sol Rashidi ( the world's 1st Chief AI Officer) deliver a first of a kind AI governance playbook on how to design and measure AI Governance across enterprises.This e-book introduces:- A 7-phase AI governance framework that unites CDOs, CIO's CTO's, CAIO's and CISO's around one operational language.- practical ROI metrics to quantify ... Read more

$2.99 USD

In an era where AI is moving faster than governance, Cyera and Sol Rashidi ( the world's 1st Chief AI Officer) deliver a first of a kind AI governance playbook on how to design and measure AI Governance across enterprises.This e-book introduces:- A 7-phase AI governance framework that unites CDOs, CIO's CTO's, CAIO's and CISO's around one operational language.- practical ROI metrics to quantify
... Read more
Leveraging Computer Vision to Biometric Applications

Edited by Arvind Selwal, Deepika Sharma, Mukesh Mann, Sudeshna Chakraborty, Valentina E. Balas, Ouh Eng Lieh ...

Series series Chapman & Hall/Distributed Computing and Intelligent Data Analytics Series
Computer vision is an effective solution in a diverse range of real-life applications. With the advent of the machine and deep learning paradigms, this book adopts machine and deep learning algorithms to leverage digital image processing for designing accurate biometrical applications. In this aspect, it presents the advancements made in computer vision to biometric applications design approach ... Read more

$77.99 USD

Computer vision is an effective solution in a diverse range of real-life applications. With the advent of the machine and deep learning paradigms, this book adopts machine and deep learning algorithms to leverage digital image processing for designing accurate biometrical applications. In this aspect, it presents the advancements made in computer vision to biometric applications design approach
... Read more
HTML5 Game Development HOTSHOT

by Makzan ...

With a wide range of projects to build, this step-by-step guide will give you all the tools you need to create a variety of games. Whether you are familiar with the basics of object-oriented programming concepts, are new to HTML game development, or are familiar with just web design, this project-based book will get you up and running in no time. It will teach and inspire you to create great ... Read more

$26.99 USD or Free with Kobo Plus

With a wide range of projects to build, this step-by-step guide will give you all the tools you need to create a variety of games. Whether you are familiar with the basics of object-oriented programming concepts, are new to HTML game development, or are familiar with just web design, this project-based book will get you up and running in no time. It will teach and inspire you to create great
... Read more
Redis Essentials

Harness the power of Redis to integrate and manage your projects efficiently

by Maxwell Dayvson da Silva ...

Harness the power of Redis to integrate and manage your projects efficiently Key FeaturesBook DescriptionRedis is the most popular in-memory key-value data store. It's very lightweight and its data types give it an edge over the other competitors. If you need an in-memory database or a high-performance cache system that is simple to use and highly scalable, Redis is what you need. Redis Essentials ... Read more

$34.99 USD or Free with Kobo Plus

Harness the power of Redis to integrate and manage your projects efficiently Key FeaturesBook DescriptionRedis is the most popular in-memory key-value data store. It's very lightweight and its data types give it an edge over the other competitors. If you need an in-memory database or a high-performance cache system that is simple to use and highly scalable, Redis is what you need. Redis Essentials
... Read more
Big Data

Edited by Benoit Leclerc, Jesse Cale ...

Series series Criminology at the Edge
The internet has launched the world into an era into which enormous amounts of data aregenerated every day through technologies with both positive and negative consequences.This often refers to big data . This book explores big data in organisations operating in thecriminology and criminal justice fields.Big data entails a major disruption in the ways we think about and do things, whichcertainly ... Read more

$62.99 USD

The internet has launched the world into an era into which enormous amounts of data aregenerated every day through technologies with both positive and negative consequences.This often refers to big data . This book explores big data in organisations operating in thecriminology and criminal justice fields.Big data entails a major disruption in the ways we think about and do things, whichcertainly
... Read more
Artificial Intelligence and Expert Systems for Engineers

by C.S. Krishnamoorthy, S. Rajeev ...

Series series New Directions in Civil Engineering
This book provides a comprehensive presentation of artificial intelligence (AI) methodologies and tools valuable for solving a wide spectrum of engineering problems. What's more, it offers these AI tools on an accompanying disk with easy-to-use software. Artificial Intelligence and Expert Systems for Engineers details the AI-based methodologies known as: Knowledge-Based Expert Systems (KBES); ... Read more

$280.99 USD

This book provides a comprehensive presentation of artificial intelligence (AI) methodologies and tools valuable for solving a wide spectrum of engineering problems. What's more, it offers these AI tools on an accompanying disk with easy-to-use software. Artificial Intelligence and Expert Systems for Engineers details the AI-based methodologies known as: Knowledge-Based Expert Systems (KBES);
... Read more
Applications and Innovations in Expert Systems VI

Proceedings of ES98, the Eighteenth Annual International Conference of the British Computer Society Specialist Group on Expert Systems, Cambridge, December 1998

Edited by Ann Macintosh, Robert W. Milne ...

Series series Computer Science (R0)
R. MILNE Intelligent Applications Ltd The papers in this volume are the Application Papers presented at ES98, the Eighteenth International Conference of the British Computer Society's Specialist Group on Expert Systems. This year has been yet another "applications" success for the conference with this volume containing seventeen papers describing either deployed applications or emerging ... Read more

$89.09 USD

R. MILNE Intelligent Applications Ltd The papers in this volume are the Application Papers presented at ES98, the Eighteenth International Conference of the British Computer Society's Specialist Group on Expert Systems. This year has been yet another "applications" success for the conference with this volume containing seventeen papers describing either deployed applications or emerging
... Read more
Computer Analysis of Human Behavior

Edited by Albert Ali Salah, Theo Gevers ...

Series series Computer Science (R0)
This book provides a broad survey of advanced pattern recognition techniques for human behavior analysis. Clearly structured, the book begins with concise coverage of the major concepts, before introducing the most frequently used techniques and algorithms in detail, and then discussing examples of real applications. Features: contains contributions from an international selection of experts in ... Read more

$49.49 USD

This book provides a broad survey of advanced pattern recognition techniques for human behavior analysis. Clearly structured, the book begins with concise coverage of the major concepts, before introducing the most frequently used techniques and algorithms in detail, and then discussing examples of real applications. Features: contains contributions from an international selection of experts in
... Read more
Learning Network Services for Professional Development

Edited by Rob Koper ...

Series series Computer Science (R0)
A "Learning Network" is a community of people who help each other to better understand and handle certain events and concepts in work or life. As a result – and sometimes also as an aim – participating in learning networks stimulates personal development, a better understanding of concepts and events, career development, and employability. "Learning Network Services" are Web services that are ... Read more

$49.49 USD

A "Learning Network" is a community of people who help each other to better understand and handle certain events and concepts in work or life. As a result – and sometimes also as an aim – participating in learning networks stimulates personal development, a better understanding of concepts and events, career development, and employability. "Learning Network Services" are Web services that are
... Read more
Intuitive Interaction

Research and Application

Edited by Alethea Blackler ...

This book explores recent research in intuitive interaction worldwide by a range of leading academics and practitioners in the field. It builds on past work as it ventures into new areas, such as how users perceive intuitiveness of an interface, how people experience intuitive interaction subjectively, and how we can use such understanding to design more engaging experiences. The book addresses ... Read more

$77.99 USD

This book explores recent research in intuitive interaction worldwide by a range of leading academics and practitioners in the field. It builds on past work as it ventures into new areas, such as how users perceive intuitiveness of an interface, how people experience intuitive interaction subjectively, and how we can use such understanding to design more engaging experiences. The book addresses
... Read more
Computer Algebra in Scientific Computing

18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016.The 32 papers presented in this volume were carefully reviewed and selected from 39 submissions. They deal with cutting-edge research in all major disciplines of Computer Algebra. ... Read more

$49.49 USD

This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016.The 32 papers presented in this volume were carefully reviewed and selected from 39 submissions. They deal with cutting-edge research in all major disciplines of Computer Algebra.
... Read more
Extended Reality

International Conference, XR Salento 2025, Otranto, Italy, June 17–20, 2025, Proceedings, Part II

Edited by Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco ...

Series Book 2 - Springer Nature Proceedings Computer Science
The seven-volume set LNCS 15737-15743 constitutes the proceedings of the International Conference on Extended Reality, XR Salento 2025, held in Otranto, Italy, during June 17-20, 2025.The 128 full papers presented together with 65 short papers were carefully reviewed and selected from 256 submissions. The papers are organized in the following topical sections:Part I: Virtual Reality; and Augmented ... Read more

$71.99 USD

The seven-volume set LNCS 15737-15743 constitutes the proceedings of the International Conference on Extended Reality, XR Salento 2025, held in Otranto, Italy, during June 17-20, 2025.The 128 full papers presented together with 65 short papers were carefully reviewed and selected from 256 submissions. The papers are organized in the following topical sections:Part I: Virtual Reality; and Augmented
... Read more
Usability and Internationalization of Information Technology

Edited by Nuray Aykin ...

Series series Human Factors and Ergonomics
Today, more and more Web sites are providing content in multiple languages for targeted countries, and more and more products are being designed for cultural differences in mind. However, the concept of cross-cultural design has not yet become a strong force in the practitioners' and educators' agenda. This book looks at techniques, software, tools ... Read more

$110.99 USD

Today, more and more Web sites are providing content in multiple languages for targeted countries, and more and more products are being designed for cultural differences in mind. However, the concept of cross-cultural design has not yet become a strong force in the practitioners' and educators' agenda. This book looks at techniques, software, tools
... 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: