Rakuten Kobo

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Read more

$49.99 USD

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each
... Read more
New Data Structures and Algorithms for Logic Synthesis and Verification

by Luca Gaetano Amaru ...

Series series Engineering (R0)
This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, ... Read more

$49.99 USD

This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation,
... Read more
Elasticsearch 7 Quick Start Guide

Get up and running with the distributed search and analytics capabilities of Elasticsearch

by Anurag Srivastava, Douglas Miller ...

Get the most out of Elasticsearch 7's new features to build, deploy, and manage efficient applicationsKey FeaturesDiscover the new features introduced in Elasticsearch 7Explore techniques for distributed search, indexing, and clusteringGain hands-on knowledge of implementing Elasticsearch for your enterpriseBook DescriptionElasticsearch is one of the most popular tools for distributed search and ... Read more

$22.99 USD or Free with Kobo Plus

Get the most out of Elasticsearch 7's new features to build, deploy, and manage efficient applicationsKey FeaturesDiscover the new features introduced in Elasticsearch 7Explore techniques for distributed search, indexing, and clusteringGain hands-on knowledge of implementing Elasticsearch for your enterpriseBook DescriptionElasticsearch is one of the most popular tools for distributed search and
... Read more
R Cookbook

Proven Recipes for Data Analysis, Statistics, and Graphics

by JD Long, Paul Teetor ...

Perform data analysis with R quickly and efficiently with more than 275 practical recipes in this expanded second edition. The R language provides everything you need to do statistical work, but its structure can be difficult to master. These task-oriented recipes make you productive with R immediately. Solutions range from basic tasks to input and output, general statistics, graphics, and linear ... Read more

$48.99 USD

Perform data analysis with R quickly and efficiently with more than 275 practical recipes in this expanded second edition. The R language provides everything you need to do statistical work, but its structure can be difficult to master. These task-oriented recipes make you productive with R immediately. Solutions range from basic tasks to input and output, general statistics, graphics, and linear
... Read more
Euro-Par 2017: Parallel Processing Workshops

Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Edited by Dora B. Heras, Luc Bougé, Gabriele Mencagli, Emmanuel Jeannot, Rizos Sakellariou, Rosa M. Badia, Jorge G. Barbosa, Laura Ricci, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the workshops of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela. Spain in August 2017.The 59 full papers presented were carefully reviewed and selected from 119 submissions.Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed ... Read more

$49.99 USD

This book constitutes the proceedings of the workshops of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela. Spain in August 2017.The 59 full papers presented were carefully reviewed and selected from 119 submissions.Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed
... Read more
Engineering Psychology and Cognitive Ergonomics

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

Edited by Don Harris ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2018, held as part of the 20th International Conference, HCI International 2018, which took place in Las Vegas, Nevada, in July 2018.The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4346 ... Read more

$49.99 USD

This book constitutes the proceedings of the 14th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2018, held as part of the 20th International Conference, HCI International 2018, which took place in Las Vegas, Nevada, in July 2018.The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4346
... Read more
Semantic AI in Knowledge Graphs

Edited by Sanju Tiwari, Fernando Ortiz Rodriguez, Sarra Ben Abbes, Patience Usoro Usip, Rim Hantach ...

Recent combinations of semantic technology and artificial intelligence (AI) present new techniques to build intelligent systems that identify more precise results. Semantic AI in Knowledge Graphs locates itself at the forefront of this novel development, uncovering the role of machine learning to extend the knowledge graphs by graph mapping or corpus-based ontology learning.Securing efficient ... Read more

$73.99 USD

Recent combinations of semantic technology and artificial intelligence (AI) present new techniques to build intelligent systems that identify more precise results. Semantic AI in Knowledge Graphs locates itself at the forefront of this novel development, uncovering the role of machine learning to extend the knowledge graphs by graph mapping or corpus-based ontology learning.Securing efficient
... Read more
Autonomous Driving and Advanced Driver-Assistance Systems (ADAS)

Applications, Development, Legal Issues, and Testing

Edited by Lentin Joseph, Amit Kumar Mondal ...

Series series Chapman & Hall/CRC Artificial Intelligence and Robotics Series
Autonomous Driving and Advanced Driver-Assistance Systems (ADAS): Applications, Development, Legal Issues, and Testing outlines the latest research related to autonomous cars and advanced driver-assistance systems, including the development, testing, and verification for real-time situations of sensor fusion, sensor placement, control algorithms, and computer vision.Features:Co-edited by an ... Read more

$84.99 USD

Autonomous Driving and Advanced Driver-Assistance Systems (ADAS): Applications, Development, Legal Issues, and Testing outlines the latest research related to autonomous cars and advanced driver-assistance systems, including the development, testing, and verification for real-time situations of sensor fusion, sensor placement, control algorithms, and computer vision.Features:Co-edited by an
... Read more
Artificial Intelligence Paradigms for Application Practice

by Shiguo Lian, Zhaoxiang Liu ...

This book proposes practical application paradigms for deep neural networks, aiming to establish best practices for real-world implementation.Over the past decade, deep neural networks have made significant progress. However, effectively applying these networks to solve various practical problems remains challenging, which has limited the widespread application of artificial intelligence. ... Read more

$96.99 USD

This book proposes practical application paradigms for deep neural networks, aiming to establish best practices for real-world implementation.Over the past decade, deep neural networks have made significant progress. However, effectively applying these networks to solve various practical problems remains challenging, which has limited the widespread application of artificial intelligence.
... Read more
A Tour of Data Science

Learn R and Python in Parallel

by Nailong Zhang ...

Series series Chapman & Hall/CRC Data Science Series
A Tour of Data Science: Learn R and Python in Parallel covers the fundamentals of data science, including programming, statistics, optimization, and machine learning in a single short book. It does not cover everything, but rather, teaches the key concepts and topics in Data Science. It also covers two of the most popular programming languages used in Data Science, R and Python, in one source.Key ... Read more

$73.99 USD

A Tour of Data Science: Learn R and Python in Parallel covers the fundamentals of data science, including programming, statistics, optimization, and machine learning in a single short book. It does not cover everything, but rather, teaches the key concepts and topics in Data Science. It also covers two of the most popular programming languages used in Data Science, R and Python, in one source.Key
... Read more
Undocumented Secrets of MATLAB-Java Programming

by Yair M. Altman ...

For a variety of reasons, the MATLAB®-Java interface was never fully documented. This is really quite unfortunate: Java is one of the most widely used programming languages, having many times the number of programmers and programming resources as MATLAB. Also unfortunate is the popular claim that while MATLAB is a fine programming platform for prototyping, it is not suitable for real-world, modern ... Read more

$179.99 USD

For a variety of reasons, the MATLAB®-Java interface was never fully documented. This is really quite unfortunate: Java is one of the most widely used programming languages, having many times the number of programmers and programming resources as MATLAB. Also unfortunate is the popular claim that while MATLAB is a fine programming platform for prototyping, it is not suitable for real-world, modern
... Read more
Data Science with Semantic Technologies

Deployment and Exploration

Edited by Archana Patel, Narayan C. Debnath ...

Gone are the days when data was interlinked with related data by humans and human interpretation was required. Data is no longer just data. It is now considered a Thing or Entity or Concept with meaning, so that a machine not only understands the concept but also extrapolates the way humans do.Data Science with Semantic Technologies: Deployment and Exploration, the second volume of a two-volume ... Read more

$91.99 USD

Gone are the days when data was interlinked with related data by humans and human interpretation was required. Data is no longer just data. It is now considered a Thing or Entity or Concept with meaning, so that a machine not only understands the concept but also extrapolates the way humans do.Data Science with Semantic Technologies: Deployment and Exploration, the second volume of a two-volume
... Read more
Intelligent Systems for Engineers and Scientists

A Practical Guide to Artificial Intelligence

by Adrian A. Hopgood ...

The fourth edition of this bestselling textbook explains the principles of artificial intelligence (AI) and its practical applications. Using clear and concise language, it provides a solid grounding across the full spectrum of AI techniques, so that its readers can implement systems in their own domain of interest.The coverage includes knowledge-based intelligence, computational intelligence ... Read more

$82.99 USD

The fourth edition of this bestselling textbook explains the principles of artificial intelligence (AI) and its practical applications. Using clear and concise language, it provides a solid grounding across the full spectrum of AI techniques, so that its readers can implement systems in their own domain of interest.The coverage includes knowledge-based intelligence, computational intelligence
... Read more
Patterns of Data Modeling

by Michael Blaha ...

Series series Emerging Directions in Database Systems and Applications
Best-selling author and database expert with more than 25 years of experience modeling application and enterprise data, Dr. Michael Blaha provides tried and tested data model patterns, to help readers avoid common modeling mistakes and unnecessary frustration on their way to building effective data models. Unlike the typical methodology book, Patterns of Data Modeling provides advanced techniques ... Read more

$61.99 USD

Best-selling author and database expert with more than 25 years of experience modeling application and enterprise data, Dr. Michael Blaha provides tried and tested data model patterns, to help readers avoid common modeling mistakes and unnecessary frustration on their way to building effective data models. Unlike the typical methodology book, Patterns of Data Modeling provides advanced techniques
... Read more
Artificial Intelligence in HCI

7th International Conference, AI-HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26–31, 2026, Proceedings, Part I

Edited by Helmut Degen, Stavroula Ntoa ...

Series Book 1 - Springer Nature Proceedings Computer Science
The 7th International Conference on Artificial Intelligence in HCI, AI-HCI 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII ... Read more

$98.99 USD

The 7th International Conference on Artificial Intelligence in HCI, AI-HCI 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII
... Read more
Digital Personality

A Man Forever Volume 2: Technical Aspects

by Kuldeep Singh Kaswan, Jagjit Singh Dhatterwal, Anand Nayyar ...

A computer that imbibes human characteristics is considered to have a digital personality. The character is akin to real-life human with his/her distinguishing characteristics such as history, morality, beliefs, abilities, looks, and sociocultural embeddings. It also contains stable personality characteristics; fluctuating emotional, cognitive, SOAR technology, and motivational states. Digital ... Read more

$73.99 USD

A computer that imbibes human characteristics is considered to have a digital personality. The character is akin to real-life human with his/her distinguishing characteristics such as history, morality, beliefs, abilities, looks, and sociocultural embeddings. It also contains stable personality characteristics; fluctuating emotional, cognitive, SOAR technology, and motivational states. Digital
... Read more
Introduction to Compiler Construction in a Java World

by Bill Campbell, Swami Iyer, Bahar Akbal-Delibas ...

Immersing students in Java and the JVM, this text enables a deep understanding of the Java programming language and its implementation. It focuses on design, organization, and testing, helping students learn good software engineering skills and become better programmers. By working with and extending a real, functional compiler, students develop a hands-on appreciation of how compilers work, how ... Read more

$132.99 USD

Immersing students in Java and the JVM, this text enables a deep understanding of the Java programming language and its implementation. It focuses on design, organization, and testing, helping students learn good software engineering skills and become better programmers. By working with and extending a real, functional compiler, students develop a hands-on appreciation of how compilers work, how
... Read more
Cross-Cultural Design

18th International Conference, CCD 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26–31, 2026, Proceedings, Part I

Edited by Pei-Luen Patrick Rau ...

Series Book 1 - Springer Nature Proceedings Computer Science
The 18th International Conference on Cross-Cultural Design, CCD 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII 2026. ... Read more

$80.99 USD

The 18th International Conference on Cross-Cultural Design, CCD 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII 2026.
... Read more
Human Interface and the Management of Information

Thematic Area, HIMI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26–31, 2026, Proceedings, Part I

Edited by Hirohiko Mori, Yumi Asahi ...

Series Book 1 - Springer Nature Proceedings Computer Science
The Human Interface and the Management of Information thematic area, HIMI 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII ... Read more

$67.99 USD

The Human Interface and the Management of Information thematic area, HIMI 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII
... Read more
Human-Computer Interaction

Thematic Area, HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26–31, 2026, Proceedings, Part I

Edited by Masaaki Kurosu, Ayako Hashizume ...

Series Book 1 - Springer Nature Proceedings Computer Science
This book set constitutes the refereed proceedings of the Human-Computer Interaction thematic area of the 28th International Conference on Human-Computer Interaction, HCII 2026, held in Montreal, Canada, during July 26-31, 2026.The HCI Thematic Area constitutes a forum for scientific research and addressing challenging and innovative topics in Human-Computer Interaction theory, methodology and ... Read more

$98.99 USD

This book set constitutes the refereed proceedings of the Human-Computer Interaction thematic area of the 28th International Conference on Human-Computer Interaction, HCII 2026, held in Montreal, Canada, during July 26-31, 2026.The HCI Thematic Area constitutes a forum for scientific research and addressing challenging and innovative topics in Human-Computer Interaction theory, methodology and
... Read more
Artificial Intelligence in HCI

7th International Conference, AI-HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26–31, 2026, Proceedings, Part II

Edited by Helmut Degen, Stavroula Ntoa ...

Series Book 2 - Springer Nature Proceedings Computer Science
The 7th International Conference on Artificial Intelligence in HCI, AI-HCI 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII ... Read more

$98.99 USD

The 7th International Conference on Artificial Intelligence in HCI, AI-HCI 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII
... Read more
Adaptive Enterprise Architecture as Information

Architecting Intelligent Enterprises

by Asif Qumer Gill ...

Series Book 8 - Intelligent Information Systems
This compendium discusses the adaptive enterprise architecture (AEA) as information to support decisions and actions for desired efficiency and innovation (outcomes and impacts). This comprehensive information-driven approach uses data, analytics, and intelligence (AI/ML) for architecting intelligent enterprises.The unique reference text includes practical artefacts and vivid examples based on ... Read more

$62.99 USD

This compendium discusses the adaptive enterprise architecture (AEA) as information to support decisions and actions for desired efficiency and innovation (outcomes and impacts). This comprehensive information-driven approach uses data, analytics, and intelligence (AI/ML) for architecting intelligent enterprises.The unique reference text includes practical artefacts and vivid examples based on
... Read more
Designing Displays for Older Adults, Second Edition

by Richard Pak, Anne McLaughlin ...

Series series Human Factors and Aging Series
This book focuses on the design of displays and user interfaces for the older user. Aging is related to complex mental, physical, and social changes. While conventional wisdom says getting older leads to a decline, the reality is that some capabilities decline with age while others remain stable or increase. This book distills decades of aging research into practical advice on the design of ... Read more

$107.99 USD

This book focuses on the design of displays and user interfaces for the older user. Aging is related to complex mental, physical, and social changes. While conventional wisdom says getting older leads to a decline, the reality is that some capabilities decline with age while others remain stable or increase. This book distills decades of aging research into practical advice on the design of
... Read more
Internet and Modern Society

28th International Conference, IMS 2025, St. Petersburg, Russia, June 23–25, 2025, Proceedings, Part II

Edited by Maxim Bakaev, Radomir Bolgov, Anna Chizhik, Andrei Chugunov, Valeriia Demareva, Yury Kabanov, Roberto Pereira, Elakkiya R., Wei Zhang ...

Series Book 2 - Springer Nature Proceedings Computer Science
This two-set volume CCIS2671 and 2672 book constitutes the proceedings of the 28th International Conference on Internet and Modern Society, IMS 2025, held in St. Petersburg, Russia, during June 23–25, 2025.The 56 full papers and 12 short papers included in these conference proceedings were carefully reviewed and selected from 104 submissions. They are categorized into the following topical ... Read more

$89.99 USD

This two-set volume CCIS2671 and 2672 book constitutes the proceedings of the 28th International Conference on Internet and Modern Society, IMS 2025, held in St. Petersburg, Russia, during June 23–25, 2025.The 56 full papers and 12 short papers included in these conference proceedings were carefully reviewed and selected from 104 submissions. They are categorized into the following topical
... 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: