Mathematical theory of domains /

Mathematical theory of domains /

57

Bibliographic Details
Main Authors:	248491 Stoltenberg-Hansen, Viggo, Lindstrom, Ingrid, Griffor, Edward R.
Format:
Language:	eng
Published:	Cambridge : Cambridge University Press, 1994
Subjects:	Computer science

Similar Items

Observationally-induced algebras in Domain Theory
by: Ingo Battenfeld, et al.
Published: (2014-09-01)

Mathematical theory of computation /
by: 179321 Manna, Zohar
Published: (1974)

Discrete mathematics and graph theory /
by: 383107 Biswal, Purna Chandra
Published: (2005)

Discrete Mathematics : theory and applications /
by: 211975 Malik, D. S., et al.
Published: (2010)

Bistable Biorders: A Sequential Domain Theory
by: James Laird
Published: (2007-05-01)

Mathematics : a discrete introduction /
by: 373400 Scheinerman, Edward R.
Published: (2005)

A proof of strong normalisation using domain theory
by: Thierry Coquand, et al.
Published: (2007-12-01)

Mathematics : A Discrete Introduction /
by: Scheinerman, Edward R., author 373400
Published: (2012)

Discrete Mathematics [electronic resource] : theory and applications /
by: Malik, D. S., author 211975, et al.
Published: (2010)

Applicable Mathematics in a Minimal Computational Theory of Sets
by: Arnon Avron, et al.
Published: (2018-10-01)

Discrete mathematics with graph theory /
by: 365564 Goodaire, Edgar G., et al.
Published: (2006)

Discrete mathematics with graph theory /
by: 365564 Goodaire, Edgar G., et al.
Published: (2002)

Discrete mathematics with graph theory /
by: 365564 Goodaire, Edgar G., et al.
Published: (1998)

Mathematics : a discrete introduction /
by: 373400 Scheinerman, Edward R.
Published: (2000)

Schaum's outline of theory and problems of essential computer mathematics /
by: 361304 Lipschutz, Seymour
Published: (1987)

Discrete mathematics : applied combinatorics and graph theory /
by: 280706 Townsend, Michael
Published: (1987)

Mathematical strategame theory and biomolecular mediated computing
by: Wang, Qi Wen
Published: (2014)

Computer approaches to mathematical problems /
by: 315730 Nievergelt, Jurg, et al.
Published: (1974)

A mathematical theory of communicating processes
by: Roscoe, A, et al.
Published: (1982)

Mathematical programming study : computational mathematical programming /
by: Hoffman, K. L., et al.
Published: (1987)

Discrete mathematics : an introduction to mathematical reasoning /
by: 271435 Epp, Susanna S.
Published: (c201)

E-recursively enumerable degrees
by: Griffor, Edward R.
Published: (2005)

Discrete mathematical structures /
by: 213443 Somasundaram, R. M.
Published: (2003)

Discrete mathematics /
by: 396775 Ross, Kenneth A., et al.
Published: (1988)

First steps in synthetic guarded domain theory: step-indexing in the topos of trees
by: Lars Birkedal, et al.
Published: (2012-10-01)

Discrete mathematics /
by: 396775 Ross, Kenneth A., et al.
Published: (1985)

Optical frequency domain imaging of human retina and choroid
by: Lee, Edward Chin Wang
Published: (2007)

Elementary mathematics for computing/
by: 220014 Lance, Larry R., et al.
Published: (1986)

A method to enrich domain ontology using synonym and probability theory
by: Mohd Rafei Heng, Nur Fatin Nabila
Published: (2016)

Constructive Domains with Classical Witnesses
by: Dirk Pattinson, et al.
Published: (2021-03-01)

Mathematics in programmers : an introduction /
by: 225819 Tunnicliffe, W. R.
Published: (1991)

Fundamentals of discrete mathematical structures /
by: 288864 Chowdhary, K. R.
Published: (2008)

Defending on networks : applying game theory to prevent illegal activities in structured security domains
by: Wang, Xinrun
Published: (2020)

Discrete mathematics /
by: Chakraborty, S. K. (Swapan Kumar), et al.
Published: (2011)

Computing Mathematics /
by: 299936 Choo, Cheng How, et al.
Published: (2006)

Discrete mathematics /
by: 437766 Hein, James L.
Published: (2003)

Discrete mathematics /
by: 306897 Biggs, Norman L.
Published: (2002)

Mathematics for computers /
by: 229280 Kramer, Arthur D.
Published: (1986)

Discrete mathematics /
by: 437766 Hein, James L.
Published: (1996)

Mathematics for computers/
by: 229280 Kramer, Arthur D.
Published: (1986)