Rakuten Kobo

Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I

Edited by Valeria V. Krzhizhanovskaya, Gábor Závodszky, Michael H. Lees, Jack J. Dongarra, Peter M. A. Sloot, Sérgio Brissos, João Teixeira ...

Series Book 1 - Springer Nature Proceedings Computer Science
The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.*The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track ... Read more

$49.99 USD

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.*The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track
... Read more
Mobility of Visually Impaired People

Fundamentals and ICT Assistive Technologies

Edited by Edwige Pissaloux, Ramiro Velazquez ...

Series series Engineering (R0)
The new edition of this book provides the basis for the design of new mobility assistive ICT (information and communication technologies) devices for the visually impaired. The book links philosophy, neuro-cognitive sciences, science of locomotion and engineering sciences. This book proposes a global approach to the complex and not well understood question of mobility (of healthy and visually ... Read more

$143.99 USD

The new edition of this book provides the basis for the design of new mobility assistive ICT (information and communication technologies) devices for the visually impaired. The book links philosophy, neuro-cognitive sciences, science of locomotion and engineering sciences. This book proposes a global approach to the complex and not well understood question of mobility (of healthy and visually
... Read more
Human Work Interaction Design: Analysis and Interaction Design Methods for Pervasive and Smart Workplaces

4th IFIP 13.6 Working Conference, HWID 2015, London, UK, June 25-26, 2015, Revised Selected Papers

Edited by Arminda Lopes, Pedro Campos, Torkil Clemmensen, Barbara Rita Baricelli, José Abdelnour-Nocera ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP WG 13.6 Working Conference on Human Work Interaction Design, HWID 2015, held in London, UK, in June 2015. The 15 revised full papers presented were carefully selected for inclusion in this volume. The papers reflect many different areas and address many complex and diverse work domains, focusing on the ... Read more

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP WG 13.6 Working Conference on Human Work Interaction Design, HWID 2015, held in London, UK, in June 2015. The 15 revised full papers presented were carefully selected for inclusion in this volume. The papers reflect many different areas and address many complex and diverse work domains, focusing on the
... Read more
Learning Bayesian Models with R

Become an expert in Bayesian Machine Learning methods using R and apply them to solve real-world big data problems

by Hari Manassery Koduvely ...

Key FeaturesBook DescriptionBayesian Inference provides a unified framework to deal with all sorts of uncertainties when learning patterns form data using machine learning models and use it for predicting future observations. However, learning and implementing Bayesian models is not easy for data science practitioners due to the level of mathematical treatment involved. Also, applying Bayesian ... Read more

$27.99 USD or Free with Kobo Plus

Key FeaturesBook DescriptionBayesian Inference provides a unified framework to deal with all sorts of uncertainties when learning patterns form data using machine learning models and use it for predicting future observations. However, learning and implementing Bayesian models is not easy for data science practitioners due to the level of mathematical treatment involved. Also, applying Bayesian
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 2 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Read more

$49.99 USD

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Read more
Fuzzy Logic Theory And Applications: Part I And Part Ii

by Lotfi A Zadeh, Rafik Aziz Aliev ...

Nowadays, voluminous textbooks and monographs in fuzzy logic are devoted only to separate or some combination of separate facets of fuzzy logic. There is a lack of a single book that presents a comprehensive and self-contained theory of fuzzy logic and its applications.Written by world renowned authors, Lofti Zadeh, also known as the Father of Fuzzy Logic, and Rafik Aliev, who are pioneers in ... Read more

$53.99 USD

Nowadays, voluminous textbooks and monographs in fuzzy logic are devoted only to separate or some combination of separate facets of fuzzy logic. There is a lack of a single book that presents a comprehensive and self-contained theory of fuzzy logic and its applications.Written by world renowned authors, Lofti Zadeh, also known as the Father of Fuzzy Logic, and Rafik Aliev, who are pioneers in
... Read more
Digital Phenotyping and Mobile Sensing

New Developments in Psychoinformatics

Edited by Harald Baumeister, Christian Montag ...

Series series Biomedical and Life Sciences (R0)
This book offers a snapshot of cutting-edge applications of mobile sensing for digital phenotyping in the field of Psychoinformatics. The respective chapters, written by authoritative researchers, cover various aspects related to the use of these technologies in health, education, and cognitive science research. They share insights both into established applications of mobile sensing (such as ... Read more

$152.99 USD

This book offers a snapshot of cutting-edge applications of mobile sensing for digital phenotyping in the field of Psychoinformatics. The respective chapters, written by authoritative researchers, cover various aspects related to the use of these technologies in health, education, and cognitive science research. They share insights both into established applications of mobile sensing (such as
... Read more
Persuasive Technology. Designing for Future Change

15th International Conference on Persuasive Technology, PERSUASIVE 2020, Aalborg, Denmark, April 20–23, 2020, Proceedings

Edited by Sandra Burri Gram-Hansen, Tanja Svarre Jonasen, Cees Midden ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Persuasive Technology, PERSUASIVE 2020, held in Aalborg, Denmark, in April 2020.The 18 full papers presented in this book were carefully reviewed and selected from 79 submissions. The papers are grouped in the following topical sections: methodological and theoretical perspectives on persuasive design; ... Read more

$58.99 USD

This book constitutes the refereed proceedings of the 15th International Conference on Persuasive Technology, PERSUASIVE 2020, held in Aalborg, Denmark, in April 2020.The 18 full papers presented in this book were carefully reviewed and selected from 79 submissions. The papers are grouped in the following topical sections: methodological and theoretical perspectives on persuasive design;
... Read more
Knowledge-Based Software Engineering: 2020

Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020

Edited by Maria Virvou, Hiroyuki Nakagawa, Lakhmi C. Jain ...

Series series Springer Nature Proceedings Computer Science
This book summarizes the research findings presented at the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), which took place on August 24–26, 2020. JCKBSE 2020 was originally planned to take place in Larnaca, Cyprus. Unfortunately, the COVID-19 pandemic forced it be rescheduled as an online conference.JCKBSE is a well-established, international, biennial ... Read more

$134.99 USD

This book summarizes the research findings presented at the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), which took place on August 24–26, 2020. JCKBSE 2020 was originally planned to take place in Larnaca, Cyprus. Unfortunately, the COVID-19 pandemic forced it be rescheduled as an online conference.JCKBSE is a well-established, international, biennial
... Read more
Disruptive Technologies: The Convergence of New Paradigms in Architecture

Edited by Philippe Morel, Henriette Bier ...

Series series Computer Science (R0)
Through a series of highly speculative contributions by both leading and highly acclaimed practitioners and theorists, this book gives a new comprehensive overview of architectures’ most recent practical and theoretical developments.While a few chapters are mostly dedicated to a historical analysis of how we got to experience a new technological reality in architecture and beyond, all chapters ... Read more

$107.99 USD

Through a series of highly speculative contributions by both leading and highly acclaimed practitioners and theorists, this book gives a new comprehensive overview of architectures’ most recent practical and theoretical developments.While a few chapters are mostly dedicated to a historical analysis of how we got to experience a new technological reality in architecture and beyond, all chapters
... Read more
Whose Work Does the Computer Do?

Foundations of Work Informatics

by Markku I. Nurminen ...

In this book, which belongs to the field of Information Systems Research, work informatics refers extensively to information technology and information systems. Its point of departure, however, is work itself, while technology must settle for playing the role of being a tool. The goal of an information system thus lies outside itself - in the goal-oriented activities of an organization. In work ... Read more

$16.99 USD or Free with Kobo Plus

In this book, which belongs to the field of Information Systems Research, work informatics refers extensively to information technology and information systems. Its point of departure, however, is work itself, while technology must settle for playing the role of being a tool. The goal of an information system thus lies outside itself - in the goal-oriented activities of an organization. In work
... Read more
Unreal Engine 5 For Beginners

Build High-Quality Games, Immersive Virtual Worlds, And Advanced Interactive Contents

by Calren Dovale ...

This book is a comprehensive guide designed to take readers through the powerful tools and capabilities of Unreal Engine 2025. Aimed at developers, creatives, and industry professionals, this book covers everything from the basics to advanced techniques in game development, virtual production, and simulation.The book kicks off with an overview of Unreal Engine in its chapter one, highlighting its ... Read more

$10.99 USD or Free with Kobo Plus

This book is a comprehensive guide designed to take readers through the powerful tools and capabilities of Unreal Engine 2025. Aimed at developers, creatives, and industry professionals, this book covers everything from the basics to advanced techniques in game development, virtual production, and simulation.The book kicks off with an overview of Unreal Engine in its chapter one, highlighting its
... Read more
Pro MERN Stack

Full Stack Web App Development with Mongo, Express, React, and Node

by Vasan Subramanian ...

Series series Professional and Applied Computing (R0)
Assemble the complete stack required to build a modern web app using MongoDB, Express, React, and Node. This book also covers many other complementary tools: React Router, GraphQL, React-Bootstrap, Babel, and Webpack. This new edition will use the latest version of React (React 16) and the latest React Router (React Router 4), which has a significantly different approach to routing compared to ... Read more

$49.99 USD

Assemble the complete stack required to build a modern web app using MongoDB, Express, React, and Node. This book also covers many other complementary tools: React Router, GraphQL, React-Bootstrap, Babel, and Webpack. This new edition will use the latest version of React (React 16) and the latest React Router (React Router 4), which has a significantly different approach to routing compared to
... Read more
UI图标设计与制作

by 汪兰川, 刘春雷著 ...

本书通过图文和视频，阐述了UI图标设计理念、创作过程和设计方法，重点讲解了当今主流风格图标的详细制作方法，帮助读者从零开始，制作出属于自己的UI图标。 ... Read more

$17.99 USD

本书通过图文和视频，阐述了UI图标设计理念、创作过程和设计方法，重点讲解了当今主流风格图标的详细制作方法，帮助读者从零开始，制作出属于自己的UI图标。
... Read more
Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Edited by Alexander Romanovsky, Elena A. Troubitsyna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance,
... Read more
Learning Axure RP Interactive Prototypes

by John Henry Krahenbuhl ...

About This BookUnderstand the fundamentals and the architecture of Axure RPBuild fascinating and interactive prototypes without writing a single line of codeFamiliarize yourself with effective time-saving methods you can use to construct and annotate wireframes, interactive prototypes, and UX specificationsWho This Book Is ForIf you are a user experience professional, designer, information ... Read more

$27.99 USD or Free with Kobo Plus

About This BookUnderstand the fundamentals and the architecture of Axure RPBuild fascinating and interactive prototypes without writing a single line of codeFamiliarize yourself with effective time-saving methods you can use to construct and annotate wireframes, interactive prototypes, and UX specificationsWho This Book Is ForIf you are a user experience professional, designer, information
... Read more
Windows 8.1: Out of the Box

by Mike Halsey ...

Get a real feel for Windows 8.1 with a wealth of tips in this step-by-step guide. After using Windows 7 or XP, learning Microsoft’s latest operating system takes some adjustment. Never fear. Windows expert Mike Halsey starts with the basics and then takes you through the trickier parts of Microsoft’s latest operating system. You’ll quickly learn how to make the most of Windows 8 for work and ... Read more

$8.99 USD

Get a real feel for Windows 8.1 with a wealth of tips in this step-by-step guide. After using Windows 7 or XP, learning Microsoft’s latest operating system takes some adjustment. Never fear. Windows expert Mike Halsey starts with the basics and then takes you through the trickier parts of Microsoft’s latest operating system. You’ll quickly learn how to make the most of Windows 8 for work and
... Read more
Converging Clinical and Engineering Research on Neurorehabilitation III

Proceedings of the 4th International Conference on NeuroRehabilitation (ICNR2018), October 16-20, 2018, Pisa, Italy

Edited by Lorenzo Masia, Silvestro Micera, Metin Akay, José L. Pons ...

Series series Springer Nature Proceedings excluding Computer Science
The book reports on advanced topics in the areas of neurorehabilitation research and practice. It focuses on new methods for interfacing the human nervous system with electronic and mechatronic systems to restore or compensate impaired neural functions. Importantly, the book merges different perspectives, such as the clinical, neurophysiological, and bioengineering ones, to promote, feed and ... Read more

$188.99 USD

The book reports on advanced topics in the areas of neurorehabilitation research and practice. It focuses on new methods for interfacing the human nervous system with electronic and mechatronic systems to restore or compensate impaired neural functions. Importantly, the book merges different perspectives, such as the clinical, neurophysiological, and bioengineering ones, to promote, feed and
... Read more
Distributed Virtual Worlds

Foundations and Implementation Techniques Using VRML, Java, and CORBA

by Stephan Diehl ...

Series series Computer Science (R0)
Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet ... Read more

$49.99 USD

Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet
... Read more
Moderne C-Programmierung

Kompendium und Referenz

by Helmut Schellong ...

Series series Computer Science and Engineering (German Language)
Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der ... Read more

$49.99 USD

Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der
... Read more
Software Technologies

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

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

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

$49.99 USD

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

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

Edited by Manuel Mazzara, Andrei Voronkov ...

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

$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,
... Read more
FME 2003: Formal Methods

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

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

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

$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
... Read more
Automated Technology for Verification and Analysis

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

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

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

$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

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: