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


3  résultat(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...

Parution : 2007-10-29
Format(s) : PDF
Éditeur : Springer
Collection : Monographs in Computer Science
J'achète
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...

Parution : 2006-12-21
Format(s) : PDF
Éditeur : Springer
Collection : Monographs in Computer Science
J'achète
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.

Parution : 2005-10-27
Format(s) : PDF
Éditeur : Springer
Collection : Monographs in Computer Science
J'achète
147,69 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés