Reset Filters
Circulation Type: In-Library Use Only
Filter Related Topics within your search.
1
On concurrent programming

Cover is for reference only
Main Authors: Schneider Fred B.
Published: Springer,
Publication Dates: c1997.
Call Number: TP311.11/S358/
Book
Save to List
Saved in:
2
Verification of sequential and concurrent programs

Cover is for reference only
Main Authors: Apt Krzysztof R 1949-
Group Author: Olderog Ernst-Rudiger
Published: Springer-Verlag,
Publication Dates: c1997.
Call Number: TP31-43/A655/2nd ed./
Book
Save to List
Saved in:
3
Deduction systems

Cover is for reference only
Main Authors: Socher-Ambrosius Rolf
Group Author: Johann Patricia
Published: Springer,
Publication Dates: c1997.
Call Number: O141.2/S678/
Book
Save to List
Saved in:
4
Logic for applications

Cover is for reference only
Main Authors: Nerode Anil 1932-
Group Author: Shore Richard 1946-
Published: Springer,
Publication Dates: c1997.
Call Number: TP311.11/N451/2nd ed./
Book
Save to List
Saved in:
5
First-order logic and automated theorem proving

Cover is for reference only
Main Authors: Fitting Melvin 1942-
Published: Springer,
Publication Dates: c1996.
Call Number: TP301/F547/2nd ed./
Book
Save to List
Saved in:
6
An introduction to Kolmogorov complexity and its applications

Cover is for reference only
Main Authors: Li Ming.
Group Author: Vitányi P. M. B.
Published: Springer,
Publication Dates: c1997.
Call Number: O141/L693/2nd ed./
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —