Experimental Method in Computer Science

Principles of Data Mining (Undergraduate Topics in Computer Science) [Repost]  eBooks & eLearning

Posted by hill0 at Feb. 20, 2017
Principles of Data Mining (Undergraduate Topics in Computer Science) [Repost]

Principles of Data Mining (Undergraduate Topics in Computer Science) by Max Bramer
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.
Pervasive Computing: Engineering Smart Systems (Undergraduate Topics in Computer Science)

Pervasive Computing: Engineering Smart Systems (Undergraduate Topics in Computer Science) by Natalia Silvis-Cividjian
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.

Recent Advances in Computer Science and Information Engineering  eBooks & eLearning

Posted by tanas.olesya at Feb. 13, 2017
Recent Advances in Computer Science and Information Engineering

Recent Advances in Computer Science and Information Engineering (Lecture Notes in Electrical Engineering) by Zhihong Qian
English | 6 Feb. 2012 | ISBN: 3642257658 | 849 Pages | PDF | 16 MB
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.

Hashing in Computer Science: Fifty Years of Slicing and Dicing (repost)  eBooks & eLearning

Posted by interes at Feb. 3, 2017
Hashing in Computer Science: Fifty Years of Slicing and Dicing  (repost)

Hashing in Computer Science: Fifty Years of Slicing and Dicing by Alan G. Konheim
English | 2010 | ISBN: 0470344733 | 386 pages | PDF | 4,8 MB
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX: 29 (Lecture Notes in Computer Science)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX: 29 (Lecture Notes in Computer Science) by Abdelkader Hameurlain
English | 23 Dec. 2016 | ISBN: 3662540363 | 144 Pages | PDF | 7.88 MB

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains.
Advances in Computer Science and Education Applications: International Conference, CSE 2011(Repost)

Advances in Computer Science and Education Applications: International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part II (Communications in Computer and Information Science) by Mark Zhou
English | 2011 | ISBN: 3642224555 | 587 Pages | PDF | 11.21 MB

Horizons in Computer Science Research, Volume 10  eBooks & eLearning

Posted by readerXXI at Jan. 21, 2017
Horizons in Computer Science Research, Volume 10

Horizons in Computer Science Research, Volume 10
by Thomas S. Clary
English | 2015 | ISBN: 1634637402 | 170 Pages | PDF | 8.16 MB

This book presents original results on the leading edge of computer science research.
An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)(Repost)

An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science) by Ming Li
English | 1997 | ISBN: 0387948686 | 637 Pages | DJVU | 4.55 MB
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics [Repost]

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Atlantis Studies in Computing) by Fabio Mogavero
English | 12 Aug. 2013 | ISBN: 9491216945 | 168 Pages | PDF | 2.19 MB

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.