Posted by **roxul** at Jan. 31, 2015

English | ISBN: 8120315022 | 1985 | 768 pages | DJVU | 6 MB

Posted by **ChrisRedfield** at June 20, 2014

Published: 2010-03-13 | ISBN: 0132122715, 1930190867 | PDF | 528 pages | 3 MB

Posted by **DZ123** at Feb. 26, 2017

English | 2014 | ISBN: 331909954X | PDF | pages: 433 | 30.3 mb

Posted by **AvaxGenius** at Feb. 11, 2017

English | PDF | 302 Pages | 2012 | ISBN : 3642298397 | 2.18 MB

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems.

Posted by **hill0** at Feb. 7, 2017

English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | PDF | 1.88 MB

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Posted by **interes** at Dec. 13, 2016

English | 2013 | ISBN: 1439875901 | 473 pages | PDF | 15 MB

Posted by **tanas.olesya** at April 23, 2016

English | Oct. 23, 2009 | ISBN: 3642043968 | 540 Pages | PDF | MB

The papers are organized in topical sections on discrete shape, representation, recognition and analysis; discrete and combinatorial tools for image segmentation and analysis; discrete and combinatorial Topology;

Posted by **arundhati** at April 8, 2016

2007 | ISBN-10: 0470822457 | 240 pages | PDF | 5 MB

Posted by **FenixN** at Jan. 31, 2016

DVDRips | FLV/AVC, ~250 kb/s | 374x210 | Duration: N/A | English: AAC, 48.0 KHz (2 ch) | + PDF Guides | 1.67 GB

Featuring recorded lectures from the Harvard School of Engineering and Applied Sciences course Computer Science 20, this course covers widely applicable mathematical tools for computer science, including topics from logic, set theory, combinatorics, number theory, probability theory, and graph theory. It includes practice in reasoning formally and proving theorems. Students meet twice a week via web conference to solve problems collaboratively.

Posted by **naag** at Jan. 4, 2016

English | 2012-08-25 | ISBN: 1447140680 | Epub | 494 pages | 1 MB