Posted by **arundhati** at Aug. 25, 2015

1953 | ASIN: B0007DLU68 | 530 pages | Djvu | 4 MB

Posted by **step778** at Nov. 13, 2014

1988 | pages: 233 | ISBN: 0521368650, 0521218381 | PDF | 9,6 mb

Posted by **ChrisRedfield** at May 25, 2014

Published: 2009-10-30 | ISBN: 1441906142, 1441906169 | PDF | 384 pages | 8 MB

Posted by **naag** at March 18, 2017

English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | EPUB | 0.1 MB

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 **naag** at March 17, 2017

Springer | Signals & Communication | October 18, 2016 | ISBN-10: 3319441280 | 138 pages | pdf | 5.43 mb

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

English | PDF | 2017 | 143 Pages | ISBN : 3319532219 | 2.55 MB

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’.

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

English | EPUB | 2016 | 177 Pages | ISBN : 3319283391 | 2.87 MB

This textbook provides a coherent introduction to the main concepts and methods of one-parameter statistical inference. Intended for students of Mathematics taking their first course in Statistics, the focus is on Statistics for Mathematicians rather than on Mathematical Statistics.

Posted by **libr** at Dec. 18, 2016

English | 2008 | ISBN: 9812835229 | 292 pages | PDF | 6,6 MB

Posted by **Underaglassmoon** at Sept. 22, 2016

Springer | Signals & Communication | October 18, 2016 | ISBN-10: 3319441280 | 138 pages | pdf | 5.43 mb

Authors: Caponetti, Laura, Castellano, Giovanna

Presents a concise introduction to image processing algorithms based on fuzzy logic

Outlines image processing tasks such as thresholding, enhancement, edge detection, morphological filters, and segmentation in relation to fuzzy logic