Rakuten Kobo

Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Edited by K. Narayan Kumar, Deepak D'Souza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in
... Read more
Parallel Computing Technologies

18th International Conference, PaCT 2025, Almaty, Kazakhstan, October 6–10, 2025, Proceedings

Edited by Victor Malyshkin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2025, held in Almaty, Kazakhstan, during October 2025.The 15 full papers together with 2 short papers included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: efficient systems backends such as work ... Read more

$102.49 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2025, held in Almaty, Kazakhstan, during October 2025.The 15 full papers together with 2 short papers included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: efficient systems backends such as work
... Read more
Serious Games, Interaction and Simulation

6th International Conference, SGAMES 2016, Porto, Portugal, June 16-17, 2016, Revised Selected Papers

Edited by Carlos Vaz de Carvalho, Paula Escudeiro, António Coelho ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Serious Games, Interaction and Simulation, SGAMES 2016, held in Porto, Portugal, in June 2016.The 19 revised full papers presented together with 2 keynote papers and an editorial introduction were carefully reviewed and selected from all the submissions. The papers cover areas like ... Read more

$51.29 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Serious Games, Interaction and Simulation, SGAMES 2016, held in Porto, Portugal, in June 2016.The 19 revised full papers presented together with 2 keynote papers and an editorial introduction were carefully reviewed and selected from all the submissions. The papers cover areas like
... Read more
Numbers and Computers

by Ronald T. Kneusel ...

Series series Computer Science (R0)
This textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accurately, especially by floating-point numbers.The book's first part details standard representations of integers and floating-point numbers. The second explores other number representations, including the wide variety recently developed to support ... Read more

$89.69 CAD

This textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accurately, especially by floating-point numbers.The book's first part details standard representations of integers and floating-point numbers. The second explores other number representations, including the wide variety recently developed to support
... Read more
KI-gestützte Prozessautomatisierung

by Julian Funke ...

Series series Computer Science and Engineering (German Language)
KI-gestützte Prozessautomatisierung zeigt, wie Unternehmen Künstliche Intelligenz nutzen, um Prozesse effizienter, schneller und intelligenter zu machen. Das Buch erklärt verständlich, wie Automatisierungspotenziale erkannt und manuelle Abläufe reduziert werden. Leser lernen, ihre Produktivität gezielt zu steigern und moderne Technologien wie Machine Learning, Process Mining, RPA und NLP sinnvoll ... Read more

$47.89 CAD

KI-gestützte Prozessautomatisierung zeigt, wie Unternehmen Künstliche Intelligenz nutzen, um Prozesse effizienter, schneller und intelligenter zu machen. Das Buch erklärt verständlich, wie Automatisierungspotenziale erkannt und manuelle Abläufe reduziert werden. Leser lernen, ihre Produktivität gezielt zu steigern und moderne Technologien wie Machine Learning, Process Mining, RPA und NLP sinnvoll
... Read more
Personalizing Haptics

From Individuals' Sense-Making Schemas to End-User Haptic Tools

by Hasti Seifi ...

Series series Computer Science (R0)
This monograph presents a vision for haptic personalization tools and lays the foundations for achieving it. Effective haptic personalization requires a suite of tools unified by one underlying conceptual model that can easily be incorporated into users’ workflows with various applications. Toward this vision, the book introduces three mechanisms for haptic personalization and details development ... Read more

$153.69 CAD

This monograph presents a vision for haptic personalization tools and lays the foundations for achieving it. Effective haptic personalization requires a suite of tools unified by one underlying conceptual model that can easily be incorporated into users’ workflows with various applications. Toward this vision, the book introduces three mechanisms for haptic personalization and details development
... Read more
Big Data Analytics and Data Science

The future of Big Data Analytics and Data Science. Emerging Technologies and Trends

by Conor Williams ...

As the amount of data generated and collected continues to grow exponentially, the field of Big Data Analytics and Data Science has become increasingly important in various industries. This book provides a comprehensive overview of the current and emerging trends in the field, with a focus on the future of Big Data Analytics and Data Science.Starting with an introduction to the basics of Big Data ... Read more

$5.50 CAD

As the amount of data generated and collected continues to grow exponentially, the field of Big Data Analytics and Data Science has become increasingly important in various industries. This book provides a comprehensive overview of the current and emerging trends in the field, with a focus on the future of Big Data Analytics and Data Science.Starting with an introduction to the basics of Big Data
... Read more
Artificial Intelligence with Power BI

Take your data analytics skills to the next level by leveraging the AI capabilities in Power BI

by Mary-Jo Diepeveen ...

Learn how to create your own AI model and consume it in your Power BI reports to gain better insights from your dataKey FeaturesLearn how to gain better insights from your data by applying different AI techniques within Power BISave time by creating machine learning models independently and integrating them within your BI reportsUnderstand how to combine Cognitive Services and Azure Machine ... Read more

$41.99 CAD or Free with Kobo Plus

Learn how to create your own AI model and consume it in your Power BI reports to gain better insights from your dataKey FeaturesLearn how to gain better insights from your data by applying different AI techniques within Power BISave time by creating machine learning models independently and integrating them within your BI reportsUnderstand how to combine Cognitive Services and Azure Machine
... Read more
180 Casos Resolvidos em Linguagem DAX

POWER BI: CASOS RESOLVIDOS, #1

by Ramón Javier Castro Amador ...

Series Book 1 - POWER BI: CASOS RESOLVIDOS
O guia inclui um arquivo do Power BI para download para que você possa trabalhar e experimentar o código.Este guia completo foi pensado para uma rápida resolução dos casos mais comuns que podem ser encontrados ao realizar modelagem do zero no POWER BI. Através de seu uso, pretende-se parar de investir horas em desenvolvimento e código mal escrito (não otimizado) que gera falhas graves. O resultado ... Read more

$13.99 CAD or Free with Kobo Plus

O guia inclui um arquivo do Power BI para download para que você possa trabalhar e experimentar o código.Este guia completo foi pensado para uma rápida resolução dos casos mais comuns que podem ser encontrados ao realizar modelagem do zero no POWER BI. Através de seu uso, pretende-se parar de investir horas em desenvolvimento e código mal escrito (não otimizado) que gera falhas graves. O resultado
... Read more
Smart Wireless Sensing

From IoT to AIoT

by Zheng Yang, Kun Qian, Chenshu Wu, Yi Zhang ...

Series series Computer Science (R0)
Perception of human beings has evolved from natural biosensor to powerful sensors and sensor networks. In sensor networks, trillions of devices are interconnected and sense a broad spectrum of contexts for human beings, laying the foundation of Internet of Things (IoT). However, sensor technologies have several limitations relating to deployment cost and usability, which render them unacceptable ... Read more

$179.39 CAD

Perception of human beings has evolved from natural biosensor to powerful sensors and sensor networks. In sensor networks, trillions of devices are interconnected and sense a broad spectrum of contexts for human beings, laying the foundation of Internet of Things (IoT). However, sensor technologies have several limitations relating to deployment cost and usability, which render them unacceptable
... Read more
Monotonicity in Logic and Language

Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

Edited by Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl ...

Series series Springer Nature Proceedings Computer Science
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held ... Read more

$89.69 CAD

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held
... Read more
Internet of Things: Enabling Technologies, Security and Social Implications

Edited by Santosh Kumar Pani, Manjusha Pandey ...

Series series Engineering (R0)
This edited book presents point of view and the work being undertaken by active researchers in the domain of IOT and its applications with societal impact. The book is useful to other researchers for the understanding of the research domain and different points of views expressed by the experts in their contributed chapters. The contributions are from both industry and academia; hence, it provides ... Read more

$179.39 CAD

This edited book presents point of view and the work being undertaken by active researchers in the domain of IOT and its applications with societal impact. The book is useful to other researchers for the understanding of the research domain and different points of views expressed by the experts in their contributed chapters. The contributions are from both industry and academia; hence, it provides
... Read more
Transactions on Computational Science XXXVII

Special Issue on Computer Graphics

Edited by Marina L. Gavrilova, C. J. Kenneth Tan, Jian Chang, Nadia Magnenat Thalmann ...

Series series Computer Science (R0)
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, ... Read more

$64.09 CAD

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments,
... Read more
Intelligent Robotics and Applications

16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part IX

Edited by Huayong Yang, Honghai Liu, Jun Zou, Zhouping Yin, Lianqing Liu, Geng Yang, Xiaoping Ouyang, Zhiyong Wang ...

Series Book 9 - Springer Nature Proceedings Computer Science
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric ... Read more

$83.29 CAD

The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric
... Read more
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration

25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4–7, 2023, Proceedings, Part I

Edited by Dion H. Goh, Shu-Jiun Chen, Suppawong Tuarob ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 14457 and LNCS 14458 constitutes the refereed proceedings of the 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, held in Taipei, Taiwan, during December 4-7, 2023.The 15 full, 17 short, 2 practice papers and 12 poster papers presented in this volume were carefully reviewed and selected from 85 submissions.Based on significant contributions, the ... Read more

$83.29 CAD

This two-volume set LNCS 14457 and LNCS 14458 constitutes the refereed proceedings of the 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, held in Taipei, Taiwan, during December 4-7, 2023.The 15 full, 17 short, 2 practice papers and 12 poster papers presented in this volume were carefully reviewed and selected from 85 submissions.Based on significant contributions, the
... Read more
Fundamentos de UI/UX

by Renato Kimura da Silva ...

Series series Série Universitária
A Série Universitária foi desenvolvida pelo Senac São Paulo com o intuito de preparar profissionais para o mercado de trabalho. Os títulos abrangem diversas áreas, abordando desde conhecimentos teóricos e práticos adequados às exigências profissionais até a formação ética e sólida.Fundamentos de UI/UX oferece uma introdução abrangente aos fundamentos de user interface e user experience, com foco ... Read more

$7.99 CAD

A Série Universitária foi desenvolvida pelo Senac São Paulo com o intuito de preparar profissionais para o mercado de trabalho. Os títulos abrangem diversas áreas, abordando desde conhecimentos teóricos e práticos adequados às exigências profissionais até a formação ética e sólida.Fundamentos de UI/UX oferece uma introdução abrangente aos fundamentos de user interface e user experience, com foco
... Read more
Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

by Johan Ludvig Brattås, Frank Geisler ...

In today's hyper-connected world, many organizations are overwhelmed by the volume of data generated every second. Making timely decisions using this information remains a challenge for many. Real-time intelligence has transformed from a luxury to a necessity for businesses striving to stay ahead in a rapidly evolving marketplace. Enter Microsoft Fabric's Real-Time Intelligence: a new tool that ... Read more

$51.99 CAD

In today's hyper-connected world, many organizations are overwhelmed by the volume of data generated every second. Making timely decisions using this information remains a challenge for many. Real-time intelligence has transformed from a luxury to a necessity for businesses striving to stay ahead in a rapidly evolving marketplace. Enter Microsoft Fabric's Real-Time Intelligence: a new tool that
... Read more
Neural Networks for Beginners

A Journey Through the World of Artificial Intelligence

by Brandon Scott ...

Embark on an enlightening journey into the fascinating world of neural networks with "Neural Networks for Beginners: A Journey Through the World of Artificial Intelligence." This comprehensive guide is meticulously crafted for absolute beginners, offering a gentle introduction to the complex and intriguing domain of artificial intelligence (AI) through the lens of neural networks.With no prior ... Read more

$5.55 CAD or Free with Kobo Plus

Embark on an enlightening journey into the fascinating world of neural networks with "Neural Networks for Beginners: A Journey Through the World of Artificial Intelligence." This comprehensive guide is meticulously crafted for absolute beginners, offering a gentle introduction to the complex and intriguing domain of artificial intelligence (AI) through the lens of neural networks.With no prior
... Read more
Power Bi

Unleashing the Full Potential of Data Visualization and Analysis

by Daniel Garfield ...

Unlock the power of data with "Power BI," the ultimate guide to transforming raw information into actionable insights. In an era where data reigns supreme, harnessing its potential is essential for individuals and organizations alike. Enter Power BI, the industry-leading business intelligence tool that enables you to not just visualize data, but to truly understand and leverage it for smarter ... Read more

$5.51 CAD

Unlock the power of data with "Power BI," the ultimate guide to transforming raw information into actionable insights. In an era where data reigns supreme, harnessing its potential is essential for individuals and organizations alike. Enter Power BI, the industry-leading business intelligence tool that enables you to not just visualize data, but to truly understand and leverage it for smarter
... Read more
Fundamentals of Data Engineering

Building Robust Data Systems for Modern Analytics and Insights

by Daniel Garfield ...

Series Book 3 - Big Data as a Product 3 in 1
"Fundamentals of Data Engineering: Building Robust Data Systems for Modern Analytics and Insights" is an essential guide for aspiring and experienced data engineers alike, providing a comprehensive overview of the principles, techniques, and technologies involved in designing and maintaining robust data systems.In today's data-driven world, organizations heavily rely on data engineering to ... Read more

$5.51 CAD

"Fundamentals of Data Engineering: Building Robust Data Systems for Modern Analytics and Insights" is an essential guide for aspiring and experienced data engineers alike, providing a comprehensive overview of the principles, techniques, and technologies involved in designing and maintaining robust data systems.In today's data-driven world, organizations heavily rely on data engineering to
... Read more
Julia Quick Syntax Reference

A Pocket Guide for Data Science Programming

by Antonello Lobianco ...

Series series Professional and Applied Computing (R0)
Learn the Julia programming language as quickly as possible. This book is a must-have reference guide that presents the essential Julia syntax in a well-organized format, updated with the latest features of Julia’s APIs, libraries, and packages.This book provides an introduction that reveals basic Julia structures and syntax; discusses data types, control flow, functions, input/output, exceptions, ... Read more

$68.99 CAD

Learn the Julia programming language as quickly as possible. This book is a must-have reference guide that presents the essential Julia syntax in a well-organized format, updated with the latest features of Julia’s APIs, libraries, and packages.This book provides an introduction that reveals basic Julia structures and syntax; discusses data types, control flow, functions, input/output, exceptions,
... Read more
User Interface Design and Evaluation

by Debbie Stone, Caroline Jarrett, Mark Woodroffe, Shailey Minocha ...

Series series Interactive Technologies
User Interface Design and Evaluation provides an overview of the user-centered design field. It illustrates the benefits of a user-centered approach to the design of software, computer systems, and websites. The book provides clear and practical discussions of requirements gathering, developing interaction design from user requirements, and user interface evaluation. The book's coverage includes ... Read more

$56.99 CAD

User Interface Design and Evaluation provides an overview of the user-centered design field. It illustrates the benefits of a user-centered approach to the design of software, computer systems, and websites. The book provides clear and practical discussions of requirements gathering, developing interaction design from user requirements, and user interface evaluation. The book's coverage includes
... Read more
Logic And Language Models For Computer Science (Third Edition)

by Dana Richards, Henry Hamburger ...

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes. ... Read more

$50.99 CAD

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.
... Read more
Virtual, Augmented and Mixed Reality. Multimodal Interaction

11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Edited by Jessie Y.C. Chen, Gino Fragomeni ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 11574 and 11575 constitutes the refereed proceedings of the 11th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA.HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process.The 80 ... Read more

$102.99 CAD

This two-volume set LNCS 11574 and 11575 constitutes the refereed proceedings of the 11th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA.HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process.The 80
... 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: