Logic for applications /
Saved in:
| Hovedforfatter: | Nerode, Anil |
|---|---|
| Andre forfattere: | Shore, Richard A. |
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
New york :
Springer-Verlag,
1997.
|
| Udgivelse: | 2nd ed. |
| Serier: | Graduate texts in computer science
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Logical systems for industrial applications /
af: Jaczewski, Jerzy
Udgivet: (1978)
af: Jaczewski, Jerzy
Udgivet: (1978)
Logical systems for industrial applications /
af: Jaczewski, Jerzy
Udgivet: (1978)
af: Jaczewski, Jerzy
Udgivet: (1978)
The logic of investment planning /
af: Chakravarty, Sukhamoy
Udgivet: (1959)
af: Chakravarty, Sukhamoy
Udgivet: (1959)
The logic of investment planning /
af: Chakravarty, Sukhamoy
Udgivet: (1959)
af: Chakravarty, Sukhamoy
Udgivet: (1959)
Binary decision diagrams : theory and implementation /
af: Drechsler, Rolf
Udgivet: (1998)
af: Drechsler, Rolf
Udgivet: (1998)
Binary decision diagrams : theory and implementation /
af: Drechsler, Rolf
Udgivet: (1998)
af: Drechsler, Rolf
Udgivet: (1998)
Computer science, a mathematical introduction : applied mathematics--modeling, analysis, and optimization techniques with applications to software systems /
af: Lew, Art
Udgivet: (1985)
af: Lew, Art
Udgivet: (1985)
College mathematics for business, economics, life sciences and social sciences /
af: Barnett, Raymond A.
af: Barnett, Raymond A.
College mathematics for business, economics, life sciences and social sciences /
af: Barnett, Raymond A.
af: Barnett, Raymond A.
Journal of policy modeling : A social science forum of world issues.
An introduction to statistics /
af: Clark, Charles E.
Udgivet: (1953)
af: Clark, Charles E.
Udgivet: (1953)
An introduction to statistics /
af: Clark, Charles E.
Udgivet: (1953)
af: Clark, Charles E.
Udgivet: (1953)
Handbook of automation, computation, and control /
Udgivet: (1959)
Udgivet: (1959)
applications of FORTRAN language /
af: youssef, yehia
Udgivet: (1969)
af: youssef, yehia
Udgivet: (1969)
operation research applications /
af: taha, hamdy A.
Udgivet: (1964)
af: taha, hamdy A.
Udgivet: (1964)
Elements of mathematical statistics /
af: Alexander, Howard Wright
Udgivet: (1961)
af: Alexander, Howard Wright
Udgivet: (1961)
A course of higher mathematics /
af: Smirnov, V. I.
Udgivet: (1964)
af: Smirnov, V. I.
Udgivet: (1964)
Mathematical handbook for scientists and engineers : definitions, theorems, and formulas for reference and review /
af: Korn, Granino A.
Udgivet: (1961)
af: Korn, Granino A.
Udgivet: (1961)
The nomogram : the theory and practical construction of computation charts /
af: Allcock, Harold John
Udgivet: (1963)
af: Allcock, Harold John
Udgivet: (1963)
A course of higher mathematics /
af: Smirnov, V. I.
Udgivet: (1964)
af: Smirnov, V. I.
Udgivet: (1964)
Elements of mathematical statistics /
af: Alexander, Howard Wright
Udgivet: (1961)
af: Alexander, Howard Wright
Udgivet: (1961)
The nomogram : the theory and practical construction of computation charts /
af: Allcock, Harold John
Udgivet: (1963)
af: Allcock, Harold John
Udgivet: (1963)
A course of higher mathematics /
af: Smirnov, V. I.
Udgivet: (1964)
af: Smirnov, V. I.
Udgivet: (1964)
Mathematical handbook for scientists and engineers : definitions, theorems, and formulas for reference and review /
af: Korn, Granino A.
Udgivet: (1961)
af: Korn, Granino A.
Udgivet: (1961)
Statistics, computer science and its applications : The 23th international conference : proceedings of the conference : May 9-14, 1998 /
Udgivet: (1998)
Udgivet: (1998)
Management science : an introduction /
af: Dannenbring, David G.
Udgivet: (1981)
af: Dannenbring, David G.
Udgivet: (1981)
Management science : an introduction /
af: Dannenbring, David G.
Udgivet: (1981)
af: Dannenbring, David G.
Udgivet: (1981)
An Index of Mathematical Tables /
af: Fletcher, A.
Udgivet: (1962)
af: Fletcher, A.
Udgivet: (1962)
An Index of Mathematical Tables /
af: Fletcher, A.
Udgivet: (1962)
af: Fletcher, A.
Udgivet: (1962)
Schaum's outline of theory and problems of introduction to mathematical economics /
af: Dowling, Edward Thomas, 1938-
Udgivet: (2001)
af: Dowling, Edward Thomas, 1938-
Udgivet: (2001)
Schaum's outline of theory and problems of introduction to mathematical economics /
af: Dowling, Edward Thomas, 1938-
Udgivet: (2001)
af: Dowling, Edward Thomas, 1938-
Udgivet: (2001)
Mathematical methods for curves and surfaces /
Udgivet: (1995)
Udgivet: (1995)
precalculus /
af: sullivan, michael
Udgivet: (2018)
af: sullivan, michael
Udgivet: (2018)
Dynamic economics : quantitative methods and applications /
af: Adda, Jérôme
Udgivet: (2003)
af: Adda, Jérôme
Udgivet: (2003)
Dynamic economics : quantitative methods and applications /
af: Adda, Jérôme
Udgivet: (2003)
af: Adda, Jérôme
Udgivet: (2003)
A history of the mathematical theory of probability from the time of Pascal to that of Laplace /
af: Todhunter, I.
Udgivet: (1949)
af: Todhunter, I.
Udgivet: (1949)
Mathematics applied to business and the social sciences /
af: Brown, Robert F., et al.
Udgivet: (1980)
af: Brown, Robert F., et al.
Udgivet: (1980)
Elements of dynamic optimization /
af: Chiang, Alpha C., 1927-
Udgivet: (1992)
af: Chiang, Alpha C., 1927-
Udgivet: (1992)
A history of the mathematical theory of probability from the time of Pascal to that of Laplace /
af: Todhunter, I.
Udgivet: (1949)
af: Todhunter, I.
Udgivet: (1949)
Mathematics applied to business and the social sciences /
af: Brown, Robert F., et al.
Udgivet: (1980)
af: Brown, Robert F., et al.
Udgivet: (1980)
Lignende værker
-
Logical systems for industrial applications /
af: Jaczewski, Jerzy
Udgivet: (1978) -
Logical systems for industrial applications /
af: Jaczewski, Jerzy
Udgivet: (1978) -
The logic of investment planning /
af: Chakravarty, Sukhamoy
Udgivet: (1959) -
The logic of investment planning /
af: Chakravarty, Sukhamoy
Udgivet: (1959) -
Binary decision diagrams : theory and implementation /
af: Drechsler, Rolf
Udgivet: (1998)