Modal and Temporal Properties of Processes
Colin P Stirling
Paperback
Not Available
An Integrated Approach to Software Engineering
Pankaj Jalote
Hardback
Theory of Computation
Dexter Kozen
Elements of Computation Theory
Arindama Singh
Verification of Sequential and Concurrent Programs
Krzysztof R Apt and 2 more
Understanding Concurrent Systems
A W Roscoe
Specification of Software Systems
VS Alagar and 1 more
Fundamentals of Parameterized Complexity
R G Downey and 1 more
Big Data Integration Theory
Zoran Majkic
Computational Intelligence
Rudolf Kruse
Formal Languages and Compilation
Stefano CrespiReghizzi and 2 more
Introduction to Computational Social Science
Claudio A CioffiRevilla
Guide to Graph Algorithms
K Erciyes
Introduction to Intelligent Surveillance
Wei Qi Yan
Guide to Intelligent Data Science
Michael R Berthold and 4 more
Guide to AI for Cybersecurity. Principles, Frameworks, and Practical Implementation
Muthu Ramachandran
Guide to AI for Cybersecurity. Emerging Technologies, Ethics, and Societal Impact
The National Year of Reading starts here. Join thousands of families and schools supporting reading for pleasure across the UK.
