Computer Science Theoretical

Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics  eBooks & eLearning

Posted by Willson at July 19, 2017
Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics

Jan van Leeuwen, "Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics"
English | 1984 | ISBN: 0262720159 | 1287 pages | PDF | 64 MB

Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity  eBooks & eLearning

Posted by Willson at July 19, 2017
Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity

Jan van Leeuwen, "Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity"
English | 1994 | ISBN: 0262720140 | 1006 pages | PDF | 10 MB
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science) (Repost)

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science) by Peter Padawitz
1992 | ISBN: 0521417236 | 285 pages | PDF | 6,3 MB

In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs.

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)  eBooks & eLearning

Posted by hill0 at April 30, 2017
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series) by Roberto Bruni
English | 22 Apr. 2017 | ISBN: 3319428985 | 420 Pages | PDF | 2.64 MB

This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract.
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk

Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk by S. Krajewski
English | 2008 | ISBN: 1586038141, 9781586038144 | 376 Pages | PDF | 25.07 MB
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference [repost]

Mohammad Taghi Hajiaghayi and Mohammad Reza Mousavi, "Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015"
English | ISBN: 3319286773 | 2016 | 196 pages | PDF | 7 MB
Valider Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening
English | 28 Jan. 2017 | ISBN: 3662504960 | 380 Pages | PDF | 3.72 MB

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning,

Temporal Logics in Computer Science: Finite-State Systems  eBooks & eLearning

Posted by Underaglassmoon at Jan. 12, 2017
Temporal Logics in Computer Science: Finite-State Systems

Temporal Logics in Computer Science: Finite-State Systems
Cambridge | English | October 2016 | ISBN-10: 1107028361 | 752 pages | PDF | 13.07 mb

by Stéphane Demri (Author), Valentin Goranko (Author), Martin Lange (Author)

Mathematical Foundations of Computer Science: Sets, Relations, and Induction  eBooks & eLearning

Posted by DZ123 at Jan. 8, 2017
Mathematical Foundations of Computer Science: Sets, Relations, and Induction

Peter A. Fejer, Dan Simovici, "Mathematical Foundations of Computer Science: Sets, Relations, and Induction"
English | 1991 | ISBN: 1461277922 | DJVU | pages: 433 | 3.2 mb

Theoretical Computer Science (repost)  eBooks & eLearning

Posted by interes at Nov. 17, 2016
Theoretical Computer Science (repost)

Theoretical Computer Science by Christian S. Calude, Vladimiro Sassone
English | 2010 | ISBN: 3642152392 | 387 pages | PDF | 3,3 MB