2005
Paperback (09 Aug 2005)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
The refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more.
| ISBN: | 9783540282310 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 09 Aug 2005 |
| Edition: | 2005 |
| DEWEY: | 005.1015113 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 565 |
| Weight: | 1780g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 30mm |
Compiler Design
Paperback
Published 29 Nov 2012
Secret History
Paperback
Published 26 Aug 2024
$8.31off
Computational Fluid Dynamics an...
Paperback
Published 08 Jul 2024
Save $8.31
$4.01off
Mining Complex Networks
Paperback
Published 26 Aug 2024
Save $4.01
$4.35off
Min-Max Framework for Majorizat...
Paperback
Published 04 Nov 2024
Save $4.35
Decision Making Models
Paperback
Published 25 Jul 2024
$3.80off
A Gentle Introduction to Scient...
Paperback
Published 27 May 2024
Save $3.80
$9.30off
An Introduction to Deep Surviva...
Paperback
Published 02 Jan 2025
Save $9.30
$1.81off
Introduction to Python for Scie...
Paperback
Published 24 Sep 2024
Save $1.81
$3.57off
Computational Science and Its A...
Paperback
Published 07 Oct 2024
Save $3.57