Computer Science Theoretical

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
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015

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
Combinatorial Optimization and Theoretical Computer Science: Interfaces and Perspectives

Combinatorial Optimization and Theoretical Computer Science: Interfaces and Perspectives (ISTE)
by Vangelis Th. Paschos
English | 2008 | ISBN: 1848210213 | 544 pages | PDF | 3.56 MB

Logic Mathematics and Computer Science  eBooks & eLearning

Posted by Underaglassmoon at Oct. 21, 2015
Logic Mathematics and Computer Science

Logic Mathematics and Computer Science
Springer | Mathematics, Computer Science | November 14, 2015 | ISBN-10: 1493932225 | 391 pages | pdf | 3.8 mb

by Y. Nievergelt (Author, Editor)
Includes applications in game theory and Nash's equilibrium, Gale and Shapley's match making algorithms, Arrow's Impossibility Theorem in voting
Focuses of foundations, with specific statements of all the associated axioms and rules of logic and set theory
Provides complete details and derivations of formal proofs
Develops the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory
Provides copious references to literature that documents historical development