Rakuten Kobo

Integrated Formal Methods

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

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

$49.49 USD

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,
... Leer más
Learn iOS Application Distribution

Successfully Distribute Apps

de Hagop Panosian ...

Series series Professional and Applied Computing (R0)
Cover every aspect of the app industry, from app idea generation through to marketing and performance monitoring. With this book you'll receive complete, reliable, up-to-date, and professional information and guidance.Learn iOS App Distribution is every developers thorough and accessible guide to successfully distributing apps. For readers who already know how to code and create apps, this book ... Leer más

$35.99 USD

Cover every aspect of the app industry, from app idea generation through to marketing and performance monitoring. With this book you'll receive complete, reliable, up-to-date, and professional information and guidance.Learn iOS App Distribution is every developers thorough and accessible guide to successfully distributing apps. For readers who already know how to code and create apps, this book
... Leer más
Automated Technology for Verification and Analysis

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

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

$49.49 USD

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

de Alessandro Stella ...

Di cosa parla questo libro?Questo libro parla della user experience come se ne parlerebbe in un corso universitario, ossia facendo riferimento agli studi scientifici e ai relativi ricercatori. Si è ritenuto di utilizzare un tale approccio perché la user experience è ancora un oggetto misterioso, qualcosa da confondere volentieri con l'usabilità o con il design. Ma è sufficiente collegare il ... Leer más

$5.99 USD o gratis con Kobo Plus

Di cosa parla questo libro?Questo libro parla della user experience come se ne parlerebbe in un corso universitario, ossia facendo riferimento agli studi scientifici e ai relativi ricercatori. Si è ritenuto di utilizzare un tale approccio perché la user experience è ancora un oggetto misterioso, qualcosa da confondere volentieri con l'usabilità o con il design. Ma è sufficiente collegare il
... Leer más
Coordination, Organizations, Institutions, and Norms in Agent Systems XII

COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Edición de Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016.The 9 full papers were carefully reviewed ... Leer más

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016.The 9 full papers were carefully reviewed
... Leer más
Making Sense of Haptics

Fundamentals of Perception and Implications for Device Design

de Femke Elise van Beek ...

Series series Computer Science (R0)
Tele operation systems, in which robots are controlled remotely, are a potential solution to performing tasks in remote, small, and hazardous environments. However, there is a big disadvantage to these systems; as the direct connection between the human and the environment is lost and operators are deprived of their sense of touch. The recreation of touch feedback through haptic devices is a ... Leer más

$80.09 USD

Tele operation systems, in which robots are controlled remotely, are a potential solution to performing tasks in remote, small, and hazardous environments. However, there is a big disadvantage to these systems; as the direct connection between the human and the environment is lost and operators are deprived of their sense of touch. The recreation of touch feedback through haptic devices is a
... Leer más
Computers Helping People with Special Needs

16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part I

Edición de Klaus Miesenberger, Georgios Kouroupetroglou ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10896 and 10897 constitutes the refereed proceedings of the 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018, held in Linz, Austria, in JulyThe 101 revised full papers and 78 short papers presented were carefully reviewed and selected from 356 submissions. The papers are organized in the following topical sections: Web accessibility ... Leer más

$76.49 USD

The two-volume set LNCS 10896 and 10897 constitutes the refereed proceedings of the 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018, held in Linz, Austria, in JulyThe 101 revised full papers and 78 short papers presented were carefully reviewed and selected from 356 submissions. The papers are organized in the following topical sections: Web accessibility
... Leer más
Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Edición de Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together ... Leer más

$49.49 USD

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together
... Leer más
Delphi GUI Programming with FireMonkey

Unleash the full potential of the FMX framework to build exciting cross-platform apps with Embarcadero Delphi

de Andrea Magni ...

Create modern yet effective multi-platform applications by building interactive UIs following a single codebase approach to boost productivityKey FeaturesDelve into the FireMonkey framework and explore its powerful capabilitiesEnhance the user experience by using various technologies included in Delphi and FMXBoost developer productivity through the cross-platform capabilities enabled by the ... Leer más

$36.89 USD o gratis con Kobo Plus

Create modern yet effective multi-platform applications by building interactive UIs following a single codebase approach to boost productivityKey FeaturesDelve into the FireMonkey framework and explore its powerful capabilitiesEnhance the user experience by using various technologies included in Delphi and FMXBoost developer productivity through the cross-platform capabilities enabled by the
... 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)
This is the second edition of the first ever book to explore the exciting new field of augmented reality art and its enabling technologies. The new edition has been thoroughly revised and updated, and contains 5 new chapters. As well as investigating augmented reality as a novel artistic medium the book covers cultural, social, spatial and cognitive facets of augmented reality art.Intended as a ... Leer más

$134.09 USD

This is the second edition of the first ever book to explore the exciting new field of augmented reality art and its enabling technologies. The new edition has been thoroughly revised and updated, and contains 5 new chapters. As well as investigating augmented reality as a novel artistic medium the book covers cultural, social, spatial and cognitive facets of augmented reality art.Intended as a
... Leer más
New Directions in Third Wave Human-Computer Interaction: Volume 2 - Methodologies

Edición de Michael Filimowicz, Veronika Tzankova ...

Series series Computer Science (R0)
This is the first extensive compilation documenting contemporary third wave HCI, covering key methodological developments at the leading edge of human-computer interactions. Now in its second decade as a major current of HCI research, the third wave integrates insights from the humanities and social sciences to emphasize human dimensions beyond workplace efficiency or cognitive capacities. Where ... Leer más

$143.09 USD

This is the first extensive compilation documenting contemporary third wave HCI, covering key methodological developments at the leading edge of human-computer interactions. Now in its second decade as a major current of HCI research, the third wave integrates insights from the humanities and social sciences to emphasize human dimensions beyond workplace efficiency or cognitive capacities. Where
... Leer más
Practical Video Game Bots

Automating Game Processes using C++, Python, and AutoIt

de Ilya Shpigor ...

Series series Professional and Applied Computing (R0)
Develop and use bots in video gaming to automate game processes and see possible ways to avoid this kind of automation. This book explains how bots can be very helpful in games such as multiplayer online games, both for training your character and for automating repetitious game processes in order to start a competition with human opponents much faster.Some players might use bots for cheating or ... Leer más

$40.49 USD

Develop and use bots in video gaming to automate game processes and see possible ways to avoid this kind of automation. This book explains how bots can be very helpful in games such as multiplayer online games, both for training your character and for automating repetitious game processes in order to start a competition with human opponents much faster.Some players might use bots for cheating or
... Leer más
Adaptive User Support

Ergonomic Design of Manually and Automatically Adaptable Software

Edición de Reinhard Oppermann ...

Series series Computers, Cognition, and Work Series
The potential of software applications to solve an array of office and administrative problems is increasing faster than the ability of users to exploit it. We need to make systems easier to learn and more comfortable to use. This book reports a major advance in the effort to accomplish both goals.Flexcel enables users to modify access and dialog dynamics to their specific requirements. Relying on ... Leer más

$94.99 USD

The potential of software applications to solve an array of office and administrative problems is increasing faster than the ability of users to exploit it. We need to make systems easier to learn and more comfortable to use. This book reports a major advance in the effort to accomplish both goals.Flexcel enables users to modify access and dialog dynamics to their specific requirements. Relying on
... Leer más
Data Science with Semantic Technologies

Deployment and Exploration

Edición de Archana Patel, Narayan C. Debnath ...

Gone are the days when data was interlinked with related data by humans and human interpretation was required. Data is no longer just data. It is now considered a Thing or Entity or Concept with meaning, so that a machine not only understands the concept but also extrapolates the way humans do.Data Science with Semantic Technologies: Deployment and Exploration, the second volume of a two-volume ... Leer más

$91.99 USD

Gone are the days when data was interlinked with related data by humans and human interpretation was required. Data is no longer just data. It is now considered a Thing or Entity or Concept with meaning, so that a machine not only understands the concept but also extrapolates the way humans do.Data Science with Semantic Technologies: Deployment and Exploration, the second volume of a two-volume
... Leer más
Neural Networks and Deep Learning

A Textbook

de Charu C. Aggarwal ...

Series series Mathematics and Statistics (R0)
This book covers both classical and modern models in deep learning. The primary focus is on the theory and algorithms of deep learning. The theory and algorithms of neural networks are particularly important for understanding important concepts, so that one can understand the important design concepts of neural architectures in different applications. Why do neural networks work? When do they work ... Leer más

$53.99 USD

This book covers both classical and modern models in deep learning. The primary focus is on the theory and algorithms of deep learning. The theory and algorithms of neural networks are particularly important for understanding important concepts, so that one can understand the important design concepts of neural architectures in different applications. Why do neural networks work? When do they work
... Leer más
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

de Paul Lokuciejewski, Peter Marwedel ...

Series series Engineering (R0)
For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations ... Leer más

$143.09 USD

For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations
... Leer más
Emergent Web Intelligence: Advanced Semantic Technologies

Edición de Youakim Badr, Richard Chbeir, Ajith Abraham, Aboul-Ella Hassanien ...

Series series Computer Science (R0)
The success of the World Wide Web depends on the ability of users to store, p- cess and retrieve digital information regardless of distance boundaries, languages and domains of knowledge. The universality and ?exibility of the World Wide Web have also enabled the rapid growth of a variety of new services and applications based on human–machine interaction. The semantics of exchanged information ... Leer más

$143.09 USD

The success of the World Wide Web depends on the ability of users to store, p- cess and retrieve digital information regardless of distance boundaries, languages and domains of knowledge. The universality and ?exibility of the World Wide Web have also enabled the rapid growth of a variety of new services and applications based on human–machine interaction. The semantics of exchanged information
... Leer más
Spatial Auditory Human-Computer Interfaces

de Jaka Sodnik, Sašo Tomažič ...

Series series Computer Science (R0)
This book focuses on a special group of auditory interfaces using spatial sound for the representation of information. The addition of information on the location of a selected sound source or a group of sources shows many advantages over a mere single-channel audio. This survey explains the most important limitations of the human hearing system and the perception of spatial sound. It also ... Leer más

$49.49 USD

This book focuses on a special group of auditory interfaces using spatial sound for the representation of information. The addition of information on the location of a selected sound source or a group of sources shows many advantages over a mere single-channel audio. This survey explains the most important limitations of the human hearing system and the perception of spatial sound. It also
... Leer más
Mastering Time Series Analysis and Forecasting with Python

Bridging Theory and Practice Through Insights, Techniques, and Tools for Effective Time Series Analysis in Python

de Sulekha Aloorravi ...

**Decode the language of time with Python. Discover powerful techniques to analyze, forecast, and innovate.Key Features**● Dive into time series analysis fundamentals, progressing to advanced Python techniques.● Gain practical expertise with real-world datasets and hands-on examples.● Strengthen skills with code snippets, exercises, and projects for deeper understanding.Book Description"Mastering ... Leer más

$19.95 USD o gratis con Kobo Plus

**Decode the language of time with Python. Discover powerful techniques to analyze, forecast, and innovate.Key Features**● Dive into time series analysis fundamentals, progressing to advanced Python techniques.● Gain practical expertise with real-world datasets and hands-on examples.● Strengthen skills with code snippets, exercises, and projects for deeper understanding.Book Description"Mastering
... Leer más
Data Warehousing

Optimizing Data Storage And Retrieval For Business Success

de Rob Botwright ...

Introducing the "Data Warehousing: Optimizing Data Storage and Retrieval for Business Success" bundle!Unlock the full potential of your data with this comprehensive collection of four essential books: Data Warehousing Fundamentals: A Beginner's GuideDive into the foundational principles of data warehousing and learn how to build a solid framework for storing and managing your organization's data ... Leer más

$7.99 USD o gratis con Kobo Plus

Introducing the "Data Warehousing: Optimizing Data Storage and Retrieval for Business Success" bundle!Unlock the full potential of your data with this comprehensive collection of four essential books: Data Warehousing Fundamentals: A Beginner's GuideDive into the foundational principles of data warehousing and learn how to build a solid framework for storing and managing your organization's data
... Leer más
The Ultimate Guide to Snowpark

Design and deploy Snowflake Snowpark with Python for efficient data workloads

de Shankar Narayanan SGS, Vivekanandan SS ...

Develop robust data pipelines, deploy mature machine learning models, and build secure data apps with Snowflake Snowpark using PythonKey FeaturesGet to grips with Snowflake Snowpark’s basic and advanced featuresImplement workloads in domains like data engineering, data science, and data applications using Snowpark with PythonDeploy Snowpark in production with practical examples and best ... Leer más

$32.39 USD o gratis con Kobo Plus

Develop robust data pipelines, deploy mature machine learning models, and build secure data apps with Snowflake Snowpark using PythonKey FeaturesGet to grips with Snowflake Snowpark’s basic and advanced featuresImplement workloads in domains like data engineering, data science, and data applications using Snowpark with PythonDeploy Snowpark in production with practical examples and best
... Leer más
Vue. JS Framework

Design and Implementation

de HcySun Yang ...

Series series Computer Science (R0)
Vue.js, as the Data-driven front-end framework, stands out as one of the mainstream choices for front-end developers. This book provides a detailed introduction of Vue.js framework design principles, including an overview of framework design, response systems, renderers, componentization, compilers, and server-side rendering. Based on Vue.js 3 and strict compliance with the specifications, this ... Leer más

$62.99 USD

Vue.js, as the Data-driven front-end framework, stands out as one of the mainstream choices for front-end developers. This book provides a detailed introduction of Vue.js framework design principles, including an overview of framework design, response systems, renderers, componentization, compilers, and server-side rendering. Based on Vue.js 3 and strict compliance with the specifications, this
... Leer más
Immersive Technology in Smart Cities

Augmented and Virtual Reality in IoT

Edición de Sagaya Aurelia, Sara Paiva ...

Series series Engineering (R0)
This book presents recent trends and enhancements in the convergence of immersive technology and smart cities. The authors discuss various domains such as medical education, construction, brain interface, interactive storytelling, edification, and journalism in relation to combining smart cities, IoT and immersive technologies. The book sets up a medium to promulgate insights and in depth ... Leer más

$107.09 USD

This book presents recent trends and enhancements in the convergence of immersive technology and smart cities. The authors discuss various domains such as medical education, construction, brain interface, interactive storytelling, edification, and journalism in relation to combining smart cities, IoT and immersive technologies. The book sets up a medium to promulgate insights and in depth
... Leer más
Power Query Cookbook

Use effective and powerful queries in Power BI Desktop and Dataflows to prepare and transform your data

de Andrea Janicijevic ...

Leverage your source data from hundreds of different connections, perform millions of different transformations, and easily manage highly complex data lifecycles with Power QueryKey FeaturesCollect, combine, and transform data using Power Query's data connectivity and data preparation featuresOvercome the problems faced while accessing data from multiple sources and reshape it to meet your ... Leer más

$37.79 USD o gratis con Kobo Plus

Leverage your source data from hundreds of different connections, perform millions of different transformations, and easily manage highly complex data lifecycles with Power QueryKey FeaturesCollect, combine, and transform data using Power Query's data connectivity and data preparation featuresOvercome the problems faced while accessing data from multiple sources and reshape it to meet your
... 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: