Aqa A Level (year 2) Computer Science Pgonline

AQA Sociology for A Level: Book 2  eBooks & eLearning

Posted by IrGens at Jan. 4, 2017
AQA Sociology for A Level: Book 2

AQA Sociology for A Level: Book 2 by David Bown, Laura Pountney, Tomislav Maric, Natalie Meadows
English | September 30, 2016 | ISBN: 1471839427 | AZW3 + EPUB | 453 pages | 15/10 MB

Edexcel Business A Level Year 1: Including AS  eBooks & eLearning

Posted by Grev27 at March 19, 2016
Edexcel Business A Level Year 1: Including AS

Ian Marcouse, Andrew Hammond, Nigel Watson, "Edexcel Business A Level Year 1: Including AS"
English | ISBN: 1471847764 | 2015 | EPUB | 336 pages | 45 MB

Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo  eBooks & eLearning

Posted by tanas.olesya at Aug. 4, 2015
Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo

Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo
English | May 12, 1994 | ISBN: 0198538359 | 240 Pages | PDF | 6 MB

This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning.

A Basis for Theoretical Computer Science  eBooks & eLearning

Posted by MoneyRich at Feb. 3, 2015
A Basis for Theoretical Computer Science

A Basis for Theoretical Computer Science (Monographs in Computer Science / The AKM Series in Theoretical Computer Science) by M.A. Arbib
English | Dec 14, 2011 | ISBN: 1461394570 | 220 Pages | PDF | 16 MB

Computer science seeks to provide a scientific basis for the study of inform a­ tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the development of mathematical techniques to allow the rigorous specification of program, process, and machine.

Programming Abstractions in C: A Second Course in Computer Science  eBooks & eLearning

Posted by advisors at Nov. 27, 2014
Programming Abstractions in C: A Second Course in Computer Science

Programming Abstractions in C: A Second Course in Computer Science By Eric S. Roberts
1998 | 839 Pages | ISBN: 0201545411 | scanned PDF | 385 MB

AQA History AS Unit 2 A New Roman Empire? Mussolini's Italy, 1922-1945  eBooks & eLearning

Posted by interes at Sept. 21, 2015
AQA History AS Unit 2 A New Roman Empire? Mussolini's Italy, 1922-1945

AQA History AS Unit 2 A New Roman Empire? Mussolini's Italy, 1922-1945 by Chris Rowe and Sally Waller
English | 2014 | ISBN: 1408503123 | 160 pages | PDF | 18,3 MB

Computer Science Logo Style (3 vol. set)  eBooks & eLearning

Posted by tot167 at April 7, 2008
Computer Science Logo Style (3 vol. set)

Brian Harvey “Computer Science Logo Style (3 vol. set)"
The MIT Press | 1997-02-14 | ISBN: 0262581515 | 1068 pages | PDF | 4,3 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)
The Cognitive Dynamics of Computer Science: Cost-Effective Large Scale Software Development (Repost)

Szabolcs Michael de Gyurky, Mark A. Tarbell, "The Cognitive Dynamics of Computer Science: Cost-Effective Large Scale Software Development"
English | 2006 | ISBN: 0471970476 | PDF | pages: 314 | 5,8 mb

Logic for Computer Science and Artificial Intelligence (repost)  eBooks & eLearning

Posted by interes at Nov. 16, 2015
Logic for Computer Science and Artificial Intelligence (repost)

Logic for Computer Science and Artificial Intelligence (ISTE) by Ricardo Caferra
English | ISBN: 1848213018 | 2011 | PDF | 544 pages | 5,1 MB