1. Elements of dynamic and 2-SAT programming : paths, trees, and cuts / Matthias Bentert. Foundations of computing. Bentert, Matthias [Browse] Berlin : Universitätsverlag der Technischen Universität Berlin, 2021. Book No holdings available for this record
2. Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm. Foundations of computing Goguen, Joseph [Browse] Cambridge, Mass. : MIT Press, c1996. Book Loading...ReCAP - Remote Storage » QA76.7 .G62 1996
3. Algorithmic number theory / Eric Bach and Jeffrey Shallit. Foundations of computing Bach, Eric [Browse] Cambridge, Mass. : MIT Press, c1996. Book Loading...Lewis Library - Stacks » QA241 .B1085 1996
4. Control flow semantics / Jaco de Bakker and Erik de Vink. Foundations of computing Bakker, J. W. de (Jacobus Willem), 1939- [Browse] Cambridge, Mass. : MIT Press, c1996. Book Loading...ReCAP - Remote Storage » QA76.7 .B352 1996
5. Foundations for programming languages / John C. Mitchell. Foundations of computing Mitchell, John C. [Browse] Cambridge, Mass. : MIT Press, c1996. Book Loading...Engineering Library - Stacks » QA76.7 .M57 1996
6. Circuit complexity and neural networks / Ian Parberry. Foundations of computing Parberry, Ian [Browse] Cambridge, Mass. : MIT Press, c1994. Book Loading...ReCAP - Remote Storage » QA76.87 .P38 1994
7. The formal semantics of programming languages : an introduction / Glynn Winskel. Foundations of computing Winskel, G. (Glynn) [Browse] Cambridge, Mass. : MIT Press, c1993 (2nd printing 1994) Book Loading...Engineering Library - Stacks » QA76.7 .W555 1993
8. From logic to logic programming / Kees Doets. Foundations of computing Doets, Kees [Browse] Cambridge, Mass. : MIT Press, c1994. Book Loading...ReCAP - Remote Storage » QA76.63 .D64 1994
9. Logic and information flow / edited by Jan van Eijck and Albert Visser. Foundations of computing Cambridge, Mass. : MIT Press, c1994. Book Loading...ReCAP - Remote Storage » QA76 .L5662 1994
10. The structure of typed programming languages / David A. Schmidt. Foundations of computing Schmidt, David A., 1953- [Browse] Cambridge, Mass. : MIT Press, c1994. Book Loading...ReCAP - Remote Storage » QA76.7 .S345 1994
11. Exploring interior-point linear programming : algorithms and software / Ami Arbel. Foundations of computing Arbel, Ami [Browse] Cambridge, Mass. : MIT Press, c1993. Book Loading...ReCAP - Remote Storage » T57.74 .A73 1993
12. Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis. Foundations of computing Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.) [Browse] Cambridge, Mass. : MIT Press, c1993. Book Loading...Lewis Library - Stacks » QA242 .M4213 1993
13. Semantics of programming languages : structures and techniques / Carl A. Gunter. Foundations of computing Gunter, Carl A. [Browse] Cambridge, Mass. : MIT Press, c1992. Book Loading...Engineering Library - Stacks » QA76.7 .G86 1992
14. Basic category theory for computer scientists / Benjamin C. Pierce. Foundations of computing Pierce, Benjamin C. [Browse] Cambridge, Mass. : MIT Press, c1991. Book Loading...Engineering Library - Stacks » QA76.9.M35 P54 1991
15. The stable marriage problem : structure and algorithms / Dan Gusfield and Robert W. Irving. Foundations of computing Gusfield, Dan [Browse] Cambridge, Mass. : MIT Press, c1989. Book Loading...Engineering Library - Stacks » QA164 .G87 1989
16. PX, a computational logic / Susumu Hayashi, Hiroshi Nakano. Foundations of computing Hayashi, Susumu, 1953- [Browse] Cambridge, Mass. : MIT Press, c1988. Book Loading...ReCAP - Remote Storage » QA76.9.A96 H39 1988
17. Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn. Foundations of computing. Harel, David, 1950- [Browse] Cambridge, Mass. : MIT Press, 2000. Book ReCAP - Remote Storage » QA76.9.L63 H37 2000
18. Proof, language, and interaction : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin Stirling, and Mads Tofte. Foundations of computing. Cambridge, Mass. : MIT Press, [2000], ©2000. Book ReCAP - Remote Storage » QA76 .P699 2000
19. Computability and complexity : from a programming perspective / Neil D. Jones. Foundations of computing. Jones, Neil D. [Browse] Cambridge, Mass. : MIT Press, c1997. Book ReCAP - Remote Storage » QA76.6 .J6658 1997
20. Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm. Foundations of computing. Goguen, Joseph [Browse] Cambridge, Mass. : MIT Press, [1996], ©1996. Book ReCAP - Remote Storage » QA76.7 .G62 1996
