Computer Science

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.
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)(Repost)

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science) by Olaf Owe
English | 2004 | ISBN: 354021366X | 394 Pages | PDF | 4.29 MB

What is Computer Science? [Repost]  eBooks & eLearning

Posted by tanas.olesya at Jan. 13, 2017
What is Computer Science? [Repost]

What is Computer Science?: An Information Security Perspective by Daniel Page
English | 14 Jan. 2014 | ISBN: 3319040413 | 244 Pages | PDF | 4 MB

This engaging and accessible text addresses the fundamental question: What Is Computer Science?

Connecting with Computer Science, 2nd Edition (repost)  eBooks & eLearning

Posted by interes at Jan. 13, 2017
Connecting with Computer Science, 2nd Edition (repost)

Connecting with Computer Science, 2nd Edition by Greg Anderson, Robert Hilton, David Ferro
English | ISBN: 1439080356 | 2010 | PDF | 672 pages | 51,1 MB

Temporal Logics in Computer Science: Finite-State Systems  eBooks & eLearning

Posted by Underaglassmoon at Jan. 12, 2017
Temporal Logics in Computer Science: Finite-State Systems

Temporal Logics in Computer Science: Finite-State Systems
Cambridge | English | October 2016 | ISBN-10: 1107028361 | 752 pages | PDF | 13.07 mb

by Stéphane Demri (Author), Valentin Goranko (Author), Martin Lange (Author)
Confident Programmer Study Tips: 20 Tips for Learning Computer Science and Programming

Confident Programmer Study Tips: 20 Tips for Learning Computer Science and Programming by Cloudy Heaven Gms
English | 1 Jan. 2017 | ASIN: B01MT57M6Z | 26 Pages | AZW3/MOBI/EPUB/PDF (conv) | 899.99 KB

Are you learning programming on your own, attending a code boot camp, or taking a computer science course?

Recent Advances in Computer Science and Information Engineering: Volume 2 (repost)  eBooks & eLearning

Posted by interes at Jan. 10, 2017
Recent Advances in Computer Science and Information Engineering: Volume 2 (repost)

Recent Advances in Computer Science and Information Engineering: Volume 2 (Lecture Notes in Electrical Engineering) by Zhihong Qian, Lei Cao, Weilian Su and Tingkai Wang
English | ISBN: 3642257887 | 2012 | PDF | 876 pages | 18 MB
Algorithm Engineering: Selected Results and Surveys (Lecture Notes in Computer Science)

Algorithm Engineering: Selected Results and Surveys (Lecture Notes in Computer Science) by Lasse Kliemann
English | 11 Nov. 2016 | ISBN: 3319494864 | 432 Pages | EPUB | 4.46 MB

Algorithm Engineering is a methodology for algorithmic research that combines theory with implementation and experimentation in order to obtain better algorithms with high practical impact.

Digital Signal Processing: A Computer Science Perspective [Repost]  eBooks & eLearning

Posted by BUGSY at Jan. 9, 2017
Digital Signal Processing: A Computer Science Perspective [Repost]

Digital Signal Processing: A Computer Science Perspective by Jonathan (Y) Stein
English | Oct. 9, 2000 | ISBN: 0471295469, 047120059X | 878 Pages | PDF | 64 MB

Get a working knowledge of digital signal processing for computer science applications
The field of digital signal processing (DSP) is rapidly exploding, yet most books on the subject do not reflect the real world of algorithm development, coding for applications, and software engineering.

Intro to Computer Science Programming with Java 301 [repost]  eBooks & eLearning

Posted by naag at Jan. 8, 2017
Intro to Computer Science Programming with Java 301 [repost]

Intro to Computer Science Programming with Java 301
English | mov | H264 1280x800 | AAC 2 ch 96 kbps | Duration: 2.5 Hour | 842 MB
eLearning, Web Development, Java | +Exercise files