Rakuten Kobo

String Analysis for Software Verification and Security

by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Series series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Read more

$62.99 USD

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... Read more
Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation

Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Edited by Tareq Ahram ...

Series series Springer Nature Proceedings excluding Computer Science
This book describes cutting-edge applications of human factors for sports, injury prevention and outdoor recreation disciplines and provide practical guidance on a range of methods for describing, representing, and evaluating human, team, and system performance in various domains. Contributions in this book show how various human factors methods, applied historically in the complex safety critical ... Read more

$89.99 USD

This book describes cutting-edge applications of human factors for sports, injury prevention and outdoor recreation disciplines and provide practical guidance on a range of methods for describing, representing, and evaluating human, team, and system performance in various domains. Contributions in this book show how various human factors methods, applied historically in the complex safety critical
... Read more
Beginning R 4

From Beginner to Pro

by Matt Wiley, Joshua F. Wiley ...

Series series Professional and Applied Computing (R0)
Learn how to use R 4, write and save R scripts, read in and write out data files, use built-in functions, and understand common statistical methods. This in-depth tutorial includes key R 4 features including a new color palette for charts, an enhanced reference counting system (useful for big data), and new data import settings for text (as well as the statistical methods to model text-based, ... Read more

$53.99 USD

Learn how to use R 4, write and save R scripts, read in and write out data files, use built-in functions, and understand common statistical methods. This in-depth tutorial includes key R 4 features including a new color palette for charts, an enhanced reference counting system (useful for big data), and new data import settings for text (as well as the statistical methods to model text-based,
... Read more
Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Edited by Cyrille Artho, Peter Csaba Ölveczky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and
... Read more
Predictive Analytics - From Science Fiction To The Real World

Recurrent Patterns, #2

by Vaclav Vincalek ...

Series Book 2 - Recurrent Patterns
Recurrent Patterns' host Vaclav Vincalek interviews Eric Siegel, Ph.D. Eric is the Founder of Prediction Impact, Inc. a predictive analytics consulting firm. He is a former Columbia University professor who makes machine learning understandable and captivating. Predictive analytics is something that helps us to get quite a lot of value out of the data we do have. There's no need to overstate it. ... Read more

$9.99 USD

Recurrent Patterns' host Vaclav Vincalek interviews Eric Siegel, Ph.D. Eric is the Founder of Prediction Impact, Inc. a predictive analytics consulting firm. He is a former Columbia University professor who makes machine learning understandable and captivating. Predictive analytics is something that helps us to get quite a lot of value out of the data we do have. There's no need to overstate it.
... Read more
Web Work

Information Seeking and Knowledge Work on the World Wide Web

by Chun Wei Choo, B. Detlor, D. Turnbull ...

Series series Computer Science (R0)
This book brings together three great motifs of the network society: the seeking and using of information by individuals and groups; the creation and application of knowledge in organizations; and the fundamental transformation of these activities as they are enacted on the Internet and the World Wide Web. Of the three, the study of how individuals and groups seek information probably has the ... Read more

$89.99 USD

This book brings together three great motifs of the network society: the seeking and using of information by individuals and groups; the creation and application of knowledge in organizations; and the fundamental transformation of these activities as they are enacted on the Internet and the World Wide Web. Of the three, the study of how individuals and groups seek information probably has the
... Read more
Virtual Realities

International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers

Edited by Guido Brunnett, Sabine Coquillart, Robert van Liere, Gregory Welch, Libor Váša ...

Series series Computer Science (R0)
Virtual reality (VR) is a multidisciplinary area of research aimed at interactive human–computer-mediated simulations of artificial environments. An important aspect of VR-based systems is the stimulation of the human senses – usually sight, sound, and touch – in such a way that a user feels a sense of presence in the virtual environment. Sometimes it is important to combine real and virtual ... Read more

$49.99 USD

Virtual reality (VR) is a multidisciplinary area of research aimed at interactive human–computer-mediated simulations of artificial environments. An important aspect of VR-based systems is the stimulation of the human senses – usually sight, sound, and touch – in such a way that a user feels a sense of presence in the virtual environment. Sometimes it is important to combine real and virtual
... Read more
Knowledge Visualization Currents

From Text to Art to Culture

Edited by Francis T. Marchese, Ebad Banissi ...

Series series Computer Science (R0)
This text reviews the evolution of the field of visualization, providing innovative examples from various disciplines, highlighting the important role that visualization plays in extracting and organizing the concepts found in complex data. Features: presents a thorough introduction to the discipline of knowledge visualization, its current state of affairs and possible future developments; ... Read more

$89.99 USD

This text reviews the evolution of the field of visualization, providing innovative examples from various disciplines, highlighting the important role that visualization plays in extracting and organizing the concepts found in complex data. Features: presents a thorough introduction to the discipline of knowledge visualization, its current state of affairs and possible future developments;
... Read more
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Read more

$49.99 USD

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each
... Read more
Mastering Scale and Complexity in Software Reuse

16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Edited by Goetz Botterweck, Claudia Werner ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software
... Read more
Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Future

Proceedings of the AHFE 2016 International Conference on Human Aspects of Advanced Manufacturing, July 27-31, 2016, Walt Disney World®, Florida, USA

Edited by Stefan Trzcieliński, Christopher Schlick ...

Series series Springer Nature Proceedings excluding Computer Science
This book discusses the latest advances in people-centered design, operation, and management of broadly defined advanced manufacturing systems and processes. It reports on human factors issues related to various research areas such as intelligent manufacturing technologies, web-based manufacturing services, digital manufacturing worlds, and manufacturing knowledge support systems, as well as other ... Read more

$188.99 USD

This book discusses the latest advances in people-centered design, operation, and management of broadly defined advanced manufacturing systems and processes. It reports on human factors issues related to various research areas such as intelligent manufacturing technologies, web-based manufacturing services, digital manufacturing worlds, and manufacturing knowledge support systems, as well as other
... Read more
Introduction to App Development

Build and Publish Apps on any Platform

by Daniel Walasinski ...

Introduction to App Development is a hands-on guide for learning how apps are designed, built, tested, and published.This book introduces app development through a practical, make-first approach. Instead of beginning with long theory, the lessons guide learners through small working projects that can be created, tested, revised, and shared. The book begins with online tools such as CodeSandbox and ... Read more

$18.99 USD

Introduction to App Development is a hands-on guide for learning how apps are designed, built, tested, and published.This book introduces app development through a practical, make-first approach. Instead of beginning with long theory, the lessons guide learners through small working projects that can be created, tested, revised, and shared. The book begins with online tools such as CodeSandbox and
... Read more
Beginning Robotics Programming in Java with LEGO Mindstorms

by Wei Lu ...

Series series Professional and Applied Computing (R0)
Discover the difference between making a robot move and making a robot think.Using Mindstorms EV3 and LeJOS—an open source project for Java Mindstorms projects—you’ll learn how to create Artificial Intelligence (AI) for your bot. Your robot will learn how to problem solve, how to plan, and how to communicate. Along the way, you’ll learn about classical AI algorithms for teaching hardware how to ... Read more

$62.99 USD

Discover the difference between making a robot move and making a robot think.Using Mindstorms EV3 and LeJOS—an open source project for Java Mindstorms projects—you’ll learn how to create Artificial Intelligence (AI) for your bot. Your robot will learn how to problem solve, how to plan, and how to communicate. Along the way, you’ll learn about classical AI algorithms for teaching hardware how to
... Read more
Engineering Secure Software and Systems

9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Edited by Eric Bodden, Mathias Payer, Elias Athanasopoulos ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions.The goal of this symposium is to bring together researchers and practitioners to advance the states of the art ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions.The goal of this symposium is to bring together researchers and practitioners to advance the states of the art
... Read more
Design, User Experience, and Usability. Application Domains

8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

Edited by Aaron Marcus, Wentao Wang ...

Series Book 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was ... Read more

$80.99 USD

The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was
... Read more
Structural Pattern Recognition using Graph Matching

Approximate and Error-Tolerant Algorithms

by Shri Prakash Dwivedi, Ravi Shankar Singh ...

This book presents a comprehensive exploration of structural pattern recognition with a clear understanding of graph representation and manipulation. It explains graph matching techniques, unearthing the core principles of graph similarity measures, subgraph isomorphism, and advanced algorithms tailored to various pattern recognition tasks. It bridges the gap between theory and application by ... Read more

$77.99 USD

This book presents a comprehensive exploration of structural pattern recognition with a clear understanding of graph representation and manipulation. It explains graph matching techniques, unearthing the core principles of graph similarity measures, subgraph isomorphism, and advanced algorithms tailored to various pattern recognition tasks. It bridges the gap between theory and application by
... Read more
Learning and Collaboration Technologies

12th International Conference, LCT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II

Edited by Brian K. Smith, Marcela Borge ...

Series Book 2 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 15806–15808 constitutes the thoroughly refereed proceedings of the 12th International Conference on Learning and Collaboration Technologies, LCT 2025, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, June 22-17, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was ... Read more

$80.99 USD

The three-volume set LNCS 15806–15808 constitutes the thoroughly refereed proceedings of the 12th International Conference on Learning and Collaboration Technologies, LCT 2025, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, June 22-17, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was
... Read more
Excel draaitabellen en -grafieken Visuele handleiding in stappen

by A. J. Wright ...

Hoe kun je dit boek gebruiken?Dit boek kan worden gebruikt als een handleiding of als een snelle visuele referentiegids. Het is bedoeld voor gebruikers die vertrouwd zijn met de basisbeginselen van Microsoft® Excel® en nu verder willen gaan met draaitabellen en -grafieken.Dit boek gaat ervan uit dat je al weet hoe je een Excel®-werkmap maakt, opent, opslaat en wijzigt en dat je bekend bent met de ... Read more

$9.99 USD

Hoe kun je dit boek gebruiken?Dit boek kan worden gebruikt als een handleiding of als een snelle visuele referentiegids. Het is bedoeld voor gebruikers die vertrouwd zijn met de basisbeginselen van Microsoft® Excel® en nu verder willen gaan met draaitabellen en -grafieken.Dit boek gaat ervan uit dat je al weet hoe je een Excel®-werkmap maakt, opent, opslaat en wijzigt en dat je bekend bent met de
... Read more
Design, User Experience, and Usability

13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part III

Edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares ...

Series Book 3 - Springer Nature Proceedings Computer Science
This five-volume set LNCS 14712-14716 constitutes the refereed proceedings of the 13th International Conference on Design, User Experience, and Usability, DUXU 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 – July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was carefully reviewed and ... Read more

$107.99 USD

This five-volume set LNCS 14712-14716 constitutes the refereed proceedings of the 13th International Conference on Design, User Experience, and Usability, DUXU 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 – July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was carefully reviewed and
... Read more
Recent Trends in Educational Technology and Administration

Proceedings of the 3rd International Conference on Educational Technology and Administration

Edited by Fred Paas, Srikanta Patnaik, Taosheng Wang ...

Series series Springer Nature Proceedings excluding Computer Science
This book introduces various techniques of educational technology, blending theory with real-world applications, making it an essential tool for a wide range of readers. Different innovative methods covered in this book enhance its usefulness in education administration and management. The content of the book covers chapters both for the beginners and experts, serving as a key reference for ... Read more

$170.99 USD

This book introduces various techniques of educational technology, blending theory with real-world applications, making it an essential tool for a wide range of readers. Different innovative methods covered in this book enhance its usefulness in education administration and management. The content of the book covers chapters both for the beginners and experts, serving as a key reference for
... Read more
Artificial Intelligence in HCI

5th International Conference, AI-HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part III

Edited by Helmut Degen, Stavroula Ntoa ...

Series Book 3 - Springer Nature Proceedings Computer Science
The three-volume book set LNAI 14734, 14735, and 14736 constitutes the refereed proceedings of 5th International Conference on Artificial Intelligence in HCI, AI-HCI 2024, held as part of the 26th International Conference, HCI International 2024, which took place in Washington, DC, USA, during June 29-July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was ... Read more

$80.99 USD

The three-volume book set LNAI 14734, 14735, and 14736 constitutes the refereed proceedings of 5th International Conference on Artificial Intelligence in HCI, AI-HCI 2024, held as part of the 26th International Conference, HCI International 2024, which took place in Washington, DC, USA, during June 29-July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was
... Read more
Designing Across Senses

A Multimodal Approach to Product Design

by Christine W. Park, John Alderman ...

Today we have the ability to connect speech, touch, haptic, and gestural interfaces into products that engage several human senses at once. This practical book explores examples from current designers and devices to describe how these products blend multiple interface modes together into a cohesive user experience.Authors Christine Park and John Alderman explain the basic principles behind ... Read more

$28.99 USD

Today we have the ability to connect speech, touch, haptic, and gestural interfaces into products that engage several human senses at once. This practical book explores examples from current designers and devices to describe how these products blend multiple interface modes together into a cohesive user experience.Authors Christine Park and John Alderman explain the basic principles behind
... Read more
Praxis der Teleportation

Anwendungen der virtuellen und erweiterten Realität in Wirtschaft und Wissenschaft

by Armin Grasnick ...

Series series Computer Science and Engineering (German Language)
Dieses Buch beschreibt die Möglichkeiten der Teleportation im Metaversum. Die virtuelle Realität hier wird auf andere Spektren erweitert und der universelle Begriff „Phantomfeld“ eingeführt. Der Eintritt der Phantome ins Metaversum kann als technischer Vorgang aufgefasst werden. Displays und Headsets werden zu virtuellen Portalen. Der Einsatz von Avataren und die praktische Anwendung von VR, AR, ... Read more

$18.99 USD

Dieses Buch beschreibt die Möglichkeiten der Teleportation im Metaversum. Die virtuelle Realität hier wird auf andere Spektren erweitert und der universelle Begriff „Phantomfeld“ eingeführt. Der Eintritt der Phantome ins Metaversum kann als technischer Vorgang aufgefasst werden. Displays und Headsets werden zu virtuellen Portalen. Der Einsatz von Avataren und die praktische Anwendung von VR, AR,
... Read more
Data Strategy for LLMs

Build reliable AI applications with RAG, fine-tuning, evaluation, and context engineering

by Eslam Kamal, Rany ElHousieny ...

Learn the essential data techniques for building real-world LLM applications with this practical guide for technical professionals and advanced students, starting from data fundamentals to LLM-specific methods and advanced topics.Key FeaturesLearn state-of-the-art data strategies and techniques for LLM application developmentUnderstand the fundamentals of data collection, processing and synthetic ... Read more

$39.99 USD or Free with Kobo Plus

Learn the essential data techniques for building real-world LLM applications with this practical guide for technical professionals and advanced students, starting from data fundamentals to LLM-specific methods and advanced topics.Key FeaturesLearn state-of-the-art data strategies and techniques for LLM application developmentUnderstand the fundamentals of data collection, processing and synthetic
... 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: