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

Edición de Tiziana Margaria, Bernhard Steffen ...

Series Libro 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 ... Leer más

$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
... Leer más
New Data Structures and Algorithms for Logic Synthesis and Verification

de 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, ... Leer más

$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,
... Leer más
Elasticsearch 7 Quick Start Guide

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

de 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 ... Leer más

$22.99 USD o gratis con 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
... Leer más
R Cookbook

Proven Recipes for Data Analysis, Statistics, and Graphics

de 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 ... Leer más

$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
... Leer más
Introduction to Logic Circuits & Logic Design with VHDL

de Brock J. LaMeres ...

Series series Engineering (R0)
This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) ... Leer más

$49.99 USD

This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL)
... Leer más
Euro-Par 2017: Parallel Processing Workshops

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

Edición de 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 ... Leer más

$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
... Leer más
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

Edición de 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 ... Leer más

$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
... Leer más
Semantic AI in Knowledge Graphs

Edición de 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 ... Leer más

$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
... Leer más
Autonomous Driving and Advanced Driver-Assistance Systems (ADAS)

Applications, Development, Legal Issues, and Testing

Edición de 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 ... Leer más

$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
... Leer más
Artificial Intelligence Paradigms for Application Practice

de 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. ... Leer más

$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.
... Leer más
A Tour of Data Science

Learn R and Python in Parallel

de 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 ... Leer más

$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
... Leer más
Undocumented Secrets of MATLAB-Java Programming

de 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 ... Leer más

$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
... Leer más
Decision Support System

Tools and Techniques

de Susmita Bandyopadhyay ...

This book presents different tools and techniques used for Decision Support Systems (DSS), including decision tree and table, and their modifications, multi-criteria decision analysis techniques, network tools of decision support, and various case-based reasoning methods supported by examples and case studies. Latest developments for each of the techniques have been discussed separately, and ... Leer más

$77.99 USD

This book presents different tools and techniques used for Decision Support Systems (DSS), including decision tree and table, and their modifications, multi-criteria decision analysis techniques, network tools of decision support, and various case-based reasoning methods supported by examples and case studies. Latest developments for each of the techniques have been discussed separately, and
... Leer más
Data Science with Semantic Technologies

Deployment and Exploration

Edición de 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 ... Leer más

$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
... Leer más
AI Warfighting

Transforming Combat Operations for the Digital Age

de Matthew Moellering, Genna Moellering ...

Series series Association of the United States Army
AI Warfighting argues that the side that wins future wars won’t be the one with the most advanced weapons, but the one that can update, adapt, and fight at the speed of software—and shows how militaries must reorganize now to do exactly that. Drawing on real-world combat experience and lessons from Ukraine, it stands apart from other AI-and-war titles by offering a clear, practical framework for ... Leer más

$32.99 USD

PEDIDO ANTICIPADO

AI Warfighting argues that the side that wins future wars won’t be the one with the most advanced weapons, but the one that can update, adapt, and fight at the speed of software—and shows how militaries must reorganize now to do exactly that. Drawing on real-world combat experience and lessons from Ukraine, it stands apart from other AI-and-war titles by offering a clear, practical framework for
... Leer más
Intelligent Systems for Engineers and Scientists

A Practical Guide to Artificial Intelligence

de 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 ... Leer más

$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
... Leer más
Patterns of Data Modeling

de 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 ... Leer más

$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
... Leer más
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

Edición de Helmut Degen, Stavroula Ntoa ...

Series Libro 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 ... Leer más

$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
... Leer más
Digital Personality

A Man Forever Volume 2: Technical Aspects

de 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 ... Leer más

$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
... Leer más
Introduction to Compiler Construction in a Java World

de 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 ... Leer más

$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
... Leer más
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

Edición de Pei-Luen Patrick Rau ...

Series Libro 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. ... Leer más

$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.
... Leer más
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

Edición de Hirohiko Mori, Yumi Asahi ...

Series Libro 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 ... Leer más

$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
... Leer más
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

Edición de Masaaki Kurosu, Ayako Hashizume ...

Series Libro 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 ... Leer más

$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
... Leer más
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

Edición de Helmut Degen, Stavroula Ntoa ...

Series Libro 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 ... Leer más

$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
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Programación

Mostrar: