Computer Science Theoretical

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