Computer Science Theoretical

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

Theoretical Aspects of Computer Science: Advanced Lectures  eBooks & eLearning

Posted by step778 at July 23, 2015
Theoretical Aspects of Computer Science: Advanced Lectures

Gholamreza B. Khosrovshahi, Ali Shokoufandeh, "Theoretical Aspects of Computer Science: Advanced Lectures"
2002 | pages: 230 | ISBN: 3540433287 | PDF | 3 mb