Logic for applications /
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awduron Eraill: | |
| Fformat: | Llyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
New york :
Springer-Verlag,
1997.
|
| Rhifyn: | 2nd ed. |
| Cyfres: | Graduate texts in computer science
|
| Pynciau: | |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg
Logical systems for industrial applications /
gan: Jaczewski, Jerzy
Cyhoeddwyd: (1978)
gan: Jaczewski, Jerzy
Cyhoeddwyd: (1978)
Logical systems for industrial applications /
gan: Jaczewski, Jerzy
Cyhoeddwyd: (1978)
gan: Jaczewski, Jerzy
Cyhoeddwyd: (1978)
The logic of investment planning /
gan: Chakravarty, Sukhamoy
Cyhoeddwyd: (1959)
gan: Chakravarty, Sukhamoy
Cyhoeddwyd: (1959)
The logic of investment planning /
gan: Chakravarty, Sukhamoy
Cyhoeddwyd: (1959)
gan: Chakravarty, Sukhamoy
Cyhoeddwyd: (1959)
Binary decision diagrams : theory and implementation /
gan: Drechsler, Rolf
Cyhoeddwyd: (1998)
gan: Drechsler, Rolf
Cyhoeddwyd: (1998)
Binary decision diagrams : theory and implementation /
gan: Drechsler, Rolf
Cyhoeddwyd: (1998)
gan: Drechsler, Rolf
Cyhoeddwyd: (1998)
Computer science, a mathematical introduction : applied mathematics--modeling, analysis, and optimization techniques with applications to software systems /
gan: Lew, Art
Cyhoeddwyd: (1985)
gan: Lew, Art
Cyhoeddwyd: (1985)
College mathematics for business, economics, life sciences and social sciences /
gan: Barnett, Raymond A.
gan: Barnett, Raymond A.
College mathematics for business, economics, life sciences and social sciences /
gan: Barnett, Raymond A.
gan: Barnett, Raymond A.
Journal of policy modeling : A social science forum of world issues.
An introduction to statistics /
gan: Clark, Charles E.
Cyhoeddwyd: (1953)
gan: Clark, Charles E.
Cyhoeddwyd: (1953)
An introduction to statistics /
gan: Clark, Charles E.
Cyhoeddwyd: (1953)
gan: Clark, Charles E.
Cyhoeddwyd: (1953)
Handbook of automation, computation, and control /
Cyhoeddwyd: (1959)
Cyhoeddwyd: (1959)
applications of FORTRAN language /
gan: youssef, yehia
Cyhoeddwyd: (1969)
gan: youssef, yehia
Cyhoeddwyd: (1969)
operation research applications /
gan: taha, hamdy A.
Cyhoeddwyd: (1964)
gan: taha, hamdy A.
Cyhoeddwyd: (1964)
Elements of mathematical statistics /
gan: Alexander, Howard Wright
Cyhoeddwyd: (1961)
gan: Alexander, Howard Wright
Cyhoeddwyd: (1961)
A course of higher mathematics /
gan: Smirnov, V. I.
Cyhoeddwyd: (1964)
gan: Smirnov, V. I.
Cyhoeddwyd: (1964)
Mathematical handbook for scientists and engineers : definitions, theorems, and formulas for reference and review /
gan: Korn, Granino A.
Cyhoeddwyd: (1961)
gan: Korn, Granino A.
Cyhoeddwyd: (1961)
The nomogram : the theory and practical construction of computation charts /
gan: Allcock, Harold John
Cyhoeddwyd: (1963)
gan: Allcock, Harold John
Cyhoeddwyd: (1963)
A course of higher mathematics /
gan: Smirnov, V. I.
Cyhoeddwyd: (1964)
gan: Smirnov, V. I.
Cyhoeddwyd: (1964)
Elements of mathematical statistics /
gan: Alexander, Howard Wright
Cyhoeddwyd: (1961)
gan: Alexander, Howard Wright
Cyhoeddwyd: (1961)
The nomogram : the theory and practical construction of computation charts /
gan: Allcock, Harold John
Cyhoeddwyd: (1963)
gan: Allcock, Harold John
Cyhoeddwyd: (1963)
A course of higher mathematics /
gan: Smirnov, V. I.
Cyhoeddwyd: (1964)
gan: Smirnov, V. I.
Cyhoeddwyd: (1964)
Mathematical handbook for scientists and engineers : definitions, theorems, and formulas for reference and review /
gan: Korn, Granino A.
Cyhoeddwyd: (1961)
gan: Korn, Granino A.
Cyhoeddwyd: (1961)
Statistics, computer science and its applications : The 23th international conference : proceedings of the conference : May 9-14, 1998 /
Cyhoeddwyd: (1998)
Cyhoeddwyd: (1998)
Management science : an introduction /
gan: Dannenbring, David G.
Cyhoeddwyd: (1981)
gan: Dannenbring, David G.
Cyhoeddwyd: (1981)
Management science : an introduction /
gan: Dannenbring, David G.
Cyhoeddwyd: (1981)
gan: Dannenbring, David G.
Cyhoeddwyd: (1981)
An Index of Mathematical Tables /
gan: Fletcher, A.
Cyhoeddwyd: (1962)
gan: Fletcher, A.
Cyhoeddwyd: (1962)
An Index of Mathematical Tables /
gan: Fletcher, A.
Cyhoeddwyd: (1962)
gan: Fletcher, A.
Cyhoeddwyd: (1962)
Schaum's outline of theory and problems of introduction to mathematical economics /
gan: Dowling, Edward Thomas, 1938-
Cyhoeddwyd: (2001)
gan: Dowling, Edward Thomas, 1938-
Cyhoeddwyd: (2001)
Schaum's outline of theory and problems of introduction to mathematical economics /
gan: Dowling, Edward Thomas, 1938-
Cyhoeddwyd: (2001)
gan: Dowling, Edward Thomas, 1938-
Cyhoeddwyd: (2001)
Mathematical methods for curves and surfaces /
Cyhoeddwyd: (1995)
Cyhoeddwyd: (1995)
precalculus /
gan: sullivan, michael
Cyhoeddwyd: (2018)
gan: sullivan, michael
Cyhoeddwyd: (2018)
Dynamic economics : quantitative methods and applications /
gan: Adda, Jérôme
Cyhoeddwyd: (2003)
gan: Adda, Jérôme
Cyhoeddwyd: (2003)
Dynamic economics : quantitative methods and applications /
gan: Adda, Jérôme
Cyhoeddwyd: (2003)
gan: Adda, Jérôme
Cyhoeddwyd: (2003)
A history of the mathematical theory of probability from the time of Pascal to that of Laplace /
gan: Todhunter, I.
Cyhoeddwyd: (1949)
gan: Todhunter, I.
Cyhoeddwyd: (1949)
Mathematics applied to business and the social sciences /
gan: Brown, Robert F., et al.
Cyhoeddwyd: (1980)
gan: Brown, Robert F., et al.
Cyhoeddwyd: (1980)
Elements of dynamic optimization /
gan: Chiang, Alpha C., 1927-
Cyhoeddwyd: (1992)
gan: Chiang, Alpha C., 1927-
Cyhoeddwyd: (1992)
A history of the mathematical theory of probability from the time of Pascal to that of Laplace /
gan: Todhunter, I.
Cyhoeddwyd: (1949)
gan: Todhunter, I.
Cyhoeddwyd: (1949)
Mathematics applied to business and the social sciences /
gan: Brown, Robert F., et al.
Cyhoeddwyd: (1980)
gan: Brown, Robert F., et al.
Cyhoeddwyd: (1980)