Rakuten Kobo

Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Edición de John P. Gallagher, Martin Sulzmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on ... Leer más

$49.99 USD

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on
... Leer más
Deep Learning Cookbook

Practical Recipes to Get Started Quickly

de Douwe Osinga ...

Deep learning doesn’t have to be intimidating. Until recently, this machine-learning method required years of study, but with frameworks such as Keras and Tensorflow, software engineers without a background in machine learning can quickly enter the field. With the recipes in this cookbook, you’ll learn how to solve deep-learning problems for classifying and generating text, images, and music.Each ... Leer más

$36.99 USD

Deep learning doesn’t have to be intimidating. Until recently, this machine-learning method required years of study, but with frameworks such as Keras and Tensorflow, software engineers without a background in machine learning can quickly enter the field. With the recipes in this cookbook, you’ll learn how to solve deep-learning problems for classifying and generating text, images, and music.Each
... Leer más
Knowledge-Based Software Engineering: 2022

Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022

Edición de Maria Virvou, Takuya Saruwatari, Lakhmi C. Jain ...

Series series Springer Nature Proceedings excluding Computer Science
This book contains extended versions of the works and new research results presented at the 14th International Joint Conference on Knowledge-based Software Engineering (JCKBSE2022). JCKBSE2022 was originally planned to take place in Larnaca, Cyprus. Unfortunately, the COVID-19 pandemic forced it to be rescheduled as an online conference.JCKBSE is a well-established international biennial ... Leer más

$215.99 USD

This book contains extended versions of the works and new research results presented at the 14th International Joint Conference on Knowledge-based Software Engineering (JCKBSE2022). JCKBSE2022 was originally planned to take place in Larnaca, Cyprus. Unfortunately, the COVID-19 pandemic forced it to be rescheduled as an online conference.JCKBSE is a well-established international biennial
... Leer más
Advanced HDL Synthesis and SOC Prototyping

RTL Design Using Verilog

de Vaibbhav Taraate ...

This book describes RTL design using Verilog, synthesis and timing closure for System On Chip (SOC) design blocks. It covers the complex RTL design scenarios and challenges for SOC designs and provides practical information on performance improvements in SOC, as well as Application Specific Integrated Circuit (ASIC) designs. Prototyping using modern high density Field Programmable Gate Arrays ... Leer más

$170.99 USD

This book describes RTL design using Verilog, synthesis and timing closure for System On Chip (SOC) design blocks. It covers the complex RTL design scenarios and challenges for SOC designs and provides practical information on performance improvements in SOC, as well as Application Specific Integrated Circuit (ASIC) designs. Prototyping using modern high density Field Programmable Gate Arrays
... Leer más
Ageing and Digital Technology

Designing and Evaluating Emerging Technologies for Older Adults

Edición de Barbara Barbosa Neves, Frank Vetere ...

This book brings together Sociologists, Computer Scientists, Applied Scientists and Engineers to explore the design, implementation and evaluation of emerging technologies for older people. It offers an innovative and comprehensive overview, not only of the rapidly developing suite of current digital technologies and platforms, but also of perennial theoretical, methodological and ethical issues. ... Leer más

$134.99 USD

This book brings together Sociologists, Computer Scientists, Applied Scientists and Engineers to explore the design, implementation and evaluation of emerging technologies for older people. It offers an innovative and comprehensive overview, not only of the rapidly developing suite of current digital technologies and platforms, but also of perennial theoretical, methodological and ethical issues.
... Leer más
Modelling Foundations and Applications

14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Edición de Alfonso Pierantonio, Salvador Trujillo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering, ... Leer más

$49.99 USD

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering,
... Leer más
Dynamic Data-Driven Environmental Systems Science

First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers

Edición de Sai Ravela, Adrian Sandu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the First International Conference on Dynamic Data-Driven Environmental Systems Science, DyDESS 2014, held in Cambridge, MA, USA, in November 2014.The 24 revised full papers and 7 short papers were carefully reviewed and selected from 62 submissions and cover topics on sensing, imaging and retrieval for the oceans, atmosphere, space, land, earth ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the First International Conference on Dynamic Data-Driven Environmental Systems Science, DyDESS 2014, held in Cambridge, MA, USA, in November 2014.The 24 revised full papers and 7 short papers were carefully reviewed and selected from 62 submissions and cover topics on sensing, imaging and retrieval for the oceans, atmosphere, space, land, earth
... Leer más
Cybersecurity Principles for Fraud Detection

Enterprise Systems, Secure Payments, and Database Resilience

de Kolawole Olakojo ...

Cybersecurity Principles for Fraud Detection: Enterprise Systems, Secure Payments, and Database Resilience addresses the critical challenge of protecting modern enterprises in an increasingly interconnected and vulnerable digital landscape. As organizations integrate advanced technologies like AI and automated payment systems, the sophistication of cybercrime has grown into a global industry of ... Leer más

$9.99 USD

Cybersecurity Principles for Fraud Detection: Enterprise Systems, Secure Payments, and Database Resilience addresses the critical challenge of protecting modern enterprises in an increasingly interconnected and vulnerable digital landscape. As organizations integrate advanced technologies like AI and automated payment systems, the sophistication of cybercrime has grown into a global industry of
... Leer más
3D Printing and Ubiquitous Manufacturing

de Tin-Chih Toly Chen ...

Series series Engineering (R0)
This book provides a thorough overview of the applications of 3D printing technologies to ubiquitous manufacturing (UM). UM itself represents an application of ubiquitous computing in the manufacturing sector, and this book reveals how it offers convenient, on-demand network access to a shared pool of configurable manufacturing resources, including software tools, equipment, and capabilities.Given ... Leer más

$49.99 USD

This book provides a thorough overview of the applications of 3D printing technologies to ubiquitous manufacturing (UM). UM itself represents an application of ubiquitous computing in the manufacturing sector, and this book reveals how it offers convenient, on-demand network access to a shared pool of configurable manufacturing resources, including software tools, equipment, and capabilities.Given
... Leer más
Understanding and Improving Information Search

A Cognitive Approach

Edición de Wai Tat Fu, Herre van Oostendorp ...

Series series Computer Science (R0)
This edited book adopts a cognitive perspective to provide breadth and depth to state-of-the-art research related to understanding, analyzing, predicting and improving one of the most prominent and important classes of behavior of modern humans, information search. It is timely as the broader research area of cognitive computing and cognitive technology have recently attracted much attention, and ... Leer más

$152.99 USD

This edited book adopts a cognitive perspective to provide breadth and depth to state-of-the-art research related to understanding, analyzing, predicting and improving one of the most prominent and important classes of behavior of modern humans, information search. It is timely as the broader research area of cognitive computing and cognitive technology have recently attracted much attention, and
... Leer más
Advances in Artificial Intelligence in Manufacturing II

Proceedings of the 2nd European Symposium on Artificial Intelligence in Manufacturing, October 16, 2024, Athens, Greece

Edición de Kosmas Alexopoulos, Sotiris Makris, Panagiotis Stavropoulos ...

Series series Springer Nature Proceedings excluding Computer Science
This open access book reports on recent developments of artificial intelligence applications in the manufacturing industry. Gathering contributions to the second European Symposium on Artificial Intelligence in Manufacturing, held on October 16, 2024, in Athens, Greece, it reports on machine learning, deep learning and generative AI models for process monitoring, optimization, and control, ... Leer más

Gratis

This open access book reports on recent developments of artificial intelligence applications in the manufacturing industry. Gathering contributions to the second European Symposium on Artificial Intelligence in Manufacturing, held on October 16, 2024, in Athens, Greece, it reports on machine learning, deep learning and generative AI models for process monitoring, optimization, and control,
... Leer más
Models, Languages, and Tools for Concurrent and Distributed Programming

Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Edición de Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese ...

Series series Computer Science (R0)
This volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy.The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, ... Leer más

$49.99 USD

This volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy.The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity,
... Leer más
C Recipes

A Problem-Solution Approach

de Shirish Chavan ...

Series series Professional and Applied Computing (R0)
Solve your C programming problems with practical and informative recipes. This book covers various aspects of C programming including the fundamentals of C, operators and expressions, control statements, recursion, and user-defined functions. Each chapter contains a series of recipes that you can easily reference to quickly find the answers you are looking for.C Recipes also contains recipes and ... Leer más

$49.99 USD

Solve your C programming problems with practical and informative recipes. This book covers various aspects of C programming including the fundamentals of C, operators and expressions, control statements, recursion, and user-defined functions. Each chapter contains a series of recipes that you can easily reference to quickly find the answers you are looking for.C Recipes also contains recipes and
... Leer más
Computer Vision and Machine Learning with RGB-D Sensors

Edición de Ling Shao, Jungong Han, Pushmeet Kohli, Zhengyou Zhang ...

Series series Computer Science (R0)
This book presents an interdisciplinary selection of cutting-edge research on RGB-D based computer vision. Features: discusses the calibration of color and depth cameras, the reduction of noise on depth maps and methods for capturing human performance in 3D; reviews a selection of applications which use RGB-D information to reconstruct human figures, evaluate energy consumption and obtain accurate ... Leer más

$49.99 USD

This book presents an interdisciplinary selection of cutting-edge research on RGB-D based computer vision. Features: discusses the calibration of color and depth cameras, the reduction of noise on depth maps and methods for capturing human performance in 3D; reviews a selection of applications which use RGB-D information to reconstruct human figures, evaluate energy consumption and obtain accurate
... Leer más
Learning and Collaboration Technologies

Second International Conference, LCT 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Edición de Panayiotis Zaphiris, Andri Ioannou ...

Series series Springer Nature Proceedings Computer Science
The LNCS volume 9192 constitutes the refereed proceedings of the Second International Conference on Learning and Collaboration Technologies, LCT 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters presented at the ... Leer más

$49.99 USD

The LNCS volume 9192 constitutes the refereed proceedings of the Second International Conference on Learning and Collaboration Technologies, LCT 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters presented at the
... Leer más
Workload Characterization for Computer System Design

Edición de Lizy Kurian John, Ann Marie Grizzaffi Maynard ...

Series Libro 542 - The Springer International Series in Engineering and Computer Science
The advent of the world-wide web and web-based applications have dramatically changed the nature of computer applications. Computer system design, in the light of these changes, involves understanding these modem workloads, identifying bottlenecks during their execution, and appropriately tailoring microprocessors, memory systems, and the overall system to minimize bottlenecks. This book contains ... Leer más

$89.99 USD

The advent of the world-wide web and web-based applications have dramatically changed the nature of computer applications. Computer system design, in the light of these changes, involves understanding these modem workloads, identifying bottlenecks during their execution, and appropriately tailoring microprocessors, memory systems, and the overall system to minimize bottlenecks. This book contains
... Leer más
Online Harassment

Edición de Jennifer Golbeck ...

Series series Computer Science (R0)
Online Harassment is one of the most serious problems in social media. To address it requires understanding the forms harassment takes, how it impacts the targets, who harasses, and how technology that stands between users and social media can stop harassers and protect users. The field of Human-Computer Interaction provides a unique set of tools to address this challenge. This book brings ... Leer más

$89.99 USD

Online Harassment is one of the most serious problems in social media. To address it requires understanding the forms harassment takes, how it impacts the targets, who harasses, and how technology that stands between users and social media can stop harassers and protect users. The field of Human-Computer Interaction provides a unique set of tools to address this challenge. This book brings
... Leer más
Human-Computer Interaction. User Interface Design, Development and Multimodality

19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Edición de Masaaki Kurosu ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017.The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts ... Leer más

$49.99 USD

The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017.The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts
... Leer más
Human-Computer Interaction: Interaction Technologies

17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part II

Edición de Masaaki Kurosu ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions. These papers address the latest research and development ... Leer más

$49.99 USD

The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions. These papers address the latest research and development
... Leer más
Creating Maintainable APIs

A Practical, Case-Study Approach

de Ervin Varga ...

Series series Professional and Applied Computing (R0)
Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message ... Leer más

$44.99 USD

Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message
... Leer más
Ant: The Definitive Guide

Complete Build Management for Java

de Steve Holzner ...

Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full ... Leer más

$25.99 USD

Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full
... Leer más
Distributed, Ambient and Pervasive Interactions

13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I

Edición de Norbert A. Streitz, Shin'ichi Konomi ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 15802-15803 constitutes the refereed proceedings of the 13th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was ... Leer más

$71.99 USD

This two-volume set LNCS 15802-15803 constitutes the refereed proceedings of the 13th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was
... Leer más
Virtual Worlds as Philosophical Tools

How to Philosophize with a Digital Hammer

de Stefano Gualeni ...

Series series Philosophy and Religion (R0)
Who are we in simulated worlds? Will experiencing worlds that are not 'actual' change our ways of structuring thought? Can virtual worlds open up new possibilities to philosophize? Virtual Worlds as Philosophical Tools tries to answer these questions from a perspective that combines philosophy of technology with videogame design. ... Leer más

$89.99 USD

Who are we in simulated worlds? Will experiencing worlds that are not 'actual' change our ways of structuring thought? Can virtual worlds open up new possibilities to philosophize? Virtual Worlds as Philosophical Tools tries to answer these questions from a perspective that combines philosophy of technology with videogame design.
... Leer más
Fuzzy Sets and Systems I

An Introduction with Cases from Business Informatics, Computer Science and Engineering

Edición de Edy Portmann, Gwendolin Wilke, Luis Terán, Sara D'Onofrio ...

Series series Business and Management (R0)
In an era where digital transformation demands ethical foresight and human-centered design, this first volume of a comprehensive trilogy explores how individuals can navigate complexity through responsible technological engagement. By integrating design science research with fuzzy systems theory, it offers a foundation for embedding ethical behavior and sustainable thinking into personal decision ... Leer más

$89.99 USD

In an era where digital transformation demands ethical foresight and human-centered design, this first volume of a comprehensive trilogy explores how individuals can navigate complexity through responsible technological engagement. By integrating design science research with fuzzy systems theory, it offers a foundation for embedding ethical behavior and sustainable thinking into personal decision
... 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: