Tous les ebooks de la collection "Monographs in Computer Science" - Springer

3 Livre(s)
Télécharger le livre : Parsing Techniques
Ajouter à ma liste d'envies
Parsing Techniques
Dick Grune , Ceriel J.H. Jacobs
Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing techniques are also implemented in a number of other disciplines, including but not limited to, document preparation and...

Editeur : Springer
Parution : 2007-10-29
Collection : Monographs in Computer Science
PDF

220,49 €
Télécharger le livre : Super-Recursive Algorithms
Ajouter à ma liste d'envies
Super-Recursive Algorithms
Mark Burgin
Super-Recursive Algorithms provides an accessible, focused examination of the theory of super-recursive algorithms and its ramifications for the computer industry, networks, artificial intelligence, embedded systems, and the Internet. The book demonstrates how these...

Editeur : Springer
Parution : 2006-12-21
Collection : Monographs in Computer Science
PDF

94,94 €
Télécharger le livre : Abstraction, Refinement and Proof for Probabilistic Systems
Ajouter à ma liste d'envies
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle Mciver , Charles Carroll Morgan
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

Editeur : Springer
Parution : 2005-10-27
Collection : Monographs in Computer Science
PDF

147,69 €