All ebooks in the collection All - Readzis.co.uk
Readzis program recommandation

All ebooks in the collection "Monographs in Computer Science" - Springer


3  Book(s)
Download this eBook Parsing Techniques
Add to my wish list

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...

Publication date: 2007-10-29
Format: PDF
Publisher: Springer
Add to basket
£199,50
Download this eBook Super-Recursive Algorithms
Add to my wish list

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...

Publication date: 2006-12-21
Format: PDF
Publisher: Springer
Add to basket
£89,50
Download this eBook Abstraction, Refinement and Proof for Probabilistic Systems
Add to my wish list

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.

Publication date: 2005-10-27
Format: PDF
Publisher: Springer
Add to basket
£129,50

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés