Mathematical models for computing science

Mathematical models for computing science

Ցույց տալ այլ տարբերակներ (1)

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Hoare, C
Ձևաչափ:	Conference item
Հրապարակվել է:	1996

Նմանատիպ նյութեր

Mathematical Models for Computing Science
‌: Hoare, C
Հրապարակվել է: (1994)

Computer Science
‌: Hoare, C
Հրապարակվել է: (1971)

Is There a Mathematical Basis for Computer Programming?
‌: Hoare, C
Հրապարակվել է: (1981)

Linking Theories in Computing Science
‌: Hoare, C
Հրապարակվել է: (2015)

Computational and mathematical modeling in the social sciences /
‌: 437458 De Marchi, Scott
Հրապարակվել է: (2005)

Computer science mathematics /
‌: 243736 Spencer, Donald D.
Հրապարակվել է: (1976)

Keynote: A Vision for the Science of Computing
‌: Hoare, T
Հրապարակվել է: (2008)

Unification of Theories: A Challenge for Computing Science
‌: Hoare, C
Հրապարակվել է: (1995)

Introduction to computational science and mathematics /
‌: 231288 Van Loan, Charles F.
Հրապարակվել է: (1996)

Mathematical logic in computer science /
‌: Domolki, B., և այլն
Հրապարակվել է: (1981)

Mathematical aspects of computer science /
‌: Schwartz, Jacob T.
Հրապարակվել է: (1967)

Mathematical logic for computer science /
‌: 288973 Ben-Ari, Mordechai
Հրապարակվել է: (2003)

Discrete mathematics for computer science /
‌: 384007 Haggard, Gary, և այլն
Հրապարակվել է: (2006)

Discrete mathematics in computer science /
‌: 378146 Stanat, Donald F., և այլն
Հրապարակվել է: (1977)

Mathematical logic for computer science /
‌: 391862 Zhongwan, Lu
Հրապարակվել է: (1998)

Mathematics for informatics and computer science /
‌: Audibert, Pierre, 1941-
Հրապարակվել է: (2010)

Mathematical foundations of computer science /
‌: 477096 Symposium on Mathematical Foundations of Computer Science, և այլն
Հրապարակվել է: (1978)

Mathematical foundations of computer science /
‌: 514831 Bathul, Shahnaz
Հրապարակվել է: (c201)

Logic for mathematics and computer science /
‌: 392348 Burris, Stanley N.
Հրապարակվել է: (1998)

Introduction to computer science mathematics /
‌: 207519 Jamison, Robert V.
Հրապարակվել է: (1973)

Boolean models and methods in mathematics, computer science, and engineering /
‌: 522871 Crama, Yves, և այլն
Հրապարակվել է: (2010)

Discrete mathematical structures for computer science/
‌: 377739 Kolman, Bernard, և այլն
Հրապարակվել է: (1987)

Equations, models and programs : a mathematical introduction to computer science /
‌: 250260 Myers, Thomas J.
Հրապարակվել է: (1988)

Computer algebra recipes : An introductory guide to the mathematical models of science /
‌: 437815 Enns, Richard H., և այլն
Հրապարակվել է: (2006)

Computer science a mathematical introduction/
‌: 448330 Lew, Art
Հրապարակվել է: (1985)

Mathematics for computer science and engineering courses /
‌: 210896 Verma, P. D. S.
Հրապարակվել է: (1986)

Topology‚ computer science and the mathematics of convergence
‌: Roscoe, A
Հրապարակվել է: (1991)

Mathematics for engineering, technology, and computing science /
‌: 397558 Martin, Hedley G.
Հրապարակվել է: (1970)

Discrete mathematical structures for computer science /
‌: 190801 Prather, Ronald E.
Հրապարակվել է: (1976)

Discrete mathematical structures for computer science/
‌: 377739 Kolman, Bernard
Հրապարակվել է: (1984)

Essential discrete mathematics for computer science /
‌: 363392 Feil, Todd, և այլն
Հրապարակվել է: (2003)

Discrete mathematics with computer science applications /
‌: 378151 Skvarcius, Romualdas, և այլն
Հրապարակվել է: (1986)

The Mathematics of Programming
‌: Hoare, C
Հրապարակվել է: (1986)

The Mathematics of Programming
‌: Hoare, C
Հրապարակվել է: (2015)

Mathematical and computational models /
‌: Nadarajan, R., և այլն
Հրապարակվել է: (2008)

Student Science Training Program in Mathematics, Physics and Computer Science
‌: Abelson, Harold, և այլն
Հրապարակվել է: (2004)

Computer algebra recipes : a gourmet's guide to mathematical models of science /
‌: 437815 Enns, Richard H., և այլն
Հրապարակվել է: (c200)

Internationalization of Malaysian mathematical and computer science journals
‌: Zainab, A.N.
Հրապարակվել է: (2008)

Computational probability : algorithms and applications in the mathematical sciences /
‌: Drew, John H.
Հրապարակվել է: (2008)

Numerical methods for computer science, engineering and mathematics /
‌: 313798 Mathews, John H.
Հրապարակվել է: (1987)