Tous les livres numériques de la collection "Monographs in Computer Science" - Springer

3 Livre(s)
Télécharger le livre : Parsing Techniques
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échargement immédiat
Dès validation de votre commande
Télécharger le livre : Super-Recursive Algorithms
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échargement immédiat
Dès validation de votre commande
Télécharger le livre : Abstraction, Refinement and Proof for Probabilistic Systems
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 €
Téléchargement immédiat
Dès validation de votre commande