Rakuten Kobo

Context-Aware Systems and Applications

13th EAI International Conference, ICCASA 2024, Dalat City, Vietnam, October 15–16, 2024, Proceedings

Edited by Phan Cong Vinh, Nguyen Thanh Tung, Abdur Rakib ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post proceedings of 13th EAI International Conference on Context-Aware Systems and Applications, ICCASA 2024, held in Dalat City, Vietnam, during October 15–16, 2024.The 9 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide spectrum of modern approaches and techniques for smart computing systems ... Read more

$81.26 CAD

This book constitutes the refereed post proceedings of 13th EAI International Conference on Context-Aware Systems and Applications, ICCASA 2024, held in Dalat City, Vietnam, during October 15–16, 2024.The 9 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide spectrum of modern approaches and techniques for smart computing systems
... Read more
Dashboard Design

by Michael Burch, Marco Schmid ...

Series series River Publishers Series in Computing and Information Science and Technology
Interactive visualization and visual analytics tools have been designed and developed in the past and will be developed in the future as well. In each application domain in which data is measured, generated, and recorded we see a potential candidate for an interactive visualization tool with the goal to find insights and knowledge in the data. This knowledge can be found either visually by humans’ ... Read more

$172.48 CAD

Interactive visualization and visual analytics tools have been designed and developed in the past and will be developed in the future as well. In each application domain in which data is measured, generated, and recorded we see a potential candidate for an interactive visualization tool with the goal to find insights and knowledge in the data. This knowledge can be found either visually by humans’
... Read more
Mathematical and Computational Modelling of Covid-19 Transmission

Edited by Mandeep Mittal, Nita H. Shah ...

Series series River Publishers Series in Mathematical, Statistical and Computational Modelling for Engineering
Infectious diseases are leading threats and are of highest risk to the human population globally. Over the last two years, we saw the transmission of Covid-19. Millions of people died or were forced to live with a disability. Mathematical models are effective tools that enable analysis of relevant information, simulate the related process and evaluate beneficial results. They can help to make ... Read more

$172.48 CAD

Infectious diseases are leading threats and are of highest risk to the human population globally. Over the last two years, we saw the transmission of Covid-19. Millions of people died or were forced to live with a disability. Mathematical models are effective tools that enable analysis of relevant information, simulate the related process and evaluate beneficial results. They can help to make
... Read more
Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical ... Read more

$104.48 CAD

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical
... Read more
Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their
... Read more
NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Edited by Clark Barrett, Misty Davies, Temesghen Kahsai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, ... Read more

$58.04 CAD

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations,
... Read more
Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Edited by Nadia Polikarpova, Steve Schneider ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems,
... Read more
Data Science for Librarians

by Yunfei Du, Hammad Rauf Khan ...

Series series Library and Information Science Text Series
This unique textbook intersects traditional library science with data science principles that readers will find useful in implementing or improving data services within their libraries.Data Science for Librarians introduces data science to students and practitioners in library services. Writing for academic, public, and school library managers; library science students; and library and information ... Read more

$71.00 CAD

This unique textbook intersects traditional library science with data science principles that readers will find useful in implementing or improving data services within their libraries.Data Science for Librarians introduces data science to students and practitioners in library services. Writing for academic, public, and school library managers; library science students; and library and information
... Read more
Digital Coffee

by Semere Gebregziabhar Girmay ...

Digital Coffee: Fuel Your Mind, Code Your Future is a roadmap for the 2026 digital economy. Learn how to shift from a linear worker to a digital architect using the Ghost System. Whether you want to build invisible assets or master the psychology of wealth, this book by Semere Gebregziabhar provides the tools you need for financial sovereignty. ... Read more

$4.99 CAD or Free with Kobo Plus

Digital Coffee: Fuel Your Mind, Code Your Future is a roadmap for the 2026 digital economy. Learn how to shift from a linear worker to a digital architect using the Ghost System. Whether you want to build invisible assets or master the psychology of wealth, this book by Semere Gebregziabhar provides the tools you need for financial sovereignty.
... Read more
Expert T-SQL Window Functions in SQL Server

by Clayton Groom, Kathi Kellenberger ...

Series series Professional and Applied Computing (R0)
Expert T-SQL Window Functions in SQL Server takes you from any level of knowledge of windowing functions and turns you into an expert who can use these powerful functions to solve many T-SQL queries. Replace slow cursors and self-joins with queries that are easy to write and fantastically better performing, all through the magic of window functions.First introduced in SQL Server 2005, window ... Read more

$29.33 CAD

Expert T-SQL Window Functions in SQL Server takes you from any level of knowledge of windowing functions and turns you into an expert who can use these powerful functions to solve many T-SQL queries. Replace slow cursors and self-joins with queries that are easy to write and fantastically better performing, all through the magic of window functions.First introduced in SQL Server 2005, window
... Read more
Art, Design and Technology: Collaboration and Implementation

by Rae Earnshaw ...

Series series Computer Science (R0)
This book examines how digital technology is being used to assist the artists and designers. The computer is able to store data and reproduce designs, thus facilitating the speed-up of the iterative process towards a final design which meets the objectives of the designer and the requirements of the user. Collaborative design enables the sharing of information across digital networks to produce ... Read more

$63.89 CAD

This book examines how digital technology is being used to assist the artists and designers. The computer is able to store data and reproduce designs, thus facilitating the speed-up of the iterative process towards a final design which meets the objectives of the designer and the requirements of the user. Collaborative design enables the sharing of information across digital networks to produce
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 2 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Read more

$58.04 CAD

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Read more
Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Edited by Jules Desharnais, Walter Guttmann, Stef Joosten ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the ... Read more

$58.04 CAD

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the
... Read more
Emerging Technologies for Education

4th International Symposium, SETE 2019, Held in Conjunction with ICWL 2019, Magdeburg, Germany, September 23–25, 2019, Revised Selected Papers

Edited by Elvira Popescu, Tianyong Hao, Ting-Chia Hsu, Haoran Xie, Marco Temperini, Wei Chen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Symposium, SETE 2019, held in conjunction with ICWL 2019, in Magdeburg, Germany, in September 2019.The 10 full and 6 short papers presented together with 24 papers from 5 workshops were carefully reviewed and selected from 34 submissions. The papers cover the latest findings in various areas, such as: ... Read more

$58.04 CAD

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Symposium, SETE 2019, held in conjunction with ICWL 2019, in Magdeburg, Germany, in September 2019.The 10 full and 6 short papers presented together with 24 papers from 5 workshops were carefully reviewed and selected from 34 submissions. The papers cover the latest findings in various areas, such as:
... Read more
Webbstrategi för alla

by Marcus Österberg ...

Här har du boken som tar upp hantverket att ta fram och ta hand om en webbplats. Inledningen återger webbens historia och hur det knyter an till den webb vi ser idag. Andra delen berör det viktigaste inom hur man tar hand om sin information och dess arkitektur.Självklart tas designstrategier upp, bland annat responsiv webbdesign och hur man designar för att övertyga. Näst sist ämnet kring hur man ... Read more

Free

Här har du boken som tar upp hantverket att ta fram och ta hand om en webbplats. Inledningen återger webbens historia och hur det knyter an till den webb vi ser idag. Andra delen berör det viktigaste inom hur man tar hand om sin information och dess arkitektur.Självklart tas designstrategier upp, bland annat responsiv webbdesign och hur man designar för att övertyga. Näst sist ämnet kring hur man
... Read more
Aprende Inteligencia Artificial en 10 Minutos

by SELLO EDITORIAL GRUPO GOZUGA SAS ...

¿Te gustaría entender la inteligencia artificial sin complicaciones y en muy poco tiempo?Aprende Inteligencia Artificial en 10 Minutos para Adultos Mayores es una guía práctica, clara y directa diseñada especialmente para quienes quieren dar sus primeros pasos en el mundo de la IA sin conocimientos técnicos.Este libro elimina el miedo a la tecnología y te muestra, paso a paso, cómo empezar a usar ... Read more

$13.99 CAD or Free with Kobo Plus

¿Te gustaría entender la inteligencia artificial sin complicaciones y en muy poco tiempo?Aprende Inteligencia Artificial en 10 Minutos para Adultos Mayores es una guía práctica, clara y directa diseñada especialmente para quienes quieren dar sus primeros pasos en el mundo de la IA sin conocimientos técnicos.Este libro elimina el miedo a la tecnología y te muestra, paso a paso, cómo empezar a usar
... Read more
Hello, AI: Understanding the Technology That Knows You

by Artemis Nova ...

Hello, AI: Understanding the Technology That Knows YouArtificial Intelligence (AI) is no longer a far-off concept from the realm of science fiction. It's here, shaping the way we live, work, and connect with the world around us. From your smartphone's uncanny ability to predict your preferences to AI-powered tools that revolutionize industries, this technology is quietly and profoundly ... Read more

$11.99 CAD or Free with Kobo Plus

Hello, AI: Understanding the Technology That Knows YouArtificial Intelligence (AI) is no longer a far-off concept from the realm of science fiction. It's here, shaping the way we live, work, and connect with the world around us. From your smartphone's uncanny ability to predict your preferences to AI-powered tools that revolutionize industries, this technology is quietly and profoundly
... Read more
Deep Learning with PyTorch Step-by-Step: A Beginner's Guide - Volume I: Fundamentals

Deep Learning with PyTorch Step-by-Step: A Beginner's Guide, #1

by Daniel Voigt Godoy ...

Series Book 1 - Deep Learning with PyTorch Step-by-Step: A Beginner's Guide
Revised for PyTorch 2.x!Why this book?Are you looking for a book where you can learn about deep learning and PyTorch without having to spend hours deciphering cryptic text and code? A technical book that's also easy and enjoyable to read?This is it!How is this book different?First, this book presents an easy-to-follow, ... ... Read more

$3.95 CAD

Revised for PyTorch 2.x!Why this book?Are you looking for a book where you can learn about deep learning and PyTorch without having to spend hours deciphering cryptic text and code? A technical book that's also easy and enjoyable to read?This is it!How is this book different?First, this book presents an easy-to-follow, ...
... Read more
Amazon Redshift Cookbook

Recipes for building modern data warehousing solutions

by Shruti Worlikar, Harshida Patel, Anusha Challa ...

Set up a petabyte-scale, cloud-based data warehouse that is burstable and built to scale for end-to-end analytical solutions Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesLearn how to translate familiar data warehousing concepts into Redshift implementationUse impressive Redshift features to optimize development, productionizing, and operation ... Read more

$38.15 CAD or Free with Kobo Plus

Set up a petabyte-scale, cloud-based data warehouse that is burstable and built to scale for end-to-end analytical solutions Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesLearn how to translate familiar data warehousing concepts into Redshift implementationUse impressive Redshift features to optimize development, productionizing, and operation
... Read more
Socially Enhanced Services Computing

Modern Models and Algorithms for Distributed Systems

Edited by Schahram Dustdar, Daniel Schall, Florian Skopik, Lukasz Juszczyk, Harald Psaier ...

Series series Computer Science (R0)
Socially enhanced Services Computing deals with a novel and exciting new field at the intersection between Social Computing, Service-oriented Computing, Crowd Computing, and Cloud Computing. The present work presents a collection of selected papers by the editors of this volume, which they feel will help the reader in understanding this field. The approach discussed allows for a seamless ... Read more

$104.48 CAD

Socially enhanced Services Computing deals with a novel and exciting new field at the intersection between Social Computing, Service-oriented Computing, Crowd Computing, and Cloud Computing. The present work presents a collection of selected papers by the editors of this volume, which they feel will help the reader in understanding this field. The approach discussed allows for a seamless
... Read more
Pro TBB

C++ Parallel Programming with Threading Building Blocks

by Michael Voss, Rafael Asenjo, James Reinders ...

Series series Professional and Applied Computing (R0)
This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices ... Read more

Free

This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices
... Read more
Designing Agentic AI Frameworks: Build adaptive, autonomous digital agents that reason, strategize, and evolve

The Innovators of AI and Data Series, #4

by Gloria Kepler, Quinn D. Novak ...

Series Book 4 - The Innovators of AI and Data Series
The difference between a tool and an agent is the ability to say, "I'll figure it out."We are standing on the precipice of a massive shift in technology. For decades, we have programmed computers to do exactly what we say. But what happens when we program them to understand what we mean, and figure out the rest themselves?That is the core of Designing Agentic AI Frameworks.I wrote this book ... Read more

$17.99 CAD

The difference between a tool and an agent is the ability to say, "I'll figure it out."We are standing on the precipice of a massive shift in technology. For decades, we have programmed computers to do exactly what we say. But what happens when we program them to understand what we mean, and figure out the rest themselves?That is the core of Designing Agentic AI Frameworks.I wrote this book
... Read more
Reliable and Energy Efficient Streaming Multiprocessor Systems

by Anup Kumar Das, Akash Kumar, Bharadwaj Veeravalli, Francky Catthoor ...

Series series Engineering (R0)
This book discusses analysis, design and optimization techniques for streaming multiprocessor systems, while satisfying a given area, performance, and energy budget. The authors describe design flows for both application-specific and general purpose streaming systems. Coverage also includes the use of machine learning for thermal optimization at run-time, when an application is being executed. The ... Read more

$58.04 CAD

This book discusses analysis, design and optimization techniques for streaming multiprocessor systems, while satisfying a given area, performance, and energy budget. The authors describe design flows for both application-specific and general purpose streaming systems. Coverage also includes the use of machine learning for thermal optimization at run-time, when an application is being executed. The
... Read more
Emotion-Oriented Systems

The Humaine Handbook

Edited by Paolo Petta, Catherine Pelachaud, Roddy Cowie ...

Series series Computer Science (R0)
Emotion pervades human life in general, and human communication in particular, and this sets information technology a challenge. Traditionally, IT has focused on allowing people to accomplish practical tasks efficiently, setting emotion to one side. That was acceptable when technology was a small part of life, but as technology and life become increasingly interwoven we can no longer ask people to ... Read more

$232.28 CAD

Emotion pervades human life in general, and human communication in particular, and this sets information technology a challenge. Traditionally, IT has focused on allowing people to accomplish practical tasks efficiently, setting emotion to one side. That was acceptable when technology was a small part of life, but as technology and life become increasingly interwoven we can no longer ask people to
... 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: