Posted by **fdts** at Nov. 30, 2015

by Vangelis Th. Paschos

English | 2008 | ISBN: 1848210213 | 544 pages | PDF | 3.56 MB

Posted by **tanas.olesya** at March 20, 2015

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.

Posted by **manamba13** at Feb. 5, 2015

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.

Posted by **MoneyRich** at Feb. 3, 2015

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.

Posted by **tanas.olesya** at Feb. 1, 2015

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.

Posted by **Underaglassmoon** at Jan. 4, 2015

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.

Posted by **interes** at June 8, 2014

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.

Posted by **libr** at July 9, 2013

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.

Posted by **avava** at March 15, 2012

Publisher: ***nger | ISBN: 3642276539 | 2012 | PDF | 440 pages | 4.9 MB

Posted by **avava** at Sept. 11, 2011

Publisher: Springer; 2nd Edition | ISBN 10: 3642173632 | 2011 | PDF | 436 pages | 5.6 MB