Rakuten Kobo

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

$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,
... Read more
Designing for Wearables

Effective UX for Current and Future Devices

by Scott Sullivan ...

Now may be the perfect time to enter the wearables industry. With the range of products that have appeared in recent years, you can determine which ideas resonate with users and which don’t before leaping into the market. In this practical guide, author Scott Sullivan examines the current wearables ecosystem and then demonstrates the impact that service design in particular will have on these ... Read more

$21.99 USD

Now may be the perfect time to enter the wearables industry. With the range of products that have appeared in recent years, you can determine which ideas resonate with users and which don’t before leaping into the market. In this practical guide, author Scott Sullivan examines the current wearables ecosystem and then demonstrates the impact that service design in particular will have on these
... Read more
Handbook of Graphs and Networks in People Analytics

With Examples in R and Python

by Keith McNulty ...

Handbook of Graphs and Networks in People Analytics: With Examples in R and Python covers the theory and practical implementation of graph methods in R and Python for the analysis of people and organizational networks. Starting with an overview of the origins of graph theory and its current applications in the social sciences, the book proceeds to give in-depth technical instruction on how to ... Read more

$106.99 USD

Handbook of Graphs and Networks in People Analytics: With Examples in R and Python covers the theory and practical implementation of graph methods in R and Python for the analysis of people and organizational networks. Starting with an overview of the origins of graph theory and its current applications in the social sciences, the book proceeds to give in-depth technical instruction on how to
... Read more
Smart Microgrid Systems

Advanced Technologies

by KTM Udayanga Hemapala, MK Perera ...

This book highlights microgrids as integrating platforms for distributed generation units, energy storages and local loads, with an emphasis on system performance via innovative approaches. It explains the smart power system concept, transmission, distribution, and utilization, and then looks at distributed generation technologies and hybrid power systems. Smart approaches, an analysis of ... Read more

$68.99 USD

This book highlights microgrids as integrating platforms for distributed generation units, energy storages and local loads, with an emphasis on system performance via innovative approaches. It explains the smart power system concept, transmission, distribution, and utilization, and then looks at distributed generation technologies and hybrid power systems. Smart approaches, an analysis of
... Read more
A Behavioral Economics Approach to Interactive Information Retrieval

Understanding and Supporting Boundedly Rational Users

by Jiqun Liu ...

Series series Computer Science (R0)
This book brings together the insights from three different areas, Information Seeking and Retrieval, Cognitive Psychology, and Behavioral Economics, and shows how this new interdisciplinary approach can advance our knowledge about users interacting with diverse search systems, especially their seemingly irrational decisions and anomalies that could not be predicted by most normative models.The ... Read more

$152.99 USD

This book brings together the insights from three different areas, Information Seeking and Retrieval, Cognitive Psychology, and Behavioral Economics, and shows how this new interdisciplinary approach can advance our knowledge about users interacting with diverse search systems, especially their seemingly irrational decisions and anomalies that could not be predicted by most normative models.The
... Read more
Advanced Analytics with Spark

Patterns for Learning from Data at Scale

by Sean Owen, Josh Wills, Sandy Ryza, Uri Laserson ...

In the second edition of this practical book, four Cloudera data scientists present a set of self-contained patterns for performing large-scale data analysis with Spark. The authors bring Spark, statistical methods, and real-world data sets together to teach you how to approach analytics problems by example. Updated for Spark 2.1, this edition acts as an introduction to these techniques and other ... Read more

$36.99 USD

In the second edition of this practical book, four Cloudera data scientists present a set of self-contained patterns for performing large-scale data analysis with Spark. The authors bring Spark, statistical methods, and real-world data sets together to teach you how to approach analytics problems by example. Updated for Spark 2.1, this edition acts as an introduction to these techniques and other
... Read more
Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Edited by Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto ...

Series series Computer Science (R0)
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and ... Read more

$49.99 USD

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and
... Read more
Bankruptcy Prediction through Soft Computing based Deep Learning Technique

by Soumya K Ghosh, Arindam Chaudhuri ...

Series series Computer Science (R0)
This book proposes complex hierarchical deep architectures (HDA) for predicting bankruptcy, a topical issue for business and corporate institutions that in the past has been tackled using statistical, market-based and machine-intelligence prediction models. The HDA are formed through fuzzy rough tensor deep staking networks (FRTDSN) with structured, hierarchical rough Bayesian (HRB) models. FRTDSN ... Read more

$49.99 USD

This book proposes complex hierarchical deep architectures (HDA) for predicting bankruptcy, a topical issue for business and corporate institutions that in the past has been tackled using statistical, market-based and machine-intelligence prediction models. The HDA are formed through fuzzy rough tensor deep staking networks (FRTDSN) with structured, hierarchical rough Bayesian (HRB) models. FRTDSN
... Read more
Beginning Django

Web Application Development and Deployment with Python

by Daniel Rubio ...

Discover the Django web application framework and get started building Python-based web applications. This book takes you from the basics of Django all the way through to cutting-edge topics such as creating RESTful applications. Beginning Django also covers ancillary, but essential, development topics, including configuration settings, static resource management, logging, debugging, and email. ... Read more

$35.99 USD

Discover the Django web application framework and get started building Python-based web applications. This book takes you from the basics of Django all the way through to cutting-edge topics such as creating RESTful applications. Beginning Django also covers ancillary, but essential, development topics, including configuration settings, static resource management, logging, debugging, and email.
... Read more
Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Edited by Ahmed Bouajjani, David Monniaux ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract
... Read more
Design, User Experience, and Usability: Understanding Users and Contexts

6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III

Edited by Aaron Marcus, Wentao Wang ...

Series Book 3 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 10288, 10289, and 10290 constitutes the proceedings of the 6th International Conference on Design, User Experience, and Usability, DUXU 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the ... Read more

$89.99 USD

The three-volume set LNCS 10288, 10289, and 10290 constitutes the proceedings of the 6th International Conference on Design, User Experience, and Usability, DUXU 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the
... Read more
Human-Computer Interaction. User Interface Design, Development and Multimodality

19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Edited by Masaaki Kurosu ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017.The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts ... Read more

$49.99 USD

The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017.The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts
... Read more
Scientific Computing, Computer Arithmetic, and Validated Numerics

16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

Edited by Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other ... Read more

$49.99 USD

This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other
... Read more
Requirements Engineering: Foundation for Software Quality

26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings

Edited by Nazim Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2020, which was due to be held in Pisa, Italy, in March 2020. Due to the COVID-19 pandemic the conference was held virtually in June 2020.The 14 full papers and 7 short papers in this volume were carefully reviewed and selected from 84 submissions. ... Read more

$49.99 USD

This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2020, which was due to be held in Pisa, Italy, in March 2020. Due to the COVID-19 pandemic the conference was held virtually in June 2020.The 14 full papers and 7 short papers in this volume were carefully reviewed and selected from 84 submissions.
... Read more
Practical Apache Spark

Using the Scala API

by Subhashini Chellappan, Dharanitharan Ganesan ...

Series series Professional and Applied Computing (R0)
Work with Apache Spark using Scala to deploy and set up single-node, multi-node, and high-availability clusters. This book discusses various components of Spark such as Spark Core, DataFrames, Datasets and SQL, Spark Streaming, Spark MLib, and R on Spark with the help of practical code snippets for each topic. Practical Apache Spark also covers the integration of Apache Spark with Kafka with ... Read more

$53.99 USD

Work with Apache Spark using Scala to deploy and set up single-node, multi-node, and high-availability clusters. This book discusses various components of Spark such as Spark Core, DataFrames, Datasets and SQL, Spark Streaming, Spark MLib, and R on Spark with the help of practical code snippets for each topic. Practical Apache Spark also covers the integration of Apache Spark with Kafka with
... Read more
Functional Interfaces in Java

Fundamentals and Examples

by Ralph Lecessi ...

Series series Professional and Applied Computing (R0)
Reduce development time by organizing your programs as chains of functional interfaces and see that the advantages of using functional interfaces include the flexibility and power of inlined functional chains and reuse of functional methods utilized throughout the Java API. You’ll see how complex logical expressions can be reduced to chains of predicates and how chains of comparators can be used ... Read more

$62.99 USD

Reduce development time by organizing your programs as chains of functional interfaces and see that the advantages of using functional interfaces include the flexibility and power of inlined functional chains and reuse of functional methods utilized throughout the Java API. You’ll see how complex logical expressions can be reduced to chains of predicates and how chains of comparators can be used
... Read more
Beginning Game Development with Amazon Lumberyard

Create 3D Games Using Amazon Lumberyard and Lua

by Jaken Chandler Herman ...

Series series Professional and Applied Computing (R0)
Create stunning 3D games in a short amount of time using Amazon Lumberyard, a free and exciting game development platform. This book is a ground-up, out-of-the-box tutorial on 3D game development and programming with Lua and Amazon Lumberyard with little or no game development experience required.Beginning Game Development with Amazon Lumberyard walks you through the user interface of the Amazon ... Read more

$35.99 USD

Create stunning 3D games in a short amount of time using Amazon Lumberyard, a free and exciting game development platform. This book is a ground-up, out-of-the-box tutorial on 3D game development and programming with Lua and Amazon Lumberyard with little or no game development experience required.Beginning Game Development with Amazon Lumberyard walks you through the user interface of the Amazon
... Read more
Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery

Volume 2

Edited by Yong Liu, Lipo Wang, Liang Zhao, Zhengtao Yu ...

Series series Springer Nature Proceedings excluding Computer Science
This book discusses the recent advances in natural computation, fuzzy systems and knowledge discovery. Presenting selected, peer-reviewed papers from the 15th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2019), held in Kunming, China, from 20 to 22 July 2019, it is a useful resource for researchers, including professors and graduate students, as ... Read more

$242.99 USD

This book discusses the recent advances in natural computation, fuzzy systems and knowledge discovery. Presenting selected, peer-reviewed papers from the 15th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2019), held in Kunming, China, from 20 to 22 July 2019, it is a useful resource for researchers, including professors and graduate students, as
... Read more
Acessibilidade na Web

Boas práticas para construir sites e aplicações acessíveis

by Reinaldo Ferraz ...

Acessibilidade na Web consiste na eliminação de barreiras de acesso em páginas e aplicações digitais para que pessoas com deficiência tenham autonomia na rede. Na verdade, acessibilidade na web beneficia todas as pessoas. Em algum momento da vida todos podem precisar de acessibilidade, seja devido a uma limitação temporária ou permanente. Quando não levamos em consideração o acesso de pessoas com ... Read more

$9.99 USD or Free with Kobo Plus

Acessibilidade na Web consiste na eliminação de barreiras de acesso em páginas e aplicações digitais para que pessoas com deficiência tenham autonomia na rede. Na verdade, acessibilidade na web beneficia todas as pessoas. Em algum momento da vida todos podem precisar de acessibilidade, seja devido a uma limitação temporária ou permanente. Quando não levamos em consideração o acesso de pessoas com
... Read more
Cognitive Computing

Theorie, Technik und Praxis

Edited by Edy Portmann, Sara D'Onofrio ...

Series series Computer Science and Engineering (German Language)
Mit diesem Buch führen die Herausgeber den Begriff „Cognitive Computing“ ein. Unter Cognitive Computing werden verschiedene Technologieansätze wie künstliche neuronale Netze, Fuzzy-Systeme und evolutionäres Rechnen zusammengefasst mit dem Ziel, die kognitiven Fähigkeiten eines Menschen (Denken, Lernen, Schlussfolgern etc.) mithilfe von Computermodellen zu simulieren. Nebst den theoretischen ... Read more

$53.99 USD

Mit diesem Buch führen die Herausgeber den Begriff „Cognitive Computing“ ein. Unter Cognitive Computing werden verschiedene Technologieansätze wie künstliche neuronale Netze, Fuzzy-Systeme und evolutionäres Rechnen zusammengefasst mit dem Ziel, die kognitiven Fähigkeiten eines Menschen (Denken, Lernen, Schlussfolgern etc.) mithilfe von Computermodellen zu simulieren. Nebst den theoretischen
... Read more
Serviceology for Services

7th International Conference, ICServ 2020, Osaka, Japan, March 13–15, 2020, Proceedings

Edited by Takeshi Takenaka, Spring Han, Chieko Minami ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Serviceology for Services, held in Osaka, Japan, in March 2020.The 16 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 58 submissions. The papers are organized around the following topics: hospitality management; service innovation and employee engagement; service ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 7th International Conference on Serviceology for Services, held in Osaka, Japan, in March 2020.The 16 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 58 submissions. The papers are organized around the following topics: hospitality management; service innovation and employee engagement; service
... Read more
UX on the Go

A Flexible Guide to User Experience Design

by Andrew Mara ...

Designed with flexibility and readers’ needs in mind, this purpose driven book offers new UX practitioners succinct and complete intructions on how to conduct user research and rapidly design interfaces and products in the classroom or the office.With 16 challenges to learn from, this comprehensive guide outlines the process of a User Experience project cycle from assembling a team to researching ... Read more

$57.99 USD

Designed with flexibility and readers’ needs in mind, this purpose driven book offers new UX practitioners succinct and complete intructions on how to conduct user research and rapidly design interfaces and products in the classroom or the office.With 16 challenges to learn from, this comprehensive guide outlines the process of a User Experience project cycle from assembling a team to researching
... Read more
A11Y Unraveled

Become a Web Accessibility Ninja

by Dimitris Georgakas ...

Series series Professional and Applied Computing (R0)
Make designing and developing accessible websites fun and straightforward by deciphering information that is often confusing. This book examines how web professionals can ensure a website is as accessible as it can be, meeting the needs of its audience.The main focus is on web accessibility and, WCAG 2.1 and 2.2 guidelines: what they are, who they are for, and what can be done from a design point ... Read more

$53.99 USD

Make designing and developing accessible websites fun and straightforward by deciphering information that is often confusing. This book examines how web professionals can ensure a website is as accessible as it can be, meeting the needs of its audience.The main focus is on web accessibility and, WCAG 2.1 and 2.2 guidelines: what they are, who they are for, and what can be done from a design point
... Read more
Machine Learning Using R

With Time Series and Industry-Based Use Cases in R

by Karthik Ramasubramanian, Abhishek Singh ...

Series series Professional and Applied Computing (R0)
Examine the latest technological advancements in building a scalable machine-learning model with big data using R. This second edition shows you how to work with a machine-learning algorithm and use it to build a ML model from raw data. You will see how to use R programming with TensorFlow, thus avoiding the effort of learning Python if you are only comfortable with R.As in the first edition, the ... Read more

$62.99 USD

Examine the latest technological advancements in building a scalable machine-learning model with big data using R. This second edition shows you how to work with a machine-learning algorithm and use it to build a ML model from raw data. You will see how to use R programming with TensorFlow, thus avoiding the effort of learning Python if you are only comfortable with R.As in the first edition, the
... 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: