Logic for applications /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | |
| Ձևաչափ: | Գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
New york :
Springer-Verlag,
1997.
|
| Հրատարակություն: | 2nd ed. |
| Շարք: | Graduate texts in computer science
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
Logical systems for industrial applications /
: Jaczewski, Jerzy
Հրապարակվել է: (1978)
: Jaczewski, Jerzy
Հրապարակվել է: (1978)
Logical systems for industrial applications /
: Jaczewski, Jerzy
Հրապարակվել է: (1978)
: Jaczewski, Jerzy
Հրապարակվել է: (1978)
The logic of investment planning /
: Chakravarty, Sukhamoy
Հրապարակվել է: (1959)
: Chakravarty, Sukhamoy
Հրապարակվել է: (1959)
The logic of investment planning /
: Chakravarty, Sukhamoy
Հրապարակվել է: (1959)
: Chakravarty, Sukhamoy
Հրապարակվել է: (1959)
Binary decision diagrams : theory and implementation /
: Drechsler, Rolf
Հրապարակվել է: (1998)
: Drechsler, Rolf
Հրապարակվել է: (1998)
Binary decision diagrams : theory and implementation /
: Drechsler, Rolf
Հրապարակվել է: (1998)
: Drechsler, Rolf
Հրապարակվել է: (1998)
Computer science, a mathematical introduction : applied mathematics--modeling, analysis, and optimization techniques with applications to software systems /
: Lew, Art
Հրապարակվել է: (1985)
: Lew, Art
Հրապարակվել է: (1985)
College mathematics for business, economics, life sciences and social sciences /
: Barnett, Raymond A.
: Barnett, Raymond A.
College mathematics for business, economics, life sciences and social sciences /
: Barnett, Raymond A.
: Barnett, Raymond A.
Journal of policy modeling : A social science forum of world issues.
An introduction to statistics /
: Clark, Charles E.
Հրապարակվել է: (1953)
: Clark, Charles E.
Հրապարակվել է: (1953)
An introduction to statistics /
: Clark, Charles E.
Հրապարակվել է: (1953)
: Clark, Charles E.
Հրապարակվել է: (1953)
Handbook of automation, computation, and control /
Հրապարակվել է: (1959)
Հրապարակվել է: (1959)
applications of FORTRAN language /
: youssef, yehia
Հրապարակվել է: (1969)
: youssef, yehia
Հրապարակվել է: (1969)
operation research applications /
: taha, hamdy A.
Հրապարակվել է: (1964)
: taha, hamdy A.
Հրապարակվել է: (1964)
Elements of mathematical statistics /
: Alexander, Howard Wright
Հրապարակվել է: (1961)
: Alexander, Howard Wright
Հրապարակվել է: (1961)
A course of higher mathematics /
: Smirnov, V. I.
Հրապարակվել է: (1964)
: Smirnov, V. I.
Հրապարակվել է: (1964)
Mathematical handbook for scientists and engineers : definitions, theorems, and formulas for reference and review /
: Korn, Granino A.
Հրապարակվել է: (1961)
: Korn, Granino A.
Հրապարակվել է: (1961)
The nomogram : the theory and practical construction of computation charts /
: Allcock, Harold John
Հրապարակվել է: (1963)
: Allcock, Harold John
Հրապարակվել է: (1963)
A course of higher mathematics /
: Smirnov, V. I.
Հրապարակվել է: (1964)
: Smirnov, V. I.
Հրապարակվել է: (1964)
Elements of mathematical statistics /
: Alexander, Howard Wright
Հրապարակվել է: (1961)
: Alexander, Howard Wright
Հրապարակվել է: (1961)
The nomogram : the theory and practical construction of computation charts /
: Allcock, Harold John
Հրապարակվել է: (1963)
: Allcock, Harold John
Հրապարակվել է: (1963)
A course of higher mathematics /
: Smirnov, V. I.
Հրապարակվել է: (1964)
: Smirnov, V. I.
Հրապարակվել է: (1964)
Mathematical handbook for scientists and engineers : definitions, theorems, and formulas for reference and review /
: Korn, Granino A.
Հրապարակվել է: (1961)
: Korn, Granino A.
Հրապարակվել է: (1961)
Statistics, computer science and its applications : The 23th international conference : proceedings of the conference : May 9-14, 1998 /
Հրապարակվել է: (1998)
Հրապարակվել է: (1998)
Management science : an introduction /
: Dannenbring, David G.
Հրապարակվել է: (1981)
: Dannenbring, David G.
Հրապարակվել է: (1981)
Management science : an introduction /
: Dannenbring, David G.
Հրապարակվել է: (1981)
: Dannenbring, David G.
Հրապարակվել է: (1981)
An Index of Mathematical Tables /
: Fletcher, A.
Հրապարակվել է: (1962)
: Fletcher, A.
Հրապարակվել է: (1962)
An Index of Mathematical Tables /
: Fletcher, A.
Հրապարակվել է: (1962)
: Fletcher, A.
Հրապարակվել է: (1962)
Schaum's outline of theory and problems of introduction to mathematical economics /
: Dowling, Edward Thomas, 1938-
Հրապարակվել է: (2001)
: Dowling, Edward Thomas, 1938-
Հրապարակվել է: (2001)
Schaum's outline of theory and problems of introduction to mathematical economics /
: Dowling, Edward Thomas, 1938-
Հրապարակվել է: (2001)
: Dowling, Edward Thomas, 1938-
Հրապարակվել է: (2001)
Mathematical methods for curves and surfaces /
Հրապարակվել է: (1995)
Հրապարակվել է: (1995)
precalculus /
: sullivan, michael
Հրապարակվել է: (2018)
: sullivan, michael
Հրապարակվել է: (2018)
Dynamic economics : quantitative methods and applications /
: Adda, Jérôme
Հրապարակվել է: (2003)
: Adda, Jérôme
Հրապարակվել է: (2003)
Dynamic economics : quantitative methods and applications /
: Adda, Jérôme
Հրապարակվել է: (2003)
: Adda, Jérôme
Հրապարակվել է: (2003)
A history of the mathematical theory of probability from the time of Pascal to that of Laplace /
: Todhunter, I.
Հրապարակվել է: (1949)
: Todhunter, I.
Հրապարակվել է: (1949)
Mathematics applied to business and the social sciences /
: Brown, Robert F., և այլն
Հրապարակվել է: (1980)
: Brown, Robert F., և այլն
Հրապարակվել է: (1980)
Elements of dynamic optimization /
: Chiang, Alpha C., 1927-
Հրապարակվել է: (1992)
: Chiang, Alpha C., 1927-
Հրապարակվել է: (1992)
A history of the mathematical theory of probability from the time of Pascal to that of Laplace /
: Todhunter, I.
Հրապարակվել է: (1949)
: Todhunter, I.
Հրապարակվել է: (1949)
Mathematics applied to business and the social sciences /
: Brown, Robert F., և այլն
Հրապարակվել է: (1980)
: Brown, Robert F., և այլն
Հրապարակվել է: (1980)