Rakuten Kobo

Mostrando 1993 - 2016 de 7673 resultados

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Edición de Thierry Lecomte, Leila Ribeiro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
... Leer más
The Handbook of Formal Methods in Human-Computer Interaction

Edición de Judy Bowen, Benjamin Weyers, Philippe Palanque, Alan Dix ...

Series series Computer Science (R0)
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems.World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive ... Leer más

$332.99 USD

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems.World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive
... Leer más
Agile Android

de Godfrey Nolan ...

This concise book walks you through how to get unit testing and test driven development done on Android, specifically using JUnit 4. You'll learn how to do agile development quickly and correctly, with a significant increase in development efficiency and a reduction in the number of defects.Agile practices have made major inroads in Java development, however it’s very unusual to see something as ... Leer más

$23.99 USD

This concise book walks you through how to get unit testing and test driven development done on Android, specifically using JUnit 4. You'll learn how to do agile development quickly and correctly, with a significant increase in development efficiency and a reduction in the number of defects.Agile practices have made major inroads in Java development, however it’s very unusual to see something as
... Leer más
Computing and Software Science

State of the Art and Perspectives

Edición de Bernhard Steffen, Gerhard Woeginger ...

Series series Computer Science (R0)
The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”.They are organized in two parts:The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.The ... Leer más

$28.99 USD

The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”.They are organized in two parts:The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.The
... Leer más
Chatbot Research and Design

Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers

Edición de Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop on Chatbot Research and Design, CONVERSATIONS 2019, held in Amsterdam, The Netherlands, in November 2019. The 18 revised full papers presented in this volume were carefully reviewed and selected from 31 submissions.The papers are grouped in the following topical sections: user and communication studies user ... Leer más

$76.99 USD

This book constitutes the refereed proceedings of the Third International Workshop on Chatbot Research and Design, CONVERSATIONS 2019, held in Amsterdam, The Netherlands, in November 2019. The 18 revised full papers presented in this volume were carefully reviewed and selected from 31 submissions.The papers are grouped in the following topical sections: user and communication studies user
... Leer más
MultiMedia Modeling

26th International Conference, MMM 2020, Daejeon, South Korea, January 5–8, 2020, Proceedings, Part II

Edición de Yong Man Ro, Wen-Huang Cheng, Junmo Kim, Wei-Ta Chu, Peng Cui, Jung-Woo Choi, Min-Chun Hu, Wesley De Neve ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 11961 and 11962 constitutes the thoroughly refereed proceedings of the 25th International Conference on MultiMedia Modeling, MMM 2020, held in Daejeon, South Korea, in January 2020.Of the 171 submitted full research papers, 40 papers were selected for oral presentation and 46 for poster presentation; 28 special session papers were selected for oral presentation and 8 for ... Leer más

$98.99 USD

The two-volume set LNCS 11961 and 11962 constitutes the thoroughly refereed proceedings of the 25th International Conference on MultiMedia Modeling, MMM 2020, held in Daejeon, South Korea, in January 2020.Of the 171 submitted full research papers, 40 papers were selected for oral presentation and 46 for poster presentation; 28 special session papers were selected for oral presentation and 8 for
... Leer más
Social Media Communication Data for Recovery

Detecting Socio-Economic Activities Following a Disaster

de Yuya Shibuya ...

This book explores the possibility of using social media data for detecting socio-economic recovery activities. In the last decade, there have been intensive research activities focusing on social media during and after disasters. This approach, which views people’s communication on social media as a sensor for real-time situations, has been widely adopted as the “people as sensor” approach. ... Leer más

$116.99 USD

This book explores the possibility of using social media data for detecting socio-economic recovery activities. In the last decade, there have been intensive research activities focusing on social media during and after disasters. This approach, which views people’s communication on social media as a sensor for real-time situations, has been widely adopted as the “people as sensor” approach.
... Leer más
IoT and Analytics for Agriculture

Edición de Prasant Kumar Pattnaik, Raghvendra Kumar, Souvik Pal, S. N. Panda ...

Series Libro 63 - Studies in Big Data
This book presents recent findings on virtually every aspect of wireless IoT and analytics for agriculture. It discusses IoT-based monitoring systems for analyzing the crop environment, and methods for improving the efficiency of decision-making based on the analysis of harvest statistics. In turn, it addresses the latest innovations, trends, and concerns, as well as practical challenges ... Leer más

$170.99 USD

This book presents recent findings on virtually every aspect of wireless IoT and analytics for agriculture. It discusses IoT-based monitoring systems for analyzing the crop environment, and methods for improving the efficiency of decision-making based on the analysis of harvest statistics. In turn, it addresses the latest innovations, trends, and concerns, as well as practical challenges
... Leer más
Advances in Artificial Intelligence and Machine Learning in Big Data Processing

First International Conference, AAIMB 2023, Chennai, India, August 17–18, 2023, Proceedings, Part-I

Edición de R. Geetha, Nhu-Ngoc Dao, Saeed Khalid ...

Series series Springer Nature Proceedings excluding Computer Science
This book constitutes the refereed proceedings of the First International Conference on Advances in Artificial Intelligence & Machine Learning in Big Data Processing, AAIMB 2023, held in Chennai, India, during August 17–18, 2023.The 51 full papers presented were carefully reviewed and selected from 183 submissions. They were organized in the following topical sections:Part I- artificial ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the First International Conference on Advances in Artificial Intelligence & Machine Learning in Big Data Processing, AAIMB 2023, held in Chennai, India, during August 17–18, 2023.The 51 full papers presented were carefully reviewed and selected from 183 submissions. They were organized in the following topical sections:Part I- artificial
... Leer más
Theory and Practice of Model Transformation

10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Edición de Esther Guerra, Mark van den Brand ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies;
... Leer más
Advances in Usability, User Experience and Assistive Technology

Proceedings of the AHFE 2018 International Conferences on Usability & User Experience and Human Factors and Assistive Technology, Held on July 21–25, 2018, in Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

Edición de Tareq Z. Ahram, Christianne Falcão ...

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

$395.99 USD

This book focuses on emerging issues in usability, interface design, human–computer interaction, user experience and assistive technology. It highlights research aimed at understanding human interaction with products, services and systems, and focuses on finding effective approaches for improving user experience. It also discusses key issues in designing and providing assistive devices and
... Leer más
Biomechanical Biofeedback Systems and Applications

de Anton Kos, Anton Umek ...

Series series Computer Science (R0)
This book deals with the topic of biomechanical biofeedback systems and applications that are primarily aimed at motor learning in sports and rehabilitation. It gives a comprehensive tutorial of the concepts, architectures, operation, and exemplary applications of biomechanical biofeedback systems.A special section is dedicated to various constraints in designing biomechanical biofeedback systems. ... Leer más

$80.99 USD

This book deals with the topic of biomechanical biofeedback systems and applications that are primarily aimed at motor learning in sports and rehabilitation. It gives a comprehensive tutorial of the concepts, architectures, operation, and exemplary applications of biomechanical biofeedback systems.A special section is dedicated to various constraints in designing biomechanical biofeedback systems.
... Leer más
Supercomputing

4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Edición de Vladimir Voevodin, Sergey Sobolev ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th Russian Supercomputing Days, RuSCDays 2018, held in Moscow, Russia, in September 2018.The 59 revised full papers and one revised short paper presented were carefully reviewed and selected from 136 submissions. The papers are organized in topical sections on parallel algorithms; supercomputer simulation; high performance architectures, tools ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 4th Russian Supercomputing Days, RuSCDays 2018, held in Moscow, Russia, in September 2018.The 59 revised full papers and one revised short paper presented were carefully reviewed and selected from 136 submissions. The papers are organized in topical sections on parallel algorithms; supercomputer simulation; high performance architectures, tools
... Leer más
Deep Learning Cookbook

Practical Recipes to Get Started Quickly

de Douwe Osinga ...

Deep learning doesn’t have to be intimidating. Until recently, this machine-learning method required years of study, but with frameworks such as Keras and Tensorflow, software engineers without a background in machine learning can quickly enter the field. With the recipes in this cookbook, you’ll learn how to solve deep-learning problems for classifying and generating text, images, and music.Each ... Leer más

$36.99 USD

Deep learning doesn’t have to be intimidating. Until recently, this machine-learning method required years of study, but with frameworks such as Keras and Tensorflow, software engineers without a background in machine learning can quickly enter the field. With the recipes in this cookbook, you’ll learn how to solve deep-learning problems for classifying and generating text, images, and music.Each
... Leer más
ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Edición de Arend Rensink, Joost-Pieter Katoen, Rom Langerak ...

Series series Computer Science (R0)
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The ... Leer más

$49.99 USD

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The
... Leer más
Evaluation of Rail Technology

A Practical Human Factors Guide

de Anjum Naweed, Jillian Dorrian, Janette Rose ...

Series series Human Factors in Road and Rail Transport
Rapid advancements in train control and in-cab technologies provide significant opportunities for rail operators to improve efficiency and enhance their operations. New technologies often provide elegant solutions to existing problems or new capabilities for the operator. However, new technologies may also represent a significant form of risk. Thus, it is important to balance the potential for ... Leer más

$84.99 USD

Rapid advancements in train control and in-cab technologies provide significant opportunities for rail operators to improve efficiency and enhance their operations. New technologies often provide elegant solutions to existing problems or new capabilities for the operator. However, new technologies may also represent a significant form of risk. Thus, it is important to balance the potential for
... Leer más
Advances in Design and Digital Communication II

Proceedings of the 5th International Conference on Design and Digital Communication, Digicom 2021, November 4–6, 2021, Barcelos, Portugal

Edición de Nuno Martins, Daniel Brandão ...

Series series Springer Nature Proceedings excluding Computer Science
This book reports on research findings and practical lessons featuring advances in the areas of digital and interaction design, graphic design and branding, design education, society and communication in design practice, and related ones. Gathering the proceedings of the 5th International Conference on Digital Design and Communication, Digicom 2021, held on November 4–6, 2021, in Barcelos, ... Leer más

$215.99 USD

This book reports on research findings and practical lessons featuring advances in the areas of digital and interaction design, graphic design and branding, design education, society and communication in design practice, and related ones. Gathering the proceedings of the 5th International Conference on Digital Design and Communication, Digicom 2021, held on November 4–6, 2021, in Barcelos,
... Leer más
Tangible Modeling with Open Source GIS

de Anna Petrasova, Brendan Harmon, Vaclav Petras, Payam Tabrizian, Helena Mitasova ...

Series series Computer Science (R0)
This book provides an overview of the latest developments in the fast growing field of tangible user interfaces. It presents a new type of modeling environment where the users interact with geospatial data and simulations using 3D physical landscape model coupled with 3D rendering engine. Multiple users can modify the physical model, while it is being scanned, providing input for geospatial ... Leer más

$116.99 USD

This book provides an overview of the latest developments in the fast growing field of tangible user interfaces. It presents a new type of modeling environment where the users interact with geospatial data and simulations using 3D physical landscape model coupled with 3D rendering engine. Multiple users can modify the physical model, while it is being scanned, providing input for geospatial
... Leer más
Human-Computer Systems Interaction

Backgrounds and Applications 4

Edición de Zdzisław S. Hippe, Juliusz L. Kulikowski, Teresa Mroczek ...

Series series Engineering (R0)
This book presents a fascinating, state-of-the-art collection of papers on the recent advances in human-computer systems interaction (H-CSI). It offers a detailed description of the status quo in the H-CSI field and also provides a solid base for further development and research in the area. The content is divided into three parts: I. Aid systems for disabled people; II. Decision-making support ... Leer más

$89.99 USD

This book presents a fascinating, state-of-the-art collection of papers on the recent advances in human-computer systems interaction (H-CSI). It offers a detailed description of the status quo in the H-CSI field and also provides a solid base for further development and research in the area. The content is divided into three parts: I. Aid systems for disabled people; II. Decision-making support
... Leer más
Reframing Information Architecture

Edición de Andrea Resmini ...

Series series Computer Science (R0)
Information architecture has changed dramatically since the mid-1990s and earlier conceptions of the world and the internet being different and separate have given way to a much more complex scenario in the present day. In the post-digital world that we now inhabit the digital and the physical blend easily and our activities and usage of information takes place through multiple contexts and via ... Leer más

$49.99 USD

Information architecture has changed dramatically since the mid-1990s and earlier conceptions of the world and the internet being different and separate have given way to a much more complex scenario in the present day. In the post-digital world that we now inhabit the digital and the physical blend easily and our activities and usage of information takes place through multiple contexts and via
... Leer más
Stripes by Example

de Brent Watson ...

In this 100-page book, you will find that Stripes provides a very simple learning path, where you do not need to understand the entire framework in order to use it. The concept of this book is exactly that – to get you using the framework and writing code immediately. You will be off and running in no time, and adding to your skill set as we progress.This book is written with exactly that learning ... Leer más

$23.99 USD

In this 100-page book, you will find that Stripes provides a very simple learning path, where you do not need to understand the entire framework in order to use it. The concept of this book is exactly that – to get you using the framework and writing code immediately. You will be off and running in no time, and adding to your skill set as we progress.This book is written with exactly that learning
... Leer más
Practice-based Design Research

Edición de Laurene Vaughan ...

Practice-Based Design Research provides a companion to masters and PhD programs in design research through practice. The contributors address a range of models and approaches to practice-based research, consider relationships between industry and academia, researchers and designers, discuss initiatives to support students and faculty during the research process, and explore how students' ... Leer más

$33.99 USD

Practice-Based Design Research provides a companion to masters and PhD programs in design research through practice. The contributors address a range of models and approaches to practice-based research, consider relationships between industry and academia, researchers and designers, discuss initiatives to support students and faculty during the research process, and explore how students'
... Leer más
Advanced Guide to Python 3 Programming

de John Hunt ...

Series series Computer Science (R0)
Advanced Guide to Python 3 Programming 2nd Edition delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level.This second edition has been significantly updated with two new sections on advanced ... Leer más

$76.99 USD

Advanced Guide to Python 3 Programming 2nd Edition delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level.This second edition has been significantly updated with two new sections on advanced
... Leer más
Concurrency, Security, and Puzzles

Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Edición de Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić ...

Series series Computer Science (R0)
This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in ... Leer más

$49.99 USD

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in
... 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: