Posted by **ChrisRedfield** at Feb. 23, 2017

Published: 2015-07-07 | ISBN: 9401772355, 9402404112 | PDF | 573 pages | 19.38 MB

Posted by **nebulae** at Feb. 21, 2017

English | ISBN: 148225414X | 2016 | 750 pages | PDF | 64 MB

Posted by **ksveta6** at Feb. 21, 2017

2016 | ISBN: 047003548X, 0470035501 | English | 424 pages | PDF | 12 MB

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

English | 17 Nov. 2016 | ISBN: 1447173066 | 544 Pages | PDF | 4.23 MB

This book explains the principal techniques of data mining, for classification, association rule mining and clustering. Each topic is clearly explained and illustrated by detailed examples, with a focus on algorithms rather than mathematical formalism.

Posted by **U.N.Owen** at Feb. 16, 2017

Size: 260 MB | Duration: 2h 1m | Video: AVC (.mp4) 1280x720 30fps | Audio: AAC 48KHz 2ch

C# is a versatile programming language used in many different ways.

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

English | 16 Mar. 2017 | ISBN: 331951654X | 210 Pages | PDF | 7.45 MB

This book provides a concise introduction to Pervasive Computing, otherwise known as Internet of Things (IoT) and Ubiquitous Computing (Ubicomp) which addresses the seamless integration of computing systems within everyday objects.

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. 8, 2017

English | 28 Jan. 2017 | ISBN: 3662504960 | 380 Pages | PDF | 3.72 MB

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning,

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 **Nice_smile)** at Feb. 6, 2017

English | 2011 | ISBN: 048648582X | 624 Pages | PDF | 2.67 MB