Rakuten Kobo

Software Technologies

12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Edited by Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and ... Read more

$64.99 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and
... Read more
Perspectives of System Informatics

10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Edited by Manuel Mazzara, Andrei Voronkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis,
... Read more
FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Edited by Keijiro Araki, Stefania Gnesi, Dion Mandrioli ...

Series series Computer Science (R0)
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings ... Read more

$115.99 CAD

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings
... Read more
Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Edited by Cyrille Artho, Axel Legay, Doron Peled ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, ... Read more

$64.99 CAD

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems,
... Read more
Advances in Usability, User Experience, Wearable and Assistive Technology

Proceedings of the AHFE 2020 Virtual Conferences on Usability and User Experience, Human Factors and Assistive Technology, Human Factors and Wearable Technologies, and Virtual Environments and Game Design, July 16-20, 2020, USA

Edited by Tareq Ahram, Christianne Falcão ...

Series series Springer Nature Proceedings excluding Computer Science
This book addresses emerging issues in usability, interface design, human–computer interaction, user experience and assistive technology. It highlights research aimed at understanding human interactions with products, services and systems and focuses on finding effective approaches for improving the user experience. It also discusses key issues in designing and providing assistive devices and ... Read more

$256.99 CAD

This book addresses emerging issues in usability, interface design, human–computer interaction, user experience and assistive technology. It highlights research aimed at understanding human interactions with products, services and systems and focuses on finding effective approaches for improving the user experience. It also discusses key issues in designing and providing assistive devices and
... Read more
Selenium WebDriver Recipes in C#

Second Edition

by Zhimin Zhan ...

Series series Professional and Applied Computing (R0)
Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for ... Read more

$68.99 CAD

Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for
... Read more
Socio-technical Design of Ubiquitous Computing Systems

Edited by Klaus David, Kurt Geihs, Jan Marco Leimeister, Alexander Roßnagel, Ludger Schmidt, Gerd Stumme, Arno Wacker ...

Series series Computer Science (R0)
By using various data inputs, ubiquitous computing systems detect their current usage context, automatically adapt their services to the user’s situational needs and interact with other services or resources in their environment on an ad-hoc basis.Designing such self-adaptive, context-aware knowledge processing systems is, in itself, a formidable challenge. This book presents core findings from ... Read more

$64.99 CAD

By using various data inputs, ubiquitous computing systems detect their current usage context, automatically adapt their services to the user’s situational needs and interact with other services or resources in their environment on an ad-hoc basis.Designing such self-adaptive, context-aware knowledge processing systems is, in itself, a formidable challenge. This book presents core findings from
... Read more
Augmented Reality Art

From an Emerging Technology to a Novel Creative Medium

Edited by Vladimir Geroimenko ...

Series series Computer Science (R0)
Written by a team of world-renowned artists, researchers and practitioners - all pioneers in using augmented reality based creative works and installations as a new form of art - this is the first book to explore the exciting new field of augmented reality art and its enabling technologies.As well as investigating augmented reality as a novel artistic medium the book covers cultural, social, ... Read more

$108.99 CAD

Written by a team of world-renowned artists, researchers and practitioners - all pioneers in using augmented reality based creative works and installations as a new form of art - this is the first book to explore the exciting new field of augmented reality art and its enabling technologies.As well as investigating augmented reality as a novel artistic medium the book covers cultural, social,
... Read more
Computer Vision - ACCV 2014 Workshops

Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part I

Edited by C.V. Jawahar, Shiguang Shan ...

Series Book 1 - Springer Nature Proceedings Computer Science
The three-volume set, consisting of LNCS 9008, 9009, and 9010, contains carefully reviewed and selected papers presented at 15 workshops held in conjunction with the 12th Asian Conference on Computer Vision, ACCV 2014, in Singapore, in November 2014. The 153 full papers presented were selected from numerous submissions. LNCS 9008 contains the papers selected for the Workshop on Human Gait and ... Read more

$64.99 CAD

The three-volume set, consisting of LNCS 9008, 9009, and 9010, contains carefully reviewed and selected papers presented at 15 workshops held in conjunction with the 12th Asian Conference on Computer Vision, ACCV 2014, in Singapore, in November 2014. The 153 full papers presented were selected from numerous submissions. LNCS 9008 contains the papers selected for the Workshop on Human Gait and
... Read more
Multi-Touch

Interaktion durch Berührung

Edited by Thomas Schlegel ...

Series series Computer Science and Engineering (German Language)
Smartphones, Tablets, Multimedia-Konsolen im Fahrzeug, Microsoft Windows 8, PixelSense, Surface – diese modernen Systeme haben alle eines gemeinsam: bedient werden sie mit Berührungen. Die aktuelle Generation bietet dabei durch gleichzeitige Interaktion mit mehreren Fingern oder sogar Personen viele neue Möglichkeiten, aber auch neue Herausforderungen. Wie können existierende Anwendungen portiert ... Read more

$32.99 CAD

Smartphones, Tablets, Multimedia-Konsolen im Fahrzeug, Microsoft Windows 8, PixelSense, Surface – diese modernen Systeme haben alle eines gemeinsam: bedient werden sie mit Berührungen. Die aktuelle Generation bietet dabei durch gleichzeitige Interaktion mit mehreren Fingern oder sogar Personen viele neue Möglichkeiten, aber auch neue Herausforderungen. Wie können existierende Anwendungen portiert
... Read more
Performative Experience Design

by Jocelyn Spence ...

Series series Computer Science (R0)
This book presents a novel framework for understanding and designing performative experiences with digital technologies. It introduces readers to performance theory and practice in the context of HCI and gives a practical and holistic approach for understanding complex interactions with digital technologies at the far end of third-wave HCI.The author presents a step-by-step explanation of the ... Read more

$115.99 CAD

This book presents a novel framework for understanding and designing performative experiences with digital technologies. It introduces readers to performance theory and practice in the context of HCI and gives a practical and holistic approach for understanding complex interactions with digital technologies at the far end of third-wave HCI.The author presents a step-by-step explanation of the
... Read more
Explainable and Transparent AI and Multi-Agent Systems

6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers

Edited by Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, Kary Främling ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6–10, 2024.The 13 full papers presented in this book were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical ... Read more

$83.99 CAD

This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6–10, 2024.The 13 full papers presented in this book were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical
... Read more
AI Unplugged

by Morgan ...

"A.I. Unplugged: How Artificial Intelligence Can Transform Your Life Today" by OsbornPublishing is the essential guide for anyone looking to explore the fascinating world of Artificial Intelligence in a simple and engaging way. This book is perfect for AI beginners, individuals curious about how technology is shaping our lives, and those who want to understand how AI can impact their daily ... Read more

$13.99 CAD or Free with Kobo Plus

"A.I. Unplugged: How Artificial Intelligence Can Transform Your Life Today" by OsbornPublishing is the essential guide for anyone looking to explore the fascinating world of Artificial Intelligence in a simple and engaging way. This book is perfect for AI beginners, individuals curious about how technology is shaping our lives, and those who want to understand how AI can impact their daily
... Read more
MySQL 8 Cookbook

by Kyran Velos ...

In this book, you will learn how to install, configure, and tune MySQL for optimal performance in Linux environments. Important topics like backup strategies, security measures, query optimization, high availability, and replication are covered in each chapter. You will learn to partition and index datasets in a way that improves query performance, and the book provides step-by-step solutions to ... Read more

$42.99 CAD or Free with Kobo Plus

In this book, you will learn how to install, configure, and tune MySQL for optimal performance in Linux environments. Important topics like backup strategies, security measures, query optimization, high availability, and replication are covered in each chapter. You will learn to partition and index datasets in a way that improves query performance, and the book provides step-by-step solutions to
... Read more
Mastery in Azure DevOps: Navigating the Future of Software Development

by Kameron Hussain, Frahaan Hussain ...

Dive into the transformative world of Azure DevOps and unlock the full potential of software development with "Mastery in Azure DevOps: Navigating the Future of Software Development." This comprehensive guide is designed for professionals and enthusiasts alike, offering deep insights into the practices that drive efficiency, innovation, and success in the digital age.With "Mastery in Azure DevOps, ... Read more

$13.99 CAD or Free with Kobo Plus

Dive into the transformative world of Azure DevOps and unlock the full potential of software development with "Mastery in Azure DevOps: Navigating the Future of Software Development." This comprehensive guide is designed for professionals and enthusiasts alike, offering deep insights into the practices that drive efficiency, innovation, and success in the digital age.With "Mastery in Azure DevOps,
... Read more
Advances in Human Factors and System Interactions

Proceedings of the AHFE 2016 International Conference on Human Factors and System Interactions, July 27-31, 2016, Walt Disney World®, Florida, USA

Edited by Isabel L. Nunes ...

Series series Springer Nature Proceedings excluding Computer Science
This book reports on cutting-edge research in innovative systems interfaces, with an emphasis on both lifecycle development and human-technology interaction, especially in the cases of virtual, augmented and mixed reality systems. It describes advanced methodologies and tools for evaluating and improving interface usability and covers new models, as well as case studies and good practices. The ... Read more

$179.99 CAD

This book reports on cutting-edge research in innovative systems interfaces, with an emphasis on both lifecycle development and human-technology interaction, especially in the cases of virtual, augmented and mixed reality systems. It describes advanced methodologies and tools for evaluating and improving interface usability and covers new models, as well as case studies and good practices. The
... Read more
Towards the Internet of Things

Architectures, Security, and Applications

by Mohammad Ali Jabraeil Jamali, Bahareh Bahrami, Arash Heidari, Parisa Allahverdizadeh, Farhad Norouzi ...

Series series Engineering (R0)
This book presents a comprehensive framework for IoT, including its architectures, security, privacy, network communications, and protocols. The book starts by providing an overview of the aforementioned research topics, future directions and open challenges that face the IoT development. The authors then discuss the main architectures in the field, which include Three- and Five-Layer ... Read more

$115.99 CAD

This book presents a comprehensive framework for IoT, including its architectures, security, privacy, network communications, and protocols. The book starts by providing an overview of the aforementioned research topics, future directions and open challenges that face the IoT development. The authors then discuss the main architectures in the field, which include Three- and Five-Layer
... Read more
The Hitchhikers Guide To Artificial Intelligence

by Larry Matthews ...

In my new book, readers will find a wealth of amusing anecdotes, thought-provoking quotes, and whimsical asides that make the subject matter accessible and engaging. The author's writing style is reminiscent of Douglas Adams' beloved series, with a perfect balance of humor and insight that will keep readers turning the pages.One of the key strengths of "The Hitchhiker's Guide to Artificial ... Read more

$13.99 CAD or Free with Kobo Plus

In my new book, readers will find a wealth of amusing anecdotes, thought-provoking quotes, and whimsical asides that make the subject matter accessible and engaging. The author's writing style is reminiscent of Douglas Adams' beloved series, with a perfect balance of humor and insight that will keep readers turning the pages.One of the key strengths of "The Hitchhiker's Guide to Artificial
... Read more
The Technology Acceptance Model

30 Years of TAM

by Fred D. Davis, Andrina Granić ...

Series series Computer Science (R0)
This SpringerBrief discusses the origins, emergence, evolution, and future of the Technology Acceptance Model (TAM). TAM, simple yet powerful, has been extensively validated, standing as a leading scientific paradigm and a reliable model for explaining, predicting, and improving user acceptance across a spectrum of technological deployments. Over more than three decades since the introduction of ... Read more

$70.99 CAD

This SpringerBrief discusses the origins, emergence, evolution, and future of the Technology Acceptance Model (TAM). TAM, simple yet powerful, has been extensively validated, standing as a leading scientific paradigm and a reliable model for explaining, predicting, and improving user acceptance across a spectrum of technological deployments. Over more than three decades since the introduction of
... Read more
AI for Everyone

by Irene Nganga ...

AI for Everyone: Profit, Learn, and Have Fun with Artificial Intelligence is your comprehensive guide to understanding and leveraging the power of AI in your everyday life. Whether you're a curious beginner, an aspiring entrepreneur, or someone looking to enhance personal skills, this eBook provides you with the tools, insights, and inspiration needed to harness AI's potential.From practical tips ... Read more

$43.99 CAD or Free with Kobo Plus

AI for Everyone: Profit, Learn, and Have Fun with Artificial Intelligence is your comprehensive guide to understanding and leveraging the power of AI in your everyday life. Whether you're a curious beginner, an aspiring entrepreneur, or someone looking to enhance personal skills, this eBook provides you with the tools, insights, and inspiration needed to harness AI's potential.From practical tips
... Read more
Information and Communication Technologies for Agriculture—Theme III: Decision

Edited by Dionysis D. Bochtis, Claus Grøn Sørensen, Spyros Fountas, Vasileios Moysiadis, Panos M. Pardalos ...

Series series Mathematics and Statistics (R0)
This volume is the third (III) of four under the main themes of Digitizing Agriculture and Information and Communication Technologies (ICT). The four volumes cover rapidly developing processes including Sensors (I), Data (II), Decision (III), and Actions (IV). Volumes are related to ‘digital transformation” within agricultural production and provision systems, and in the context of Smart Farming ... Read more

$153.99 CAD

This volume is the third (III) of four under the main themes of Digitizing Agriculture and Information and Communication Technologies (ICT). The four volumes cover rapidly developing processes including Sensors (I), Data (II), Decision (III), and Actions (IV). Volumes are related to ‘digital transformation” within agricultural production and provision systems, and in the context of Smart Farming
... Read more
Mastering PostgreSQL 12

Advanced techniques to build and administer scalable and reliable PostgreSQL database applications

by Hans-Jürgen Schönig ...

Master PostgreSQL 12 features such as advanced indexing, high availability, monitoring, and much more to efficiently manage and maintain your databaseKey FeaturesGrasp advanced PostgreSQL 12 concepts with real-world examples and sample datasetsExplore query parallelism, data replication, database administration, and moreExtend PostgreSQL functionalities to suit your organization’s needs with ... Read more

$37.99 CAD or Free with Kobo Plus

Master PostgreSQL 12 features such as advanced indexing, high availability, monitoring, and much more to efficiently manage and maintain your databaseKey FeaturesGrasp advanced PostgreSQL 12 concepts with real-world examples and sample datasetsExplore query parallelism, data replication, database administration, and moreExtend PostgreSQL functionalities to suit your organization’s needs with
... Read more
Brain Art

Brain-Computer Interfaces for Artistic Expression

Edited by Anton Nijholt ...

Series series Computer Science (R0)
This is the first book on brain-computer interfaces (BCI) that aims to explain how these BCI interfaces can be used for artistic goals. Devices that measure changes in brain activity in various regions of our brain are available and they make it possible to investigate how brain activity is related to experiencing and creating art. Brain activity can also be monitored in order to find out about ... Read more

$204.99 CAD

This is the first book on brain-computer interfaces (BCI) that aims to explain how these BCI interfaces can be used for artistic goals. Devices that measure changes in brain activity in various regions of our brain are available and they make it possible to investigate how brain activity is related to experiencing and creating art. Brain activity can also be monitored in order to find out about
... Read more
Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

Edited by Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from ... Read more

$64.99 CAD

This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected 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: