Rakuten Kobo

Formal Methods for Industrial Critical Systems

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

Edición de 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 ... Leer más

Antes $116.99 USD Ahora $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
... Leer más
Converging Clinical and Engineering Research on Neurorehabilitation IV

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

Edición de 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 ... Leer más

$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
... Leer más
Computer Vision – ECCV 2024

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

Edición de 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 ... Leer más

$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
... Leer más
Modern Systems Programming with Scala Native

Write Lean, High-Performance Code without the JVM

de 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, ... Leer más

$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,
... Leer más
New Perspectives on Computational and Cognitive Strategies for Word Sense Disambiguation

de 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 ... Leer más

$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
... Leer más
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

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

Edición de 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 ... Leer más

$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
... Leer más
Formal Methods and Software Engineering

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

Edición de 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 ... Leer más

$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
... Leer más
Hyperconnectivity

de 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 ... Leer más

$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
... Leer más
Data Analytics for Businesses 2019: Master Data Science with Optimised Marketing Strategies using Data Mining Algorithms (Artificial Intelligence, Machine Learning, Predictive Modelling and more)

de 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 ... Leer más

$4.99 USD o gratis con 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
... Leer más
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

Edición de 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 ... Leer más

$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
... Leer más
Employability Skills

Brush Up Your Computing

de 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 ... Leer más

$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
... Leer más
Man-Machine Interactions 6

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

Edición de 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 ... Leer más

$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
... Leer más
Automated Technology for Verification and Analysis

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

Edición de 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 ... Leer más

$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
... Leer más
Numerical Methods using MATLAB

de 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 ... Leer más

$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
... Leer más
Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions

Development, Testing and Verification

Edición de 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 ... Leer más

$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
... Leer más
Disrupt With Impact

Achieve Business Success in an Unpredictable World

de Roger Spitz ...

WINNER: 2024 Foreword Indies Book of the Year - Bronze, Business & Economics; WINNER: 2024 Chanticleer International Book Awards (CIBA), Harvey Chute First Place Category Winner - Non-Fiction Business & Enterprise; WINNER: Readers' Favorite Book Awards 2025 - Bronze Medal in Non-Fiction Business; FINALIST: 2025 International Book Awards (IBA) - Business: General and Management & Leadership</e... ... Leer más

$23.99 USD

WINNER: 2024 Foreword Indies Book of the Year - Bronze, Business & Economics; WINNER: 2024 Chanticleer International Book Awards (CIBA), Harvey Chute First Place Category Winner - Non-Fiction Business & Enterprise; WINNER: Readers' Favorite Book Awards 2025 - Bronze Medal in Non-Fiction Business; FINALIST: 2025 International Book Awards (IBA) - Business: General and Management & Leadership</e...
... Leer más
Human Aspects of IT for the Aged Population

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

Edición de Qin Gao, Jia Zhou ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 15809-15811 constitutes the thoroughly refereed proceedings of the 11th International Conference on Human Aspects of IT for the Aged Population, ITAP 2025, held as part of the 27th HCI International Conference on Human-Computer Interaction, HCII 2025, which took place in Gothenburg, Sweden, in June 2025.The total of 1430 papers and 355 posters included in the HCII 2025 ... Leer más

$76.99 USD

The three-volume set LNCS 15809-15811 constitutes the thoroughly refereed proceedings of the 11th International Conference on Human Aspects of IT for the Aged Population, ITAP 2025, held as part of the 27th HCI International Conference on Human-Computer Interaction, HCII 2025, which took place in Gothenburg, Sweden, in June 2025.The total of 1430 papers and 355 posters included in the HCII 2025
... Leer más
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 I

Edición de Brian K. Smith, Marcela Borge ...

Series Libro 1 - 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 ... Leer más

$89.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
... Leer más
Virtual, Augmented and Mixed Reality

17th International Conference, VAMR 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I

Edición de Jessie Y. C. Chen, Gino Fragomeni ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This three-volume set, LNCS 15788-15790, constitutes the refereed proceedings of the 17th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings were carefully ... Leer más

$80.99 USD

This three-volume set, LNCS 15788-15790, constitutes the refereed proceedings of the 17th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings were carefully
... Leer más
Applied Analysis of Composite Media

Analytical and Computational Results for Materials Scientists and Engineers

de Simon Gluzman, Vladimir Mityushev, Wojciech Nawalaniec, Piotr Drygaś ...

Series series Woodhead Publishing Series in Composites Science and Engineering
Applied Analysis of Composite Media: Analytical and Computational Approaches presents formulas and techniques that can used to study 2D and 3D problems in composites and random porous media. The main strength of this book is its broad range of applications that illustrate how these techniques can be applied to investigate elasticity, viscous flow and bacterial motion in composite materials. In ... Leer más

$202.99 USD

Applied Analysis of Composite Media: Analytical and Computational Approaches presents formulas and techniques that can used to study 2D and 3D problems in composites and random porous media. The main strength of this book is its broad range of applications that illustrate how these techniques can be applied to investigate elasticity, viscous flow and bacterial motion in composite materials. In
... Leer más
Advanced R Statistical Programming and Data Models

Analysis, Machine Learning, and Visualization

de Matt Wiley, Joshua F. Wiley ...

Series series Professional and Applied Computing (R0)
Carry out a variety of advanced statistical analyses including generalized additive models, mixed effects models, multiple imputation, machine learning, and missing data techniques using R. Each chapter starts with conceptual background information about the techniques, includes multiple examples using R to achieve results, and concludes with a case study.Written by Matt and Joshua F. Wiley, ... Leer más

$71.99 USD

Carry out a variety of advanced statistical analyses including generalized additive models, mixed effects models, multiple imputation, machine learning, and missing data techniques using R. Each chapter starts with conceptual background information about the techniques, includes multiple examples using R to achieve results, and concludes with a case study.Written by Matt and Joshua F. Wiley,
... Leer más
Mastering Android Game Development with Unity

Build high-end Android games with Unity's advanced features

de Wajahat Karim, Siddharth Shekar ...

Create enthralling Android games with Unity Faster Than Ever BeforeKey Features\[\*\] Develop complex Android games with the help of Unity's advanced features such as artificial intelligence, high-end physics, and GUI transformations.\[\*\] Create amazing Graphical User Interfaces (GUIs) with Unity's new uGUI system\[\*\] Unravel and deploy exciting games across Android devicesBook DescriptionGame ... Leer más

$31.99 USD o gratis con Kobo Plus

Create enthralling Android games with Unity Faster Than Ever BeforeKey Features\[\*\] Develop complex Android games with the help of Unity's advanced features such as artificial intelligence, high-end physics, and GUI transformations.\[\*\] Create amazing Graphical User Interfaces (GUIs) with Unity's new uGUI system\[\*\] Unravel and deploy exciting games across Android devicesBook DescriptionGame
... Leer más
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 II

Edición de Helmut Degen, Stavroula Ntoa ...

Series Libro 2 - 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 ... Leer más

$116.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
... Leer más
Advanced Snowflake

de Muhammad Fasih Ullah ...

As Snowflake's capabilities expand, staying updated with its latest features and functionalities can be overwhelming. The platform's rapid development gave rise to advanced tools like Snowpark and the Native App Framework, which are crucial for optimizing data operations but may seem complex to navigate.In this essential book, author Muhammad Fasih Ullah offers a detailed guide to understanding ... Leer más

$43.99 USD

As Snowflake's capabilities expand, staying updated with its latest features and functionalities can be overwhelming. The platform's rapid development gave rise to advanced tools like Snowpark and the Native App Framework, which are crucial for optimizing data operations but may seem complex to navigate.In this essential book, author Muhammad Fasih Ullah offers a detailed guide to understanding
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Programación

Mostrar: