Tous les ebooks de la collection "Synthesis Lectures on Computer Science" - Springer

11 Livre(s)
Télécharger le livre : Dynamic Graph Learning for Dimension Reduction and Data Clustering
Ajouter à ma liste d'envies
Dynamic Graph Learning for Dimension Reduction and Data Clustering
Jingjing Li , Zheng Zhang , Lei Zhu
This book illustrates how to achieve effective dimension reduction and data clustering. The authors explain how to accomplish this by utilizing the advanced dynamic graph learning technique in the era of big data. The book begins by providing background on dynamic graph...

Editeur : Springer
Parution : 2023-09-20
Collection : Synthesis Lectures on Computer Science
PDF, ePub

42,19 €
Télécharger le livre : Adaptive and Learning-Based Control of Safety-Critical Systems
Ajouter à ma liste d'envies
Adaptive and Learning-Based Control of Safety-Critical Systems
Calin Belta , Max Cohen
This book stems from the growing use of learning-based techniques, such as reinforcement learning and adaptive control, in the control of autonomous and safety-critical systems.  Safety is critical to many applications, such as autonomous driving, air traffic...

Editeur : Springer
Parution : 2023-05-15
Collection : Synthesis Lectures on Computer Science
PDF, ePub

63,29 €
Télécharger le livre : Metareasoning for Robots
Ajouter à ma liste d'envies
Metareasoning for Robots
Jeffrey W. Herrmann
This book is a state of the art resource that robotics researchers and engineers can use to make their robots and autonomous vehicles smarter. Readers will be able to describe metareasoning, select an appropriate metareasoning approach, and synthesize metareasoning...

Editeur : Springer
Parution : 2023-05-12
Collection : Synthesis Lectures on Computer Science
PDF, ePub

63,29 €
Télécharger le livre : Safe Autonomy with Control Barrier Functions
Ajouter à ma liste d'envies
Safe Autonomy with Control Barrier Functions
Calin Belta , Christos G. Cassandras , Wei Xiao
This book presents the concept of Control Barrier Function (CBF), which captures the evolution of safety requirements during the execution of a system and can be used to enforce safety. Safety is formalized using an emerging state-of-the-art approach based on...

Editeur : Springer
Parution : 2023-05-09
Collection : Synthesis Lectures on Computer Science
PDF, ePub

63,29 €
Télécharger le livre : An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments
Ajouter à ma liste d'envies
An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments
Paul A. Gagniuc
After a short introduction on the history of programming languages, this book provides step-by-step examples that are mirrored in seven programming languages, including C#, C++, Java, JavaScript, PERL, PHP, Python, Ruby, VB, and VBA. This mirrored approach for each...

Editeur : Springer
Parution : 2023-04-05
Collection : Synthesis Lectures on Computer Science
PDF, ePub

52,74 €
Télécharger le livre : Introduction to Logic
Ajouter à ma liste d'envies
Introduction to Logic
Michael Genesereth , Eric Kao
This book is a gentle but rigorous introduction to formal logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet...

Editeur : Springer
Parution : 2022-12-06
Collection : Synthesis Lectures on Computer Science
PDF

32,53 €
Télécharger le livre : The Theory of Timed I/O Automata
Ajouter à ma liste d'envies
The Theory of Timed I/O Automata
Dilsun K. Kaynar , Nancy Lynch , Roberto Segala , Frits Vaandrager
This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the...

Editeur : Springer
Parution : 2022-12-06
Collection : Synthesis Lectures on Computer Science
PDF

32,53 €
Télécharger le livre : Analytical Performance Modeling for Computer Systems
Ajouter à ma liste d'envies
Analytical Performance Modeling for Computer Systems
Y.C. Tay
This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers who have taken college-level courses in calculus and probability, networking, and operating...

Editeur : Springer
Parution : 2022-11-10
Collection : Synthesis Lectures on Computer Science
PDF

98,59 €
Télécharger le livre : Introduction to Logic, Second Edition
Ajouter à ma liste d'envies
Introduction to Logic, Second Edition
Michael Genesereth , Eric Kao
This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet...

Editeur : Springer
Parution : 2022-11-10
Collection : Synthesis Lectures on Computer Science
PDF

98,59 €
Télécharger le livre : Analytical Performance Modeling for Computer Systems, Second Edition
Ajouter à ma liste d'envies
Analytical Performance Modeling for Computer Systems, Second Edition
Y.C. Tay
This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers who have taken college-level courses in calculus and probability, networking and operating...

Editeur : Springer
Parution : 2022-11-10
Collection : Synthesis Lectures on Computer Science
PDF

98,59 €
Télécharger le livre : Creating Autonomous Vehicle Systems
Ajouter à ma liste d'envies
Creating Autonomous Vehicle Systems
Collectif
This book is the first technical overview of autonomous vehicles written for a general computing and engineering audience. The authors share their practical experiences of creating autonomous vehicle systems. These systems are complex, consisting of three major...

Editeur : Springer
Parution : 2022-11-10
Collection : Synthesis Lectures on Computer Science
PDF

39,43 €