Paperback
Not available for sale
Out of stock
The proceedings of LICS'94 comprise 61 contributed papers on topics in domain theory, finite model theory, concurrency, semantics, constraints, modal and temporal logic, types, constructive mathematics, complexity and databases, logic programming, linear logic, category theory, rewriting, lambda-calculus, logic in artificial intelligence, and autom
| ISBN: | 9780818663109 |
| Publisher: | IEEE Computer Society Press,U.S. |
| Imprint: | IEEE Computer Society Press,U.S. |
| Language: | English |
| Weight: | -1g |
| Height: | 279mm |
| Width: | 215mm |
| Spine width: | 31mm |
$10.90off
Quantum Computing Fundamentals
Paperback
Published 17 Aug 2021
Save $10.90
$21.62off
Head First Software Architecture
Paperback
Published 19 Mar 2024
Save $21.62
$19.02off
NGINX Cookbook
Paperback
Published 09 Feb 2024
Save $19.02
$8.99off
Topological Duality for Distrib...
Hardback
Published 07 Mar 2024
Save $8.99
$5.37off
Programming the 65816
Paperback
Published 31 Jan 1987
Save $5.37
$22.79off
Building Multi-Tenant SaaS Arch...
Paperback
Published 07 May 2024
Save $22.79
$63.60off
Cloud Native Networking Deep-Dive
Paperback
Published 04 Dec 2023
Save $63.60
$3.73off
Cyber-Physical Systems
Paperback
Published 08 Oct 2024
Save $3.73
$5.53off
Gateway Routing Selection Schem...
Hardback
Published 06 Jan 2025
Save $5.53
$3.51off
Pragmatic Flutter
Paperback
Published 04 Oct 2024
Save $3.51