Rakuten Kobo

Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

Edited by Anne E. Haxthausen, Wendelin Serwe ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024.The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and ... Read more

Was $116.99 USD Now $62.99 USD

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024.The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and
... 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
Guide to Scientific Computing in C++

by Joe Pitt-Francis, Jonathan Whiteley ...

Series series Computer Science (R0)
This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing. Through a series of clear and concise discussions, the key features most useful to the novice programmer are explored, enabling the reader to quickly master the basics and build the confidence to investigate less well-used features when needed. The text presents a ... Read more

$49.99 USD

This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing. Through a series of clear and concise discussions, the key features most useful to the novice programmer are explored, enabling the reader to quickly master the basics and build the confidence to investigate less well-used features when needed. The text presents a
... Read more
Converging Clinical and Engineering Research on Neurorehabilitation IV

Proceedings of the 5th International Conference on Neurorehabilitation (ICNR2020), October 13–16, 2020

Edited by Diego Torricelli, Metin Akay, Jose 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

$395.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
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XLV

Edited by Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky, Torsten Sattler, Gül Varol ...

Series series Springer Nature Proceedings Computer Science
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. The papers deal with topics such as computer vision ... Read more

$80.99 USD

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. The papers deal with topics such as computer vision
... Read more
Modern Systems Programming with Scala Native

Write Lean, High-Performance Code without the JVM

by Richard Whaling ...

Access the power of bare-metal systems programming with Scala Native, an ahead-of-time Scala compiler. Without the baggage of legacy frameworks and virtual machines, Scala Native lets you re-imagine how your programs interact with your operating system. Compile Scala code down to native machine instructions; seamlessly invoke operating system APIs for low-level networking and IO; control pointers, ... Read more

$28.99 USD

Access the power of bare-metal systems programming with Scala Native, an ahead-of-time Scala compiler. Without the baggage of legacy frameworks and virtual machines, Scala Native lets you re-imagine how your programs interact with your operating system. Compile Scala code down to native machine instructions; seamlessly invoke operating system APIs for low-level networking and IO; control pointers,
... Read more
The Windows 10 Accessibility Handbook

Supporting Windows Users with Special Visual, Auditory, Motor, and Cognitive Needs

by Mike Halsey ...

Learn everything you need to know about making Windows 10 easier to use, see, hear, touch, or read, whether you are using it yourself, setting it up for another person, teaching others about ease of use at work or in the home, or working with a variety of people with specific needs in the community.What You'll Learn:Manage accessibility in the Settings app, and make use of the Ease of Access ... Read more

$18.99 USD

Learn everything you need to know about making Windows 10 easier to use, see, hear, touch, or read, whether you are using it yourself, setting it up for another person, teaching others about ease of use at work or in the home, or working with a variety of people with specific needs in the community.What You'll Learn:Manage accessibility in the Settings app, and make use of the Ease of Access
... Read more
New Perspectives on Computational and Cognitive Strategies for Word Sense Disambiguation

by Oi Yee Kwong ...

Series series Engineering (R0)
Cognitive and Computational Strategies for Word Sense Disambiguation examines cognitive strategies by humans and computational strategies by machines, for WSD in parallel.Focusing on a psychologically valid property of words and senses, author Oi Yee Kwong discusses their concreteness or abstractness and draws on psycholinguistic data to examine the extent to which existing lexical resources ... Read more

$49.99 USD

Cognitive and Computational Strategies for Word Sense Disambiguation examines cognitive strategies by humans and computational strategies by machines, for WSD in parallel.Focusing on a psychologically valid property of words and senses, author Oi Yee Kwong discusses their concreteness or abstractness and draws on psycholinguistic data to examine the extent to which existing lexical resources
... Read more
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 4th OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2017.The 11 full papers presented in this book were carefully reviewed and selected from 14 submissions. The papers discuss a variety of ideas for extending the OpenSHMEM specification and making it efficient for current and next generation systems. This includes new research for ... Read more

$53.99 USD

This book constitutes the proceedings of the 4th OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2017.The 11 full papers presented in this book were carefully reviewed and selected from 14 submissions. The papers discuss a variety of ideas for extending the OpenSHMEM specification and making it efficient for current and next generation systems. This includes new research for
... Read more
Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of
... Read more
Hyperconnectivity

by Adrian David Cheok ...

Series series Computer Science (R0)
This book explores the emerging field of hyperconnectivity looking at technology and systems that allow person-to-person and person-to-machine communication in networked organizations and the social and economic impact of this society.The author begins by presenting literary culture and interaction, focusing on the development of the Poetry Mix-Up platform, before looking at electronic and ... Read more

$49.99 USD

This book explores the emerging field of hyperconnectivity looking at technology and systems that allow person-to-person and person-to-machine communication in networked organizations and the social and economic impact of this society.The author begins by presenting literary culture and interaction, focusing on the development of the Poetry Mix-Up platform, before looking at electronic and
... Read more
Data Analytics for Businesses 2019: Master Data Science with Optimised Marketing Strategies using Data Mining Algorithms (Artificial Intelligence, Machine Learning, Predictive Modelling and more)

by Riley Adams ...

Are you looking for new ways to grow your business, with resources you already have? Do you want to know how the big players like Netflix, Amazon, or Shopify use data analytics to MULTIPLY their growth? Keep listening to learn how to use data analytics to maximise YOUR business.Yes, you have customers that love your product. However, you're having trouble finding new customers and captivating ... Read more

$4.99 USD or Free with Kobo Plus

Are you looking for new ways to grow your business, with resources you already have? Do you want to know how the big players like Netflix, Amazon, or Shopify use data analytics to MULTIPLY their growth? Keep listening to learn how to use data analytics to maximise YOUR business.Yes, you have customers that love your product. However, you're having trouble finding new customers and captivating
... Read more
Advances in Ergonomics in Design

Proceedings of the AHFE 2018 International Conference on Ergonomics in Design, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

Edited by Francisco Rebelo, Marcelo M. Soares ...

Series series Springer Nature Proceedings excluding Computer Science
This book provides readers with a timely snapshot of ergonomics research and methods applied to the design, development and prototyping – as well as the evaluation, training and manufacturing – of products, systems and services. Combining theoretical contributions, case studies, and reports on technical interventions, it covers a wide range of topics in ergonomic design including: ecological ... Read more

$188.99 USD

This book provides readers with a timely snapshot of ergonomics research and methods applied to the design, development and prototyping – as well as the evaluation, training and manufacturing – of products, systems and services. Combining theoretical contributions, case studies, and reports on technical interventions, it covers a wide range of topics in ergonomic design including: ecological
... Read more
Introduction to Systems Thinking and Interdisciplinary Engineering

by Horst Czichos ...

Series series eBColl Synthesis Collection 11
This concise textbook introduces a systems approach to technology, describing tribological, mechatronic, cyber-physical systems, and the technologic concept of Industry 4.0 to students in a range of engineering domains. “Technology” in this book refers to the totality of human-made, benefit-oriented products, based on engineered combinations of material, energy and information. Dr. Czichos ... Read more

$44.99 USD

This concise textbook introduces a systems approach to technology, describing tribological, mechatronic, cyber-physical systems, and the technologic concept of Industry 4.0 to students in a range of engineering domains. “Technology” in this book refers to the totality of human-made, benefit-oriented products, based on engineered combinations of material, energy and information. Dr. Czichos
... Read more
Computer Vision – ECCV 2022

17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part I

Edited by Shai Avidan, Gabriel Brostow, Moustapha Cissé, Giovanni Maria Farinella, Tal Hassner ...

Series Book 1 - Springer Nature Proceedings Computer Science
The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during October 23–27, 2022.The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 submissions. The papers deal with topics such as computer vision; machine ... Read more

$98.99 USD

The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during October 23–27, 2022.The 1645 papers presented in these proceedings were carefully reviewed and selected from a total of 5804 submissions. The papers deal with topics such as computer vision; machine
... Read more
Employability Skills

Brush Up Your Computing

by Clive W. Humphris ...

An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students ... Read more

$3.99 USD

An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students
... Read more
Uninterrupted Knowledge Creation

Process Philosophy and Autopoietic Perspectives

by Kaj U. Koskinen, Rainer Breite ...

Series series Business and Management (R0)
A common charge leveled against the autopoietic perspective is that it does not explain change or, consequently, knowledge creation. This book demonstrates that knowledge creation is not always an ongoing process, as is claimed in many process philosophy and autopoietic research works. The author introduces the idea of recursivity, which represents the explanatory potential for uninterrupted ... Read more

$49.99 USD

A common charge leveled against the autopoietic perspective is that it does not explain change or, consequently, knowledge creation. This book demonstrates that knowledge creation is not always an ongoing process, as is claimed in many process philosophy and autopoietic research works. The author introduces the idea of recursivity, which represents the explanatory potential for uninterrupted
... Read more
Man-Machine Interactions 6

6th International Conference on Man-Machine Interactions, ICMMI 2019, Cracow, Poland, October 2-3, 2019

Edited by Aleksandra Gruca, Tadeusz Czachórski, Sebastian Deorowicz, Katarzyna Harężlak, Agnieszka Piotrowska ...

Series series Springer Nature Proceedings excluding Computer Science
This book includes a selection papers describing the latest advances and discoveries in the field of human-computer interactions, which were presented at the 6th International Conference on Man-Machine Interactions, ICMMI 2019, held in Cracow, Poland, in October 2019.Human-computer interaction is a multidisciplinary field concerned with the design of computer technology and, in particular, the ... Read more

$143.99 USD

This book includes a selection papers describing the latest advances and discoveries in the field of human-computer interactions, which were presented at the 6th International Conference on Man-Machine Interactions, ICMMI 2019, held in Cracow, Poland, in October 2019.Human-computer interaction is a multidisciplinary field concerned with the design of computer technology and, in particular, the
... Read more
Social Robotics

16th International Conference, ICSR + AI 2024, Odense, Denmark, October 23–26, 2024, Proceedings, Part II

Edited by Oskar Palinko, Leon Bodenhagen, John-John Cabibihan, Kerstin Fischer, Selma Šabanović, Katie Winkle, Laxmidhar Behera, Shuzhi Sam Ge, Dimitrios Chrysostomou, Wanyue Jiang, Hongsheng He ...

Series Book 2 - Springer Nature Proceedings Computer Science
The 3-volume set LNAI 15561-15563 constitutes the refereed proceedings of the 16th International Conference on Social Robotics, ICSR + AI 2024, held in Odense, Denmark, during October 23–26, 2024.The 109 full papers and 19 short papers included in the proceedings were carefully reviewed and selected from 182 submissions. The theme of this year's conference was "Empowering Humanity: The Tole of ... Read more

$71.99 USD

The 3-volume set LNAI 15561-15563 constitutes the refereed proceedings of the 16th International Conference on Social Robotics, ICSR + AI 2024, held in Odense, Denmark, during October 23–26, 2024.The 109 full papers and 19 short papers included in the proceedings were carefully reviewed and selected from 182 submissions. The theme of this year's conference was "Empowering Humanity: The Tole of
... 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
Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Edited by Shuvendu K. Lahiri, Chao Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical
... Read more
Numerical Methods using MATLAB

by Abhishek Gupta ...

Series series Professional and Applied Computing (R0)
Numerical Methods with MATLAB provides a highly-practical reference work to assist anyone working with numerical methods. A wide range of techniques are introduced, their merits discussed and fully working MATLAB code samples supplied to demonstrate how they can be coded and applied.Numerical methods have wide applicability across many scientific, mathematical, and engineering disciplines and are ... Read more

$49.99 USD

Numerical Methods with MATLAB provides a highly-practical reference work to assist anyone working with numerical methods. A wide range of techniques are introduced, their merits discussed and fully working MATLAB code samples supplied to demonstrate how they can be coded and applied.Numerical methods have wide applicability across many scientific, mathematical, and engineering disciplines and are
... Read more
Learning Cypher

by Onofrio Panzarino ...

An easy-to-follow guide full of tips and examples of real-world applications. In each chapter, a thorough example will show you the concepts in action, followed by a detailed explanation. This book is intended for those who want to learn how to create, query, and maintain a graph database, or who want to migrate to a graph database from SQL. It would be helpful to have some familiarity with Java ... Read more

$17.99 USD or Free with Kobo Plus

An easy-to-follow guide full of tips and examples of real-world applications. In each chapter, a thorough example will show you the concepts in action, followed by a detailed explanation. This book is intended for those who want to learn how to create, query, and maintain a graph database, or who want to migrate to a graph database from SQL. It would be helpful to have some familiarity with Java
... Read more
Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions

Development, Testing and Verification

Edited by Harald Waschl, Ilya Kolmanovsky, Frank Willems ...

Series series Intelligent Technologies and Robotics (R0)
This book describes different methods that are relevant to the development and testing of control algorithms for advanced driver assistance systems (ADAS) and automated driving functions (ADF). These control algorithms need to respond safely, reliably and optimally in varying operating conditions. Also, vehicles have to comply with safety and emission legislation.The text describes how such ... Read more

$116.99 USD

This book describes different methods that are relevant to the development and testing of control algorithms for advanced driver assistance systems (ADAS) and automated driving functions (ADF). These control algorithms need to respond safely, reliably and optimally in varying operating conditions. Also, vehicles have to comply with safety and emission legislation.The text describes how such
... 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: