Rakuten Kobo

Advances in Human Factors, Software, and Systems Engineering

Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Edited by Tareq Ahram, Waldemar Karwowski ...

Series series Springer Nature Proceedings excluding Computer Science
This book provides a platform for addressing human factors in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research ideas in the process. Topics include evolutionary and complex systems, human systems integration, smart grids and infrastructure, workforce training requirements, systems engineering education, and ... Read more

$89.99 USD

This book provides a platform for addressing human factors in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research ideas in the process. Topics include evolutionary and complex systems, human systems integration, smart grids and infrastructure, workforce training requirements, systems engineering education, and
... Read more
Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Edited by Andrei Paskevich, Thomas Wies ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory ... Read more

$49.99 USD

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory
... Read more
Programming Languages

19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Edited by Alberto Pardo, S. Doaitse Swierstra ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems. ... Read more

$40.99 USD

This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
... Read more
Advanced Python Development

Using Powerful Language Features in Real-World Applications

by Matthew Wilkes ...

Series series Professional and Applied Computing (R0)
This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking ... Read more

$49.99 USD

This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking
... Read more
Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Edited by Shang-Wei Lin, Zhe Hou, Brendan Mahony ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together ... Read more

$49.99 USD

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together
... Read more
Information in Contemporary Society

14th International Conference, iConference 2019, Washington, DC, USA, March 31–April 3, 2019, Proceedings

Edited by Natalie Greene Taylor, Caitlin Christian-Lamb, Michelle H. Martin, Bonnie Nardi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Information in Contemporary Society, iConference 2019, held in Washington, DC, USA, in March/April 2019.The 44 full papers and 33 short papers presented in this volume were carefully reviewed and selected from 133 submitted full papers and 88 submitted short papers. The papers are organized in the following topical ... Read more

$89.99 USD

This book constitutes the proceedings of the 14th International Conference on Information in Contemporary Society, iConference 2019, held in Washington, DC, USA, in March/April 2019.The 44 full papers and 33 short papers presented in this volume were carefully reviewed and selected from 133 submitted full papers and 88 submitted short papers. The papers are organized in the following topical
... Read more
Design Patterns in C#

A Hands-on Guide with Real-world Examples

by Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Get hands-on experience with each Gang of Four (GoF) design pattern using C#. For each of the patterns, you will see at least one real-world scenario, a coding example, and a complete implementation including output. In addition to GoF patterns, you will learn additional design patterns which are common and equally important.In this second edition, you will go through the design patterns and their ... Read more

$49.99 USD

Get hands-on experience with each Gang of Four (GoF) design pattern using C#. For each of the patterns, you will see at least one real-world scenario, a coding example, and a complete implementation including output. In addition to GoF patterns, you will learn additional design patterns which are common and equally important.In this second edition, you will go through the design patterns and their
... Read more
GIS And Generalisation

Methodology And Practice

Edited by J-P Lagrange, R Weibel, Jean-Claude Muller ...

This text is the inaugural book in Taylor and Francis's GISDATA series, and is derived from the specialist workshop convened under the auspices of the European Science Foundation's GISDATA Scientific Programme. Generalisation is an integrating tool for the analysis and presentation of spatial data. Effective spatial data analysis requires multiple views of the world at various scales with ... Read more

$189.99 USD

This text is the inaugural book in Taylor and Francis's GISDATA series, and is derived from the specialist workshop convened under the auspices of the European Science Foundation's GISDATA Scientific Programme. Generalisation is an integrating tool for the analysis and presentation of spatial data. Effective spatial data analysis requires multiple views of the world at various scales with
... Read more
A Computational View of Autism

Using Virtual Reality Technologies in Autism Intervention

by Uttama Lahiri ...

Series series Computer Science (R0)
This book first explains autism, its prevalence, and some conventional intervention techniques, and it then describes how virtual reality technology can support autism intervention and skills training. The approaches and technologies covered include immersive virtual reality, augmented reality and mixed reality. The tasks covered include emotion recognition, affective computing, teaching ... Read more

$134.99 USD

This book first explains autism, its prevalence, and some conventional intervention techniques, and it then describes how virtual reality technology can support autism intervention and skills training. The approaches and technologies covered include immersive virtual reality, augmented reality and mixed reality. The tasks covered include emotion recognition, affective computing, teaching
... Read more
Model Risk Management with SAS

by SAS ...

Cut through the complexity of model risk management with a guide to solutions from SAS!There is an increasing demand for more model governance and model risk awareness. At the same time, high-performing models are expected to be deployed faster than ever. SAS Model Risk Management is a user-friendly, web-based application that facilitates the capture and life cycle management of statistical model ... Read more

$16.99 USD

Cut through the complexity of model risk management with a guide to solutions from SAS!There is an increasing demand for more model governance and model risk awareness. At the same time, high-performing models are expected to be deployed faster than ever. SAS Model Risk Management is a user-friendly, web-based application that facilitates the capture and life cycle management of statistical model
... Read more
Usable Privacy and Security in Online Public Services

by Esther Ruiz Ben, Margit Scholl ...

Series series Computer Science (R0)
This practice-oriented book is a unique guide to the implementation of usable, privacy-compliant and secure online services in the area of e-government. Beginning with a clarification of basic concepts of usability, data privacy, and cybersecurity, the book provides lucid explanations of different methods (quantitative, qualitative, and mixed methods) that can be applied in the practice of ... Read more

$49.99 USD

This practice-oriented book is a unique guide to the implementation of usable, privacy-compliant and secure online services in the area of e-government. Beginning with a clarification of basic concepts of usability, data privacy, and cybersecurity, the book provides lucid explanations of different methods (quantitative, qualitative, and mixed methods) that can be applied in the practice of
... Read more
HCI International 2023 – Late Breaking Posters

25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II

Edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy ...

Series Book 2 - Springer Nature Proceedings Computer Science
This two-volme set CCIS 1957-1958 is part of the refereed proceedings of the 25th International Conference on Human-Computer Interaction, HCII 2023, which was held in Copenhagen, Denmark, in July 2023.A total of 5583 individuals from academia, research institutes, industry, and governmental agencies from 88 countries submitted contributions, and 1276 papers and 275 posters were included in the ... Read more

$80.99 USD

This two-volme set CCIS 1957-1958 is part of the refereed proceedings of the 25th International Conference on Human-Computer Interaction, HCII 2023, which was held in Copenhagen, Denmark, in July 2023.A total of 5583 individuals from academia, research institutes, industry, and governmental agencies from 88 countries submitted contributions, and 1276 papers and 275 posters were included in the
... Read more
Social Robotics

12th International Conference, ICSR 2020, Golden, CO, USA, November 14–18, 2020, Proceedings

Edited by Alan R. Wagner, David Feil-Seifer, Kerstin S. Haring, Silvia Rossi, Thomas Williams, Hongsheng He, Shuzhi Sam Ge ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Social Robotics, ICSR 2020, held in Golden, CO, USA, in November 2020. The conference was held virtually.The 57 full papers presented were carefully reviewed and selected from 101 submissions. The theme of the 2020 conference is Entertaining Robots. The papers focus on the following topics: human-robot trust and ... Read more

$89.99 USD

This book constitutes the refereed proceedings of the 12th International Conference on Social Robotics, ICSR 2020, held in Golden, CO, USA, in November 2020. The conference was held virtually.The 57 full papers presented were carefully reviewed and selected from 101 submissions. The theme of the 2020 conference is Entertaining Robots. The papers focus on the following topics: human-robot trust and
... Read more
Situated Dialog in Speech-Based Human-Computer Interaction

Edited by Alexander Rudnicky, Antoine Raux, Ian Lane, Teruhisa Misu ...

Series series Engineering (R0)
This book provides a survey of the state-of-the-art in the practical implementation of Spoken Dialog Systems for applications in everyday settings. It includes contributions on key topics in situated dialog interaction from a number of leading researchers and offers a broad spectrum of perspectives on research and development in the area.In particular, it presents applications in robotics, ... Read more

$89.99 USD

This book provides a survey of the state-of-the-art in the practical implementation of Spoken Dialog Systems for applications in everyday settings. It includes contributions on key topics in situated dialog interaction from a number of leading researchers and offers a broad spectrum of perspectives on research and development in the area.In particular, it presents applications in robotics,
... Read more
Big Data

Edited by Benoit Leclerc, Jesse Cale ...

Series series Criminology at the Edge
The internet has launched the world into an era into which enormous amounts of data aregenerated every day through technologies with both positive and negative consequences.This often refers to big data . This book explores big data in organisations operating in thecriminology and criminal justice fields.Big data entails a major disruption in the ways we think about and do things, whichcertainly ... Read more

$62.99 USD

The internet has launched the world into an era into which enormous amounts of data aregenerated every day through technologies with both positive and negative consequences.This often refers to big data . This book explores big data in organisations operating in thecriminology and criminal justice fields.Big data entails a major disruption in the ways we think about and do things, whichcertainly
... Read more
Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Edited by Maurice H. ter Beek, Dejan Ničković ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. ... Read more

$49.99 USD

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions.
... Read more
Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Edited by Jeremy Avigad, Assia Mahboubi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical
... Read more
Deep Learning at Scale

At the Intersection of Hardware, Software, and Data

by Suneeta Mall ...

Bringing a deep-learning project into production at scale is quite challenging. To successfully scale your project, a foundational understanding of full stack deep learning, including the knowledge that lies at the intersection of hardware, software, data, and algorithms, is required.This book illustrates complex concepts of full stack deep learning and reinforces them through hands-on exercises ... Read more

$48.99 USD

Bringing a deep-learning project into production at scale is quite challenging. To successfully scale your project, a foundational understanding of full stack deep learning, including the knowledge that lies at the intersection of hardware, software, data, and algorithms, is required.This book illustrates complex concepts of full stack deep learning and reinforces them through hands-on exercises
... Read more
HCI International 2024 Posters

26th International Conference on Human-Computer Interaction, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part II

Edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy ...

Series Book 2 - Springer Nature Proceedings Computer Science
The seven-volume set CCIS 2114-2120 contains the extended abstracts of the posters presented during the 26th International Conference on Human-Computer Interaction, HCII 2024, held in Washington, DC, USA, during June 29–July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings were carefully reviewed and selected from 5108 submissions. The posters presented in ... Read more

$143.99 USD

The seven-volume set CCIS 2114-2120 contains the extended abstracts of the posters presented during the 26th International Conference on Human-Computer Interaction, HCII 2024, held in Washington, DC, USA, during June 29–July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings were carefully reviewed and selected from 5108 submissions. The posters presented in
... Read more
Connected and Automated Vehicles: Integrating Engineering and Ethics

Edited by Fabio Fossa, Federico Cheli ...

Series series Intelligent Technologies and Robotics (R0)
This book reports on theoretical and practical analyses of the ethical challenges connected to driving automation. It also aims at discussing issues that have arisen from the European Commission 2020 report “Ethics of Connected and Automated Vehicles. Recommendations on Road Safety, Privacy, Fairness, Explainability and Responsibility”. Gathering contributions by philosophers, social scientists, ... Read more

$161.99 USD

This book reports on theoretical and practical analyses of the ethical challenges connected to driving automation. It also aims at discussing issues that have arisen from the European Commission 2020 report “Ethics of Connected and Automated Vehicles. Recommendations on Road Safety, Privacy, Fairness, Explainability and Responsibility”. Gathering contributions by philosophers, social scientists,
... Read more
Intelligent Robotics and Applications

16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part V

Edited by Huayong Yang, Honghai Liu, Jun Zou, Zhouping Yin, Lianqing Liu, Geng Yang, Xiaoping Ouyang, Zhiyong Wang ...

Series Book 5 - Springer Nature Proceedings Computer Science
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric ... Read more

$89.99 USD

The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric
... Read more
Programming Languages and Systems

21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings

Edited by Chung-Kil Hur ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type ... Read more

$58.99 USD

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type
... Read more
Coordination Models and Languages

19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Edited by Jean-Marie Jacquet, Mieke Massink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers ... Read more

$49.99 USD

This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers
... Read more
Social Informatics

8th International Conference, SocInfo 2016, Bellevue, WA, USA, November 11-14, 2016, Proceedings, Part II

Edited by Emma Spiro, Yong-Yeol Ahn ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10046 and 10047 constitutes the proceedings of the 8th International Conference on Social Informatics, SocInfo 2016, held in Bellevue, WA, USA, in November 2016.The 33 full papers and 34 poster papers presented in this volume were carefully reviewed and selected from 120 submissions. They are organized in topical sections named: networks, communities, and groups; politics, ... Read more

$49.99 USD

The two-volume set LNCS 10046 and 10047 constitutes the proceedings of the 8th International Conference on Social Informatics, SocInfo 2016, held in Bellevue, WA, USA, in November 2016.The 33 full papers and 34 poster papers presented in this volume were carefully reviewed and selected from 120 submissions. They are organized in topical sections named: networks, communities, and groups; politics,
... 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: