Rakuten Kobo

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

Edición de 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, ... Leer más

$49.99 USD

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,
... Leer más
FME 2003: Formal Methods

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

Edición de 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 ... Leer más

$89.99 USD

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
... Leer más
Automated Technology for Verification and Analysis

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

Edición de 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, ... Leer más

$49.99 USD

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,
... Leer más
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

Edición de 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 ... Leer más

$188.99 USD

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
... Leer más
Socio-technical Design of Ubiquitous Computing Systems

Edición de 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 ... Leer más

$49.99 USD

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
... Leer más
Augmented Reality Art

From an Emerging Technology to a Novel Creative Medium

Edición de 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, ... Leer más

$89.99 USD

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,
... Leer más
Computer Vision - ACCV 2014 Workshops

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

Edición de C.V. Jawahar, Shiguang Shan ...

Series Libro 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 ... Leer más

$49.99 USD

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
... Leer más
Multi-Touch

Interaktion durch Berührung

Edición de 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 ... Leer más

$35.99 USD

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
... Leer más
Performative Experience Design

de 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 ... Leer más

$89.99 USD

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
... Leer más
Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Edición de Dragan Bošnački, Anton Wijs ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools,
... Leer más
Explainable and Transparent AI and Multi-Agent Systems

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

Edición de 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 ... Leer más

$62.99 USD

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
... Leer más
The iPhone App Design Manual

Create Perfect Designs for Effortless Coding and App Store Success

de Dave Brown, Vicky Roberts ...

The creation of apps for Apple's iPhone is now a huge, and global business, with hundreds of thousands of developers, entrepreneurs and companies attracted by the potential rewards. But games, functional apps and promotional apps alike depend on attractive, intuitive design for their appeal, and most fail to find a significant audience.With this book, you'll be able to turn your great app idea ... Leer más

Antes $3.99 USD Ahora $2.99 USD

The creation of apps for Apple's iPhone is now a huge, and global business, with hundreds of thousands of developers, entrepreneurs and companies attracted by the potential rewards. But games, functional apps and promotional apps alike depend on attractive, intuitive design for their appeal, and most fail to find a significant audience.With this book, you'll be able to turn your great app idea
... Leer más
AI Unplugged

de 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 ... Leer más

$10.00 USD o gratis con 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
... Leer más
MySQL 8 Cookbook

de 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 ... Leer más

$29.99 USD o gratis con 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
... Leer más
Mastery in Azure DevOps: Navigating the Future of Software Development

de 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, ... Leer más

$9.99 USD o gratis con 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,
... Leer más
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

Edición de 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 ... Leer más

$143.99 USD

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
... Leer más
Towards the Internet of Things

Architectures, Security, and Applications

de 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 ... Leer más

$89.99 USD

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
... Leer más
HCI International 2020 – Late Breaking Papers: Cognition, Learning and Games

22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings

Edición de Constantine Stephanidis, Don Harris, Wen-Chin Li, Dylan D. Schmorrow, Cali M. Fidopiastis, Panayiotis Zaphiris, Andri Ioannou, Xiaowen Fang, Robert A. Sottilare, Jessica Schwarz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020. The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for ... Leer más

$89.99 USD

This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020. The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for
... Leer más
The Hitchhikers Guide To Artificial Intelligence

de 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 ... Leer más

$9.99 USD o gratis con 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
... Leer más
The Technology Acceptance Model

30 Years of TAM

de 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 ... Leer más

$53.99 USD

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
... Leer más
AI for Everyone

de 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 ... Leer más

$30.66 USD o gratis con 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
... Leer más
Progressive Computational Intelligence, Information Technology, and Networking

Volume 2

Edición de Poonam Nandal, Tapas Kumar, Meeta Singh, Mamta Dahiya ...

Series series Taylor and Francis Proceedings in Computer Science and Engineering
This book explores emerging advancements in intelligent computing, modern IT infrastructures, and next-generation networking technologies. The book presents contemporary theories, practical implementations, and research trends that integrate artificial intelligence, data-driven systems, and communication networks to solve real-world challenges in academia and industry.The book covers foundational ... Leer más

$66.99 USD

PEDIDO ANTICIPADO

This book explores emerging advancements in intelligent computing, modern IT infrastructures, and next-generation networking technologies. The book presents contemporary theories, practical implementations, and research trends that integrate artificial intelligence, data-driven systems, and communication networks to solve real-world challenges in academia and industry.The book covers foundational
... Leer más
Information and Communication Technologies for Agriculture—Theme III: Decision

Edición de 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 ... Leer más

$116.99 USD

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
... Leer más
Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

Edición de Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Programación

Mostrar: