Discrete Mathematical For Computer Scientists

Discrete Mathematics For Computer Scientists And Mathematicians, 2nd edition  eBooks & eLearning

Posted by roxul at Jan. 31, 2015
Discrete Mathematics For Computer Scientists And Mathematicians, 2nd edition

Joe L Mott, Abraham Kandel, "Discrete Mathematics For Computer Scientists And Mathematicians, 2nd edition"
English | ISBN: 8120315022 | 1985 | 768 pages | DJVU | 6 MB

Discrete Mathematics for Computer Scientists  eBooks & eLearning

Posted by ChrisRedfield at June 20, 2014
Discrete Mathematics for Computer Scientists

Clifford Stein, ‎Robert L. Drysdale, ‎Kenneth P. Bogart - Discrete Mathematics for Computer Scientists
Published: 2010-03-13 | ISBN: 0132122715, 1930190867 | PDF | 528 pages | 3 MB

Logic for Computer Scientists (repost)  eBooks & eLearning

Posted by roxul at April 12, 2017
Logic for Computer Scientists (repost)

Uwe Schöning, "Logic for Computer Scientists"
2010 | ISBN-10: 0817645721 | 236 pages | PDF | 2 MB
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) by Mauricio Ayala-Rincón
English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | EPUB | 0.1 MB

Analysis for Computer Scientists: Foundations, Methods, and Algorithms  eBooks & eLearning

Posted by AvaxGenius at March 3, 2017
Analysis for Computer Scientists: Foundations, Methods, and Algorithms

Analysis for Computer Scientists: Foundations, Methods, and Algorithms By Michael Oberguggenberger, Alexander Ostermann
English | EPUB | 2011 | 342 Pages | ISBN : 0857294458 | 4.18 MB

Mathematics and mathematical modelling are of central importance in computer science, and therefore it is vital that computer scientists are aware of the latest concepts and techniques.

Discrete Geometry for Computer Imagery  eBooks & eLearning

Posted by DZ123 at Feb. 26, 2017
Discrete Geometry for Computer Imagery

Elena Barcucci, Andrea Frosini, Simone Rinaldi, "Discrete Geometry for Computer Imagery"
English | 2014 | ISBN: 331909954X | PDF | pages: 433 | 30.3 mb

Mathematics of Discrete Structures for Computer Science (Repost)  eBooks & eLearning

Posted by AvaxGenius at Feb. 11, 2017
Mathematics of Discrete Structures for Computer Science (Repost)

Mathematics of Discrete Structures for Computer Science By Gordon J. Pace
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.
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) by Mauricio Ayala-Rincón
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.

Probability and Statistics for Computer Scientists, Second Edition (repost)  eBooks & eLearning

Posted by interes at Dec. 13, 2016
Probability and Statistics for Computer Scientists, Second Edition (repost)

Probability and Statistics for Computer Scientists, Second Edition by Michael Baron
English | 2013 | ISBN: 1439875901 | 473 pages | PDF | 15 MB

Discrete Geometry for Computer Imagery [Repost]  eBooks & eLearning

Posted by tanas.olesya at April 23, 2016
Discrete Geometry for Computer Imagery [Repost]

Discrete Geometry for Computer Imagery (Lecture Notes in Computer Science) by Srecko Brlek
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;