Logic for applications /
Kaydedildi:
| Yazar: | Nerode, Anil |
|---|---|
| Diğer Yazarlar: | Shore, Richard A. |
| Materyal Türü: | Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
New york :
Springer-Verlag,
1997.
|
| Edisyon: | 2nd ed. |
| Seri Bilgileri: | Graduate texts in computer science
|
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller
Logical systems for industrial applications /
Yazar:: Jaczewski, Jerzy
Baskı/Yayın Bilgisi: (1978)
Yazar:: Jaczewski, Jerzy
Baskı/Yayın Bilgisi: (1978)
Logical systems for industrial applications /
Yazar:: Jaczewski, Jerzy
Baskı/Yayın Bilgisi: (1978)
Yazar:: Jaczewski, Jerzy
Baskı/Yayın Bilgisi: (1978)
The logic of investment planning /
Yazar:: Chakravarty, Sukhamoy
Baskı/Yayın Bilgisi: (1959)
Yazar:: Chakravarty, Sukhamoy
Baskı/Yayın Bilgisi: (1959)
The logic of investment planning /
Yazar:: Chakravarty, Sukhamoy
Baskı/Yayın Bilgisi: (1959)
Yazar:: Chakravarty, Sukhamoy
Baskı/Yayın Bilgisi: (1959)
Binary decision diagrams : theory and implementation /
Yazar:: Drechsler, Rolf
Baskı/Yayın Bilgisi: (1998)
Yazar:: Drechsler, Rolf
Baskı/Yayın Bilgisi: (1998)
Binary decision diagrams : theory and implementation /
Yazar:: Drechsler, Rolf
Baskı/Yayın Bilgisi: (1998)
Yazar:: Drechsler, Rolf
Baskı/Yayın Bilgisi: (1998)
Computer science, a mathematical introduction : applied mathematics--modeling, analysis, and optimization techniques with applications to software systems /
Yazar:: Lew, Art
Baskı/Yayın Bilgisi: (1985)
Yazar:: Lew, Art
Baskı/Yayın Bilgisi: (1985)
College mathematics for business, economics, life sciences and social sciences /
Yazar:: Barnett, Raymond A.
Yazar:: Barnett, Raymond A.
College mathematics for business, economics, life sciences and social sciences /
Yazar:: Barnett, Raymond A.
Yazar:: Barnett, Raymond A.
Journal of policy modeling : A social science forum of world issues.
An introduction to statistics /
Yazar:: Clark, Charles E.
Baskı/Yayın Bilgisi: (1953)
Yazar:: Clark, Charles E.
Baskı/Yayın Bilgisi: (1953)
An introduction to statistics /
Yazar:: Clark, Charles E.
Baskı/Yayın Bilgisi: (1953)
Yazar:: Clark, Charles E.
Baskı/Yayın Bilgisi: (1953)
Handbook of automation, computation, and control /
Baskı/Yayın Bilgisi: (1959)
Baskı/Yayın Bilgisi: (1959)
applications of FORTRAN language /
Yazar:: youssef, yehia
Baskı/Yayın Bilgisi: (1969)
Yazar:: youssef, yehia
Baskı/Yayın Bilgisi: (1969)
operation research applications /
Yazar:: taha, hamdy A.
Baskı/Yayın Bilgisi: (1964)
Yazar:: taha, hamdy A.
Baskı/Yayın Bilgisi: (1964)
Elements of mathematical statistics /
Yazar:: Alexander, Howard Wright
Baskı/Yayın Bilgisi: (1961)
Yazar:: Alexander, Howard Wright
Baskı/Yayın Bilgisi: (1961)
A course of higher mathematics /
Yazar:: Smirnov, V. I.
Baskı/Yayın Bilgisi: (1964)
Yazar:: Smirnov, V. I.
Baskı/Yayın Bilgisi: (1964)
Mathematical handbook for scientists and engineers : definitions, theorems, and formulas for reference and review /
Yazar:: Korn, Granino A.
Baskı/Yayın Bilgisi: (1961)
Yazar:: Korn, Granino A.
Baskı/Yayın Bilgisi: (1961)
The nomogram : the theory and practical construction of computation charts /
Yazar:: Allcock, Harold John
Baskı/Yayın Bilgisi: (1963)
Yazar:: Allcock, Harold John
Baskı/Yayın Bilgisi: (1963)
A course of higher mathematics /
Yazar:: Smirnov, V. I.
Baskı/Yayın Bilgisi: (1964)
Yazar:: Smirnov, V. I.
Baskı/Yayın Bilgisi: (1964)
Elements of mathematical statistics /
Yazar:: Alexander, Howard Wright
Baskı/Yayın Bilgisi: (1961)
Yazar:: Alexander, Howard Wright
Baskı/Yayın Bilgisi: (1961)
The nomogram : the theory and practical construction of computation charts /
Yazar:: Allcock, Harold John
Baskı/Yayın Bilgisi: (1963)
Yazar:: Allcock, Harold John
Baskı/Yayın Bilgisi: (1963)
A course of higher mathematics /
Yazar:: Smirnov, V. I.
Baskı/Yayın Bilgisi: (1964)
Yazar:: Smirnov, V. I.
Baskı/Yayın Bilgisi: (1964)
Mathematical handbook for scientists and engineers : definitions, theorems, and formulas for reference and review /
Yazar:: Korn, Granino A.
Baskı/Yayın Bilgisi: (1961)
Yazar:: Korn, Granino A.
Baskı/Yayın Bilgisi: (1961)
Statistics, computer science and its applications : The 23th international conference : proceedings of the conference : May 9-14, 1998 /
Baskı/Yayın Bilgisi: (1998)
Baskı/Yayın Bilgisi: (1998)
Management science : an introduction /
Yazar:: Dannenbring, David G.
Baskı/Yayın Bilgisi: (1981)
Yazar:: Dannenbring, David G.
Baskı/Yayın Bilgisi: (1981)
Management science : an introduction /
Yazar:: Dannenbring, David G.
Baskı/Yayın Bilgisi: (1981)
Yazar:: Dannenbring, David G.
Baskı/Yayın Bilgisi: (1981)
An Index of Mathematical Tables /
Yazar:: Fletcher, A.
Baskı/Yayın Bilgisi: (1962)
Yazar:: Fletcher, A.
Baskı/Yayın Bilgisi: (1962)
An Index of Mathematical Tables /
Yazar:: Fletcher, A.
Baskı/Yayın Bilgisi: (1962)
Yazar:: Fletcher, A.
Baskı/Yayın Bilgisi: (1962)
Schaum's outline of theory and problems of introduction to mathematical economics /
Yazar:: Dowling, Edward Thomas, 1938-
Baskı/Yayın Bilgisi: (2001)
Yazar:: Dowling, Edward Thomas, 1938-
Baskı/Yayın Bilgisi: (2001)
Schaum's outline of theory and problems of introduction to mathematical economics /
Yazar:: Dowling, Edward Thomas, 1938-
Baskı/Yayın Bilgisi: (2001)
Yazar:: Dowling, Edward Thomas, 1938-
Baskı/Yayın Bilgisi: (2001)
Mathematical methods for curves and surfaces /
Baskı/Yayın Bilgisi: (1995)
Baskı/Yayın Bilgisi: (1995)
precalculus /
Yazar:: sullivan, michael
Baskı/Yayın Bilgisi: (2018)
Yazar:: sullivan, michael
Baskı/Yayın Bilgisi: (2018)
Dynamic economics : quantitative methods and applications /
Yazar:: Adda, Jérôme
Baskı/Yayın Bilgisi: (2003)
Yazar:: Adda, Jérôme
Baskı/Yayın Bilgisi: (2003)
Dynamic economics : quantitative methods and applications /
Yazar:: Adda, Jérôme
Baskı/Yayın Bilgisi: (2003)
Yazar:: Adda, Jérôme
Baskı/Yayın Bilgisi: (2003)
A history of the mathematical theory of probability from the time of Pascal to that of Laplace /
Yazar:: Todhunter, I.
Baskı/Yayın Bilgisi: (1949)
Yazar:: Todhunter, I.
Baskı/Yayın Bilgisi: (1949)
Mathematics applied to business and the social sciences /
Yazar:: Brown, Robert F., ve diğerleri
Baskı/Yayın Bilgisi: (1980)
Yazar:: Brown, Robert F., ve diğerleri
Baskı/Yayın Bilgisi: (1980)
Elements of dynamic optimization /
Yazar:: Chiang, Alpha C., 1927-
Baskı/Yayın Bilgisi: (1992)
Yazar:: Chiang, Alpha C., 1927-
Baskı/Yayın Bilgisi: (1992)
A history of the mathematical theory of probability from the time of Pascal to that of Laplace /
Yazar:: Todhunter, I.
Baskı/Yayın Bilgisi: (1949)
Yazar:: Todhunter, I.
Baskı/Yayın Bilgisi: (1949)
Mathematics applied to business and the social sciences /
Yazar:: Brown, Robert F., ve diğerleri
Baskı/Yayın Bilgisi: (1980)
Yazar:: Brown, Robert F., ve diğerleri
Baskı/Yayın Bilgisi: (1980)
Benzer Materyaller
-
Logical systems for industrial applications /
Yazar:: Jaczewski, Jerzy
Baskı/Yayın Bilgisi: (1978) -
Logical systems for industrial applications /
Yazar:: Jaczewski, Jerzy
Baskı/Yayın Bilgisi: (1978) -
The logic of investment planning /
Yazar:: Chakravarty, Sukhamoy
Baskı/Yayın Bilgisi: (1959) -
The logic of investment planning /
Yazar:: Chakravarty, Sukhamoy
Baskı/Yayın Bilgisi: (1959) -
Binary decision diagrams : theory and implementation /
Yazar:: Drechsler, Rolf
Baskı/Yayın Bilgisi: (1998)