Computer Science Theoretical

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
Physics and Theoretical Computer Science by J.-P. Gazeau [Repost]

Physics and Theoretical Computer Science by J.-P. Gazeau
English | Feb 1, 2007 | ISBN: 1586037064 | 349 Pages | PDF | 7 MB

The goal of this publication is to reinforce the interface between physical sciences, theoretical computer science, and discrete mathematics. The intersection of combinatorics and statistical physics has been an area of great activity over the past few years, fertilized by an exchange not only of techniques but of objectives as well.
Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010 (Repost)

Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, … in Information and Communication Technology) by Christian S. Calude
English | 2010 | ISBN: 3642152392 | 399 Pages | PDF | 3 MB

Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.

A Basis for Theoretical Computer Science  

Posted by MoneyRich at Feb. 3, 2015
A Basis for Theoretical Computer Science

A Basis for Theoretical Computer Science (Monographs in Computer Science / The AKM Series in Theoretical Computer Science) by M.A. Arbib
English | Dec 14, 2011 | ISBN: 1461394570 | 220 Pages | PDF | 16 MB

Computer science seeks to provide a scientific basis for the study of inform a­ tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the development of mathematical techniques to allow the rigorous specification of program, process, and machine.
Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science) by Howard Straubing

Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science) by Howard Straubing
English | May 3, 1994 | ISBN: 0817637192 | 237 Pages | DJVU | 9 MB

The study of the connections between mathematical automata and for­ mal logic is as old as theoretical computer science itself.

Theoretical Computer Science: Proceedings of the 10th Italian Conference on ICTCS'07  eBooks & eLearning

Posted by Underaglassmoon at Jan. 4, 2015
Theoretical Computer Science: Proceedings of the 10th Italian Conference on ICTCS'07

Theoretical Computer Science: Proceedings of the 10th Italian Conference on ICTCS'07
English | Information Theory | 6. September 2007 | ISBN-10: 9812770984 | 199 pages | pdf | 1.5 mb

Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science.
Theoretical and Mathematical Foundations of Computer Science (repost)

Theoretical and Mathematical Foundations of Computer Science by Qihai Zhou
English | 2011 | ISBN: 3642249981 | 630 pages | PDF | 12 MB

This book constitutes the refereed post-proceedings of the Second International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTMF 2011, held in Singapore in May 2011.
Theoretical and Mathematical Foundations of Computer Science (repost)

Qihai Zhou, "Theoretical and Mathematical Foundations of Computer Science"
English | 2011 | ISBN: 3642249981 | 630 pages | PDF | 12 MB

This book constitutes the refereed post-proceedings of the Second International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTMF 2011, held in Singapore in May 2011.
Computation, Physics and Beyond: International Workshop on Theoretical Computer Science, WTCS 2012

Michael J. Dinneen, "Computation, Physics and Beyond: International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of … Computer Science and General Issues) "
Publisher: ***nger | ISBN: 3642276539 | 2012 | PDF | 440 pages | 4.9 MB
Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)

Stasys Jukna, "Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)"
Publisher: Springer; 2nd Edition | ISBN 10: 3642173632 | 2011 | PDF | 436 pages | 5.6 MB