Logic for applications /
保存先:
| 第一著者: | Nerode, Anil |
|---|---|
| その他の著者: | Shore, Richard A. |
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
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)
類似資料
-
Logical systems for industrial applications /
著者:: Jaczewski, Jerzy
出版事項: (1978) -
Logical systems for industrial applications /
著者:: Jaczewski, Jerzy
出版事項: (1978) -
The logic of investment planning /
著者:: Chakravarty, Sukhamoy
出版事項: (1959) -
The logic of investment planning /
著者:: Chakravarty, Sukhamoy
出版事項: (1959) -
Binary decision diagrams : theory and implementation /
著者:: Drechsler, Rolf
出版事項: (1998)