Computer Science Theoretical

Logic and Language Models for Computer Science  eBooks & eLearning

Posted by AlenMiler at Sept. 22, 2017
Logic and Language Models for Computer Science

Logic and Language Models for Computer Science by Dana Richards
English | 8 Sept. 2017 | ISBN: 9813230509 | ASIN: B075T6J1VT | 468 Pages | AZW3 | 9.16 MB

Algebra and Computer Science  eBooks & eLearning

Posted by arundhati at Sept. 12, 2017
Algebra and Computer Science

Delaram Kahrobaei, Bren Cavallo, "Algebra and Computer Science"
2016 | ISBN-10: 1470423030 | 240 pages | PDF | 2 MB

Theoretical Computer Science  eBooks & eLearning

Posted by DZ123 at Aug. 23, 2017
Theoretical Computer Science

Josep Diaz, Ivan Lanese, Davide Sangiorgi, "Theoretical Computer Science"
English | 2014 | ISBN: 3662446014 | PDF | pages: 369 | 5.3 mb

Theoretical Computer Science and Discrete Mathematics  eBooks & eLearning

Posted by AvaxGenius at Aug. 16, 2017
Theoretical Computer Science and Discrete Mathematics

Theoretical Computer Science and Discrete Mathematics: First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers By S. ArumugamJay BaggaLowell W. BeinekeB.S. Panda
English | PDF | 2017 | 471 Pages | ISBN : 3319644181 | 21.17 MB

This volume constitutes the refereed post-conference proceedings of the International Conference on Theoretical Computer Science and Discrete Mathematics, held in Krishnankoil, India, in December 2016.

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

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