Rakuten Kobo

Formal Languages and Compilation

by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti ...

Series series Computer Science (R0)
This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown ... Read more

$89.09 USD

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown
... Read more
Trends in Functional Programming

17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Edited by David Van Horn, John Hughes ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming. ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
... Read more
Augmented Cognition: Users and Contexts

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

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

Series Book 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 10915 and 10916 constitutes the refereed proceedings of the 12h International Conference on Augmented Cognition, AC 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018. The 1171 papers presented at HCII 2018 conferences were carefully reviewed and selected from 4346 submissions.The papers ... Read more

$49.49 USD

This two-volume set LNCS 10915 and 10916 constitutes the refereed proceedings of the 12h International Conference on Augmented Cognition, AC 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018. The 1171 papers presented at HCII 2018 conferences were carefully reviewed and selected from 4346 submissions.The papers
... Read more
Biomechanical Biofeedback Systems and Applications

by Anton Kos, Anton Umek ...

Series series Computer Science (R0)
This book deals with the topic of biomechanical biofeedback systems and applications that are primarily aimed at motor learning in sports and rehabilitation. It gives a comprehensive tutorial of the concepts, architectures, operation, and exemplary applications of biomechanical biofeedback systems.A special section is dedicated to various constraints in designing biomechanical biofeedback systems. ... Read more

$80.09 USD

This book deals with the topic of biomechanical biofeedback systems and applications that are primarily aimed at motor learning in sports and rehabilitation. It gives a comprehensive tutorial of the concepts, architectures, operation, and exemplary applications of biomechanical biofeedback systems.A special section is dedicated to various constraints in designing biomechanical biofeedback systems.
... Read more
Algorithms and Architectures for Parallel Processing

18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Edited by Jaideep Vaidya, Jin Li ...

Series Book 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018.The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel ... Read more

$49.49 USD

The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018.The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel
... Read more
Euro-Par 2018: Parallel Processing Workshops

Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Edited by Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio, Emmanuel Jeannot, Felix Wolf, Antonio Salis, Claudio Schifanella, Ravi Reddy Manumachu, Laura Ricci, Marco Beccuti, Laura Antonelli, José Daniel Garcia Sanchez, Stephen L. Scott ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the workshops held at 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, which took place in Turin, Italy, in August 2018.The 64 full papers presented in this volume were carefully reviewed and selected from 109 submissions.Euro-Par is an annual, international conference in Europe, covering all aspects of parallel ... Read more

$89.09 USD

This book constitutes revised selected papers from the workshops held at 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, which took place in Turin, Italy, in August 2018.The 64 full papers presented in this volume were carefully reviewed and selected from 109 submissions.Euro-Par is an annual, international conference in Europe, covering all aspects of parallel
... Read more
Bayesian Analysis with Python

Unleash the power and flexibility of the Bayesian framework

by Osvaldo Martin ...

Unleash the power and flexibility of the Bayesian frameworkKey FeaturesSimplify the Bayes process for solving complex statistical problems using Python;Tutorial guide that will take the you through the journey of Bayesian analysis with the help of sample problems and practice exercises;Learn how and when to use Bayesian analysis in your applications with this guide.Book DescriptionThe purpose of ... Read more

$41.39 USD or Free with Kobo Plus

Unleash the power and flexibility of the Bayesian frameworkKey FeaturesSimplify the Bayes process for solving complex statistical problems using Python;Tutorial guide that will take the you through the journey of Bayesian analysis with the help of sample problems and practice exercises;Learn how and when to use Bayesian analysis in your applications with this guide.Book DescriptionThe purpose of
... Read more
Practical Data Mining Techniques and Applications

Edited by Ketan Shah, Neepa Shah, Vinaya Sawant, Neeraj Parolia ...

Data mining techniques and algorithms are extensively used to build real-world applications. A practical approach can be applied to data mining techniques to build applications. Once deployed, an application enables the developers to work on the users’ goals and mold the algorithms with respect to users’ perspectives.Practical Data Mining Techniques and Applications focuses on various concepts ... Read more

$77.99 USD

Data mining techniques and algorithms are extensively used to build real-world applications. A practical approach can be applied to data mining techniques to build applications. Once deployed, an application enables the developers to work on the users’ goals and mold the algorithms with respect to users’ perspectives.Practical Data Mining Techniques and Applications focuses on various concepts
... Read more
Evaluation of Rail Technology

A Practical Human Factors Guide

by Anjum Naweed, Jillian Dorrian, Janette Rose ...

Series series Human Factors in Road and Rail Transport
Rapid advancements in train control and in-cab technologies provide significant opportunities for rail operators to improve efficiency and enhance their operations. New technologies often provide elegant solutions to existing problems or new capabilities for the operator. However, new technologies may also represent a significant form of risk. Thus, it is important to balance the potential for ... Read more

$84.99 USD

Rapid advancements in train control and in-cab technologies provide significant opportunities for rail operators to improve efficiency and enhance their operations. New technologies often provide elegant solutions to existing problems or new capabilities for the operator. However, new technologies may also represent a significant form of risk. Thus, it is important to balance the potential for
... Read more
Research and Development in Digital Media

by Rae Earnshaw ...

Series series Computer Science (R0)
This book presents an overview of the technical underpinnings in the field of digital media. This includes theory, imaging, big data, interaction, and the research and development that is needed in order to make digital media interfaces more natural and easy to use. Grant funding sources for R & D are detailed and current priority areas are summarized. Developments in the relevant commercial areas ... Read more

$49.99 USD

This book presents an overview of the technical underpinnings in the field of digital media. This includes theory, imaging, big data, interaction, and the research and development that is needed in order to make digital media interfaces more natural and easy to use. Grant funding sources for R & D are detailed and current priority areas are summarized. Developments in the relevant commercial areas
... Read more
Love and Sex with Robots

Second International Conference, LSR 2016, London, UK, December 19-20, 2016, Revised Selected Papers

Edited by Adrian David Cheok, Kate Devlin, David Levy ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Second International Conference on Love and Sex with Robots 2016 in December 2016, in London, UK.The 12 revised papers presented together with 1 keynote were carefully reviewed and selected from a total of 38 submissions.The papers of the Second International Conference have been accepted and reviewed in 2015 but could not be presented as there ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the Second International Conference on Love and Sex with Robots 2016 in December 2016, in London, UK.The 12 revised papers presented together with 1 keynote were carefully reviewed and selected from a total of 38 submissions.The papers of the Second International Conference have been accepted and reviewed in 2015 but could not be presented as there
... Read more
Distributed Caching & Data Management

Mastering Redis, Memcached, And Apache Ignite Caching

by Rob Botwright ...

Supercharge Your Data Systems with Distributed Caching! Unlock the full potential of your applications with "Distributed Caching & Data Management: Mastering Redis, Memcached, and Apache Ignite". This 3-in-1 guide equips you with the essential tools to optimize performance, scalability, and data management for real-time applications.What's Inside? Book 1: Mastering Redis and Memcached for Re... ... Read more

$4.99 USD or Free with Kobo Plus

Supercharge Your Data Systems with Distributed Caching! Unlock the full potential of your applications with "Distributed Caching & Data Management: Mastering Redis, Memcached, and Apache Ignite". This 3-in-1 guide equips you with the essential tools to optimize performance, scalability, and data management for real-time applications.What's Inside? Book 1: Mastering Redis and Memcached for Re...
... Read more
Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Edited by Wolfgang Ahrendt, Heike Wehrheim ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in
... Read more
Vue.js 3 By Example

Blueprints to learn Vue web development, full-stack development, and cross-platform development quickly

by John Au-Yeung ...

Kick-start your Vue.js development career by learning the fundamentals of Vue 3 and its integration with modern web technologies such as Electron, GraphQL, Ionic, and LaravelKey FeaturesDownload complete source code for all Vue.js projects built throughout the bookDiscover steps to build production-ready Vue.js apps across web, mobile, and desktopBuild a compelling portfolio of web apps, including ... Read more

$27.99 USD or Free with Kobo Plus

Kick-start your Vue.js development career by learning the fundamentals of Vue 3 and its integration with modern web technologies such as Electron, GraphQL, Ionic, and LaravelKey FeaturesDownload complete source code for all Vue.js projects built throughout the bookDiscover steps to build production-ready Vue.js apps across web, mobile, and desktopBuild a compelling portfolio of web apps, including
... Read more
Web Cartography

Map Design for Interactive and Mobile Devices

by Ian Muehlenhaus ...

Web mapping technologies continue to evolve at an incredible pace. Technology is but one facet of web map creation, however. Map design, aesthetics, and user-interactivity are equally important for effective map communication. From interactivity to graphical user interface design, from symbolization choices to animation, and from layout to typeface ... Read more

$65.99 USD

Web mapping technologies continue to evolve at an incredible pace. Technology is but one facet of web map creation, however. Map design, aesthetics, and user-interactivity are equally important for effective map communication. From interactivity to graphical user interface design, from symbolization choices to animation, and from layout to typeface
... Read more
HCI and User-Experience Design

Fast-Forward to the Past, Present, and Future

by Aaron Marcus ...

Series series Computer Science (R0)
This book consists of a series of essays which addresses the essentials of the development processes in user-experience design (UX design) planning, research, analysis, evaluation, training and implementation, and deals with the essential components (metaphors, mental models, navigation, and appearance) of user-interfaces and user-experiences during the period of 2002-2007.These essays grew from ... Read more

$80.99 USD

This book consists of a series of essays which addresses the essentials of the development processes in user-experience design (UX design) planning, research, analysis, evaluation, training and implementation, and deals with the essential components (metaphors, mental models, navigation, and appearance) of user-interfaces and user-experiences during the period of 2002-2007.These essays grew from
... Read more
Data Engineering with Databricks Cookbook

Build effective data and AI solutions using Apache Spark, Databricks, and Delta Lake

by Pulkit Chadha ...

Work through 70 recipes for implementing reliable data pipelines with Apache Spark, optimally store and process structured and unstructured data in Delta Lake, and use Databricks to orchestrate and govern your dataKey FeaturesLearn data ingestion, data transformation, and data management techniques using Apache Spark and Delta LakeGain practical guidance on using Delta Lake tables and ... Read more

$35.99 USD or Free with Kobo Plus

Work through 70 recipes for implementing reliable data pipelines with Apache Spark, optimally store and process structured and unstructured data in Delta Lake, and use Databricks to orchestrate and govern your dataKey FeaturesLearn data ingestion, data transformation, and data management techniques using Apache Spark and Delta LakeGain practical guidance on using Delta Lake tables and
... Read more
Chatbot Research and Design

7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers

Edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Sebastian Hobert, Petter Bae Brandtzaeg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 7th International Workshop on Chatbot Research and Design, CONVERSATIONS 2023, which was held during November 2023.The 12 regular papers were carefully reviewed and selected for inclusion in the book. They were organized in following topical sections:Understanding and Enhancing Conversational Interactions, LLM-driven Conversational Design and Analysis, ... Read more

$62.99 USD

This book constitutes the proceedings of the 7th International Workshop on Chatbot Research and Design, CONVERSATIONS 2023, which was held during November 2023.The 12 regular papers were carefully reviewed and selected for inclusion in the book. They were organized in following topical sections:Understanding and Enhancing Conversational Interactions, LLM-driven Conversational Design and Analysis,
... Read more
Advancements in Pin-Array Tactile Displays

Designing Multimodal User Interfaces for Braille and Graphics

by Limin Zeng, Gerhard Weber ...

Series series Business and Management (R0)
This book provides a comprehensive and professional overview of the latest scientific and practical advancements in pin-arrayed tactile displays, with a focus on multimodal user interface design, implementation, and impactful applications. It presents a series of research achievements by the authors' group over the past decade.Dynamic pin-arrayed tactile displays are recognized as the next ... Read more

$49.49 USD

This book provides a comprehensive and professional overview of the latest scientific and practical advancements in pin-arrayed tactile displays, with a focus on multimodal user interface design, implementation, and impactful applications. It presents a series of research achievements by the authors' group over the past decade.Dynamic pin-arrayed tactile displays are recognized as the next
... Read more
Engineering Education 4.0

Excellent Teaching and Learning in Engineering Sciences

Edited by Sulamith Frerich, Tobias Meisen, Anja Richert, Marcus Petermann, Sabina Jeschke, Uwe Wilkesmann, A. Erman Tekkaya ...

Series series Mathematics and Statistics (R0)
This book presents a collection of results from the interdisciplinary research project “ELLI” published by researchers at RWTH Aachen University, the TU Dortmund and Ruhr-Universität Bochum between 2011 and 2016. All contributions showcase essential research results, concepts and innovative teaching methods to improve engineering education. Further, they focus on a variety of areas, including ... Read more

$152.09 USD

This book presents a collection of results from the interdisciplinary research project “ELLI” published by researchers at RWTH Aachen University, the TU Dortmund and Ruhr-Universität Bochum between 2011 and 2016. All contributions showcase essential research results, concepts and innovative teaching methods to improve engineering education. Further, they focus on a variety of areas, including
... Read more
Intelligent Human Computer Interaction

13th International Conference, IHCI 2021, Kent, OH, USA, December 20–22, 2021, Revised Selected Papers

Edited by Jong-Hoon Kim, Madhusudan Singh, Javed Khan, Uma Shanker Tiwary, Marigankar Sur, Dhananjay Singh ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 13th International Conference on Intelligent Human Computer Interaction, IHCI 2021, which took place in Kent, OH, USA, in December 2021.The 59 full and 9 short papers included in these proceedings were carefully reviewed and selected from a total of 142 submissions. The papers were organized in topical sections named human centered AI; and ... Read more

$98.09 USD

This volume constitutes the refereed proceedings of the 13th International Conference on Intelligent Human Computer Interaction, IHCI 2021, which took place in Kent, OH, USA, in December 2021.The 59 full and 9 short papers included in these proceedings were carefully reviewed and selected from a total of 142 submissions. The papers were organized in topical sections named human centered AI; and
... Read more
Game Development with Rust and WebAssembly

Learn how to run Rust on the web while building a game

by Eric Smith ...

Write an endless runner game for the web in Rust and test, deploy, and debug your 2D game using the WebAssembly toolchainKey FeaturesBuild and deploy an endless runner game for the web from scratch through this helpful guide with key images printed in colorLearn how to use Rust for web development with WebAssemblyExplore modern game development and programming techniques to build 2D games using ... Read more

$34.99 USD or Free with Kobo Plus

Write an endless runner game for the web in Rust and test, deploy, and debug your 2D game using the WebAssembly toolchainKey FeaturesBuild and deploy an endless runner game for the web from scratch through this helpful guide with key images printed in colorLearn how to use Rust for web development with WebAssemblyExplore modern game development and programming techniques to build 2D games using
... Read more
Time & Logic

A Computational Approach

Edited by Leonard Bolc, Andrzej Szałas ...

Series series Routledge Revivals
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of ... Read more

$55.99 USD

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of
... Read more
Superintelligence or Super Threat

by J.F. Hillary ...

Superintelligence or Super Threat: Surviving the Age of AIThe most important conversation of our time is happening without you. This book changes that.When ChatGPT exploded into public consciousness in late 2022, it marked more than the arrival of another tech product, it announced the beginning of humanity's most consequential transformation. Within months, artificial intelligence went from ... Read more

$13.99 USD or Free with Kobo Plus

Superintelligence or Super Threat: Surviving the Age of AIThe most important conversation of our time is happening without you. This book changes that.When ChatGPT exploded into public consciousness in late 2022, it marked more than the arrival of another tech product, it announced the beginning of humanity's most consequential transformation. Within months, artificial intelligence went from
... 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: