Tous les livres numériques de la collection "Synthesis Lectures on Computer Science" - Springer

6 Livre(s)
Télécharger le livre : Introduction to Logic
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échargement immédiat
Dès validation de votre commande
Télécharger le livre : The Theory of Timed I/O Automata
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échargement immédiat
Dès validation de votre commande
Télécharger le livre : Analytical Performance Modeling for Computer Systems
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échargement immédiat
Dès validation de votre commande
Télécharger le livre : Introduction to Logic, Second Edition
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échargement immédiat
Dès validation de votre commande
Télécharger le livre : Analytical Performance Modeling for Computer Systems, Second Edition
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échargement immédiat
Dès validation de votre commande
Télécharger le livre : Creating Autonomous Vehicle Systems
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 €
Téléchargement immédiat
Dès validation de votre commande