Computer Science Theoretical

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
Business Process Management: Models, Techniques, and Empirical Studies (Lecture Notes in Computer Science)

Business Process Management: Models, Techniques, and Empirical Studies (Lecture Notes in Computer Science) by Wil van der Aalst
English | May 25, 2000 | ISBN: 3540674543 | 398 Pages | PDF | 3 MB

Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R&D professionals in software engineering, information systems, business-oriented computer science, and management sciences.

Turing's Vision: The Birth of Computer Science  eBooks & eLearning

Posted by tarantoga at Oct. 9, 2016
Turing's Vision: The Birth of Computer Science

Chris Bernhardt, "Turing's Vision: The Birth of Computer Science"
ISBN: 0262034549 | 2016 | EPUB | 208 pages | 1 MB

The Unknowable (Discrete Mathematics and Theoretical Computer Science) (Repost)  eBooks & eLearning

Posted by roxul at July 29, 2016
The Unknowable (Discrete Mathematics and Theoretical Computer Science) (Repost)

Gregory J. Chaitin, "The Unknowable (Discrete Mathematics and Theoretical Computer Science)"
English | 1999 | ISBN: 9814021725 | 122 pages | PDF | 0,5 MB