Mathematical models for computing science

Mathematical models for computing science

Hiển thị phiên bản (1) khác

Chi tiết về thư mục
Tác giả chính:	Hoare, C
Định dạng:	Conference item
Được phát hành:	1996

Những quyển sách tương tự

Mathematical Models for Computing Science
Bằng: Hoare, C
Được phát hành: (1994)

Computer Science
Bằng: Hoare, C
Được phát hành: (1971)

Is There a Mathematical Basis for Computer Programming?
Bằng: Hoare, C
Được phát hành: (1981)

Linking Theories in Computing Science
Bằng: Hoare, C
Được phát hành: (2015)

Computational and mathematical modeling in the social sciences /
Bằng: 437458 De Marchi, Scott
Được phát hành: (2005)

Computer science mathematics /
Bằng: 243736 Spencer, Donald D.
Được phát hành: (1976)

Keynote: A Vision for the Science of Computing
Bằng: Hoare, T
Được phát hành: (2008)

Unification of Theories: A Challenge for Computing Science
Bằng: Hoare, C
Được phát hành: (1995)

Introduction to computational science and mathematics /
Bằng: 231288 Van Loan, Charles F.
Được phát hành: (1996)

Mathematical logic in computer science /
Bằng: Domolki, B., et al.
Được phát hành: (1981)

Mathematical aspects of computer science /
Bằng: Schwartz, Jacob T.
Được phát hành: (1967)

Mathematical logic for computer science /
Bằng: 288973 Ben-Ari, Mordechai
Được phát hành: (2003)

Discrete mathematics for computer science /
Bằng: 384007 Haggard, Gary, et al.
Được phát hành: (2006)

Discrete mathematics in computer science /
Bằng: 378146 Stanat, Donald F., et al.
Được phát hành: (1977)

Mathematical logic for computer science /
Bằng: 391862 Zhongwan, Lu
Được phát hành: (1998)

Mathematics for informatics and computer science /
Bằng: Audibert, Pierre, 1941-
Được phát hành: (2010)

Mathematical foundations of computer science /
Bằng: 477096 Symposium on Mathematical Foundations of Computer Science, et al.
Được phát hành: (1978)

Mathematical foundations of computer science /
Bằng: 514831 Bathul, Shahnaz
Được phát hành: (c201)

Logic for mathematics and computer science /
Bằng: 392348 Burris, Stanley N.
Được phát hành: (1998)

Introduction to computer science mathematics /
Bằng: 207519 Jamison, Robert V.
Được phát hành: (1973)

Boolean models and methods in mathematics, computer science, and engineering /
Bằng: 522871 Crama, Yves, et al.
Được phát hành: (2010)

Discrete mathematical structures for computer science/
Bằng: 377739 Kolman, Bernard, et al.
Được phát hành: (1987)

Equations, models and programs : a mathematical introduction to computer science /
Bằng: 250260 Myers, Thomas J.
Được phát hành: (1988)

Computer algebra recipes : An introductory guide to the mathematical models of science /
Bằng: 437815 Enns, Richard H., et al.
Được phát hành: (2006)

Computer science a mathematical introduction/
Bằng: 448330 Lew, Art
Được phát hành: (1985)

Mathematics for computer science and engineering courses /
Bằng: 210896 Verma, P. D. S.
Được phát hành: (1986)

Topology‚ computer science and the mathematics of convergence
Bằng: Roscoe, A
Được phát hành: (1991)

Mathematics for engineering, technology, and computing science /
Bằng: 397558 Martin, Hedley G.
Được phát hành: (1970)

Discrete mathematical structures for computer science /
Bằng: 190801 Prather, Ronald E.
Được phát hành: (1976)

Discrete mathematical structures for computer science/
Bằng: 377739 Kolman, Bernard
Được phát hành: (1984)

Essential discrete mathematics for computer science /
Bằng: 363392 Feil, Todd, et al.
Được phát hành: (2003)

Discrete mathematics with computer science applications /
Bằng: 378151 Skvarcius, Romualdas, et al.
Được phát hành: (1986)

The Mathematics of Programming
Bằng: Hoare, C
Được phát hành: (1986)

The Mathematics of Programming
Bằng: Hoare, C
Được phát hành: (2015)

Mathematical and computational models /
Bằng: Nadarajan, R., et al.
Được phát hành: (2008)

Student Science Training Program in Mathematics, Physics and Computer Science
Bằng: Abelson, Harold, et al.
Được phát hành: (2004)

Computer algebra recipes : a gourmet's guide to mathematical models of science /
Bằng: 437815 Enns, Richard H., et al.
Được phát hành: (c200)

Internationalization of Malaysian mathematical and computer science journals
Bằng: Zainab, A.N.
Được phát hành: (2008)

Computational probability : algorithms and applications in the mathematical sciences /
Bằng: Drew, John H.
Được phát hành: (2008)

Numerical methods for computer science, engineering and mathematics /
Bằng: 313798 Mathews, John H.
Được phát hành: (1987)