Mathematical theory of computation
Nielson Flemming, Nielson Hanne Riis:
Two-Level Functional Languages
Series editor: C.J. Van Rijsbergen
Cambridge University Press (United Kingdom), 2005
Paperback, 312 pages
Carpenter Robert L.:
The Logic Of Typed Feature Structures
With Applications To Unification Grammars, Logic Programs And Constraint Resolution
Series editor: C.J. Van Rijsbergen
Cambridge University Press (United Kingdom), 2005
Paperback, 280 pages
Feijs L.M.G., Jonkers H.B.M.:
Formal Specification And Design
Series editor: C.J. Van Rijsbergen
Cambridge University Press (United Kingdom), 2005
Paperback, 352 pages
Mosses Peter D.:
Action Semantics
Series editor: C.J. Van Rijsbergen
Cambridge University Press (United Kingdom), 2005
Paperback, 396 pages
Hillston J.:
A Compositional Approach To Performance Modelling
Cambridge University Press (United Kingdom), 2005
Paperback, 172 pages
Golomb Solomon W., Gong Guang:
Signal Design For Good Correlation
For Wireless Communication, Cryptography, And Radar
Cambridge University Press (United Kingdom), 2005
Hardback, 456 pages
Huth Michael, Ryan Mark:
Logic In Computer Science
Modelling And Reasoning About Systems
2 Rev Ed
Cambridge University Press (United Kingdom), 2004
Paperback, 440 pages
Rijsbergen C.J. Van:
The Geometry Of Information Retrieval
Cambridge University Press (United Kingdom), 2004
Hardback, 162 pages








