A Dictionary of Computer Science Comprehensive Coverage of the Latest Developments in Computing OXFORD | 2016 | English | ePUB, PDF, 1133 pages | 60.62 MB
This dictionary is suitable for anyone who uses computers, and is ideal for students of computer science and the related fields of IT, maths, physics, media communications, electronic engineering, and natural sciences.
A Dictionary of Computer Science (Oxford Quick Reference) by Andrew Butterfield English | Apr. 1, 2016 | ISBN: 0199688974 | 608 Pages | AZW3/EPUB/PDF (conv) | 20.93 MB
Previously named A Dictionary of Computing, this bestselling dictionary has been renamed A Dictionary of Computer Science, and fully revised by a team of computer specialists, making it the most up-to-date and authoritative guide to computing available.
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.