1.
Domains and Lambda-Calculi
by Amadio, Roberto M., Curien, Pier...
ISBN-13: 9780521622776
ISBN-10: 0521622778
List Price: $168.00
2.
Extensions of First-Order Logic
by Manzano, Maria, van Rijsbergen, ...
ISBN-13: 9780521019026
ISBN-10: 0521019028
Paperback, 2005
List Price: $79.00
3.
Basic Proof Theory
by Troelstra, Anne S., Schwichtenbe...
ISBN-13: 9780521779111
ISBN-10: 0521779111
List Price: $46.00
4.
Information Flow The Logic of Distributed Systems
by Barwise, Jon, Seligman, Jerry, v...
ISBN-13: 9780521583862
ISBN-10: 0521583861
List Price: $95.00
5.
Predicate Transformer Semantics
by Manes, Ernest G., van Rijsbergen...
ISBN-13: 9780521616102
ISBN-10: 0521616107
Paperback
List Price: $74.00
6.
Nets, Terms and Formulas Three Views of Concurrent Processes and Their Relationship
by Olderog, E. R., van Rijsbergen, ...
ISBN-13: 9780521018456
ISBN-10: 0521018455
Paperback, 2005
List Price: $58.00
7.
Specifications of Database Systems: International Workshop on Specifications of Database Sys...
by Harper, D. J., Norrie, M. C., va...
ISBN-13: 9780387197326
ISBN-10: 038719732X
Paperback
List Price: $59.95
8.
User-Developer Cooperation in Software Development Building Common Ground and Usable Systems
by O'Neill, Eamonn, van Rijsbergen,...
ISBN-13: 9781852333119
ISBN-10: 1852333111
Hardcover, 2001
List Price: $98.00
9.
Algorithmic Information Theory
by Chaitin, Gregory J., van Rijsber...
ISBN-13: 9780521616041
ISBN-10: 0521616042
Paperback, 2004
List Price: $46.00
10.
Extensions of First Order Logic
by Manzano, Maria, van Rijsbergen, ...
ISBN-13: 9780521354356
ISBN-10: 0521354358
List Price: $125.99
11.
Free Choice Petri Nets
by Desel, Jorg, Esparza, Javier, va...
ISBN-13: 9780521019453
ISBN-10: 0521019451
Paperback, 0015
List Price: $56.00
12.
Applications Of Process Algebra
by Baeten, J. C. M., van Rijsbergen...
ISBN-13: 9780521607506
ISBN-10: 0521607507
Paperback, 0008
List Price: $100.00
13.
Algebraic Specification of Communication Protocols
by Mauw, S., Veltink, G. J., van Ri...
ISBN-13: 9780521418836
ISBN-10: 0521418836
List Price: $115.99
14.
Formal Specification and Design
by Feijs, L. M. G., Jonkers, H. B. ...
ISBN-13: 9780521434577
ISBN-10: 0521434572
List Price: $115.99
15.
Metamathematics, Machines and Godel's Proof
by Shankar, Natarajan, van Rijsberg...
ISBN-13: 9780521585330
ISBN-10: 0521585333
List Price: $53.00
16.
Formal Semantics and Pragmatics for Natural Language Querying
by Clifford, James, van Rijsbergen,...
ISBN-13: 9780521602747
ISBN-10: 0521602742
Paperback, 2004
List Price: $61.00
17.
Algorithmic Information Theory
by Chaitin, G. J., van Rijsbergen, ...
ISBN-13: 9780521343060
ISBN-10: 0521343062
Hardcover
List Price: $73.99
18.
Action Semantics
by Mosses, Peter D., van Rijsbergen...
ISBN-13: 9780521619332
ISBN-10: 0521619335
Paperback, 0009
List Price: $79.00
19.
Programs, Recursion and Unbounded Choice
by Hesselink, Wim H., van Rijsberge...
ISBN-13: 9780521018296
ISBN-10: 0521018293
Paperback
List Price: $53.00
20.
Two-Level Functional Languages
by Nielson, Flemming, Nielson, Hann...
ISBN-13: 9780521018470
ISBN-10: 0521018471
Paperback
List Price: $61.00
21.
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop...
by Clement, Tim P., Lau, K. L., van...
ISBN-13: 9780387197425
ISBN-10: 0387197427
Paperback
List Price: $59.95
OUT OF STOCK
See Availability on Amazon22.
Deductive and Declarative Programming
by Padawitz, P., van Rijsbergen, C....
ISBN-13: 9780521032513
ISBN-10: 0521032512
Paperback, 2006
List Price: $58.00
23.
Geometry of Information Retrieval
by van Rijsbergen, C. J.
ISBN-13: 9780521838054
ISBN-10: 0521838053
Hardcover, 2004
List Price: $80.00
24.
East - West Database Workshop: Proceedings of the Second International East - West Database ...
by Eder, J., Kalinichenko, Leonid A...
ISBN-13: 9783540199465
ISBN-10: 3540199462
Paperback
List Price: $74.95
25.
Epistemic Logic for Ai and Computer Science
by Meyer, John-Jules Ch., Hoek, Wie...
ISBN-13: 9780521602808
ISBN-10: 0521602807
Paperback, 0009
List Price: $74.00
