0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

Descriptive Set Theoretic Methods in Automata Theory - Decidability and Topological Complexity (Paperback, 1st ed. 2016) Loot Price: R2,071
Discovery Miles 20 710
Descriptive Set Theoretic Methods in Automata Theory - Decidability and Topological Complexity (Paperback, 1st ed. 2016):...

Descriptive Set Theoretic Methods in Automata Theory - Decidability and Topological Complexity (Paperback, 1st ed. 2016)

Michal Skrzypczak

Series: Lecture Notes in Computer Science, 9802

 (sign in to rate)
Loot Price R2,071 Discovery Miles 20 710 | Repayment Terms: R194 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

The book is based on the PhD thesis "Descriptive Set Theoretic Methods in Automata Theory," awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in this theory from the point of view of topology. "...the thesis of Michal Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas." Thomas Colcombet.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 9802
Release date: August 2016
First published: 2016
Authors: Michal Skrzypczak
Dimensions: 235 x 155 x 14mm (L x W x T)
Format: Paperback
Pages: 211
Edition: 1st ed. 2016
ISBN-13: 978-3-662-52946-1
Categories: Books > Science & Mathematics > Mathematics > General
Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > General
LSN: 3-662-52946-7
Barcode: 9783662529461

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Programming Logic & Design…
Joyce Farrell Paperback R1,253 R1,123 Discovery Miles 11 230
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,134 Discovery Miles 21 340
Software Engineering for Real-Time…
Jim Cooling Paperback R2,301 R1,995 Discovery Miles 19 950
Writing Better Requirements - Writing…
Ian Alexander, Richard Stevens Paperback R2,093 Discovery Miles 20 930
Software Requirements - Styles and…
Soren Lauesen Paperback R3,181 Discovery Miles 31 810
Design and Use of Software Architectures…
Jan Bosch Paperback R2,573 Discovery Miles 25 730
Software Requirements And Specifications…
M. Jackson Paperback R2,305 Discovery Miles 23 050
Software Inspection
Tom Gilb, Dorothy Graham Paperback R2,703 Discovery Miles 27 030
The Business Analyst - Information…
Vernon Zwiers Paperback R657 R579 Discovery Miles 5 790
ISE Object-Oriented Software…
David Kung Paperback R1,811 Discovery Miles 18 110
Engineering Management for the Rest of…
Sarah Drasner Hardcover R708 R599 Discovery Miles 5 990
Six Sigma Tools and Processes…
Hollie Hargreaves Hardcover R861 R705 Discovery Miles 7 050

See more

Partners