Arithmetic and logic in computer systems
保存先:
第一著者: | Lu, Mi |
---|---|
団体著者: | ebrary, Inc |
フォーマット: | 電子媒体 eBook |
言語: | 英語 |
出版事項: |
Hoboken, NJ :
Wiley-Interscience,
c2004.
|
主題: | |
オンライン・アクセス: | An electronic book accessible through the World Wide Web; click to view |
タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Computer arithmetic and validity theory, implementation, and applications /
著者:: Kulisch, Ulrich
出版事項: (2008)
著者:: Kulisch, Ulrich
出版事項: (2008)
Computer arithmetic and validity theory, implementation, and applications /
著者:: Kulisch, Ulrich
出版事項: (2013)
著者:: Kulisch, Ulrich
出版事項: (2013)
College arithmetic /
著者:: Bryant, Steven Jerome, 1923-
出版事項: (1969)
著者:: Bryant, Steven Jerome, 1923-
出版事項: (1969)
Symbolic logic and the real number system : an introduction to the foundations of number systems /
著者:: Lightstone, A. H.
出版事項: (1965)
著者:: Lightstone, A. H.
出版事項: (1965)
Arithmetic and algebra /
著者:: Proga, Rosanne
出版事項: (1996)
著者:: Proga, Rosanne
出版事項: (1996)
Intergrated arithmetic and algebra /
著者:: Jordan, Bill E.
出版事項: (1996)
著者:: Jordan, Bill E.
出版事項: (1996)
Exercises and test papers for certificate arithmetic /
出版事項: (1987)
出版事項: (1987)
Principles of arithmetic and geometry for elementary school teachers /
著者:: Allendoerfer, Carl B.
出版事項: (1971)
著者:: Allendoerfer, Carl B.
出版事項: (1971)
Programming logic and design : introductory.
著者:: Farrell, Joyce
出版事項: (2006)
著者:: Farrell, Joyce
出版事項: (2006)
Function field arithmetic
著者:: Thakur, Dinesh S., 1961-
出版事項: (2004)
著者:: Thakur, Dinesh S., 1961-
出版事項: (2004)
Arithmetic and learning disabilities : guidelines for identification and remediation /
著者:: Johnson, Stanley W., 1928-
出版事項: (1979)
著者:: Johnson, Stanley W., 1928-
出版事項: (1979)
Algebraic geometry and arithmetic curves
著者:: Liu, Qing, 1963-
出版事項: (2006)
著者:: Liu, Qing, 1963-
出版事項: (2006)
A guide to programming logic and design /
著者:: Farrell, Joyce
出版事項: (1999)
著者:: Farrell, Joyce
出版事項: (1999)
Arithmetic compactifications of PEL-type Shimura varieties
著者:: Lan, Kai-Wen
出版事項: (2013)
著者:: Lan, Kai-Wen
出版事項: (2013)
Mathematical aspects of logic programming semantics /
著者:: Hitzler, Pascal, 等
出版事項: (2011)
著者:: Hitzler, Pascal, 等
出版事項: (2011)
Using logic pro X's updated score editor /
著者:: Asher, Jay
出版事項: (2015)
著者:: Asher, Jay
出版事項: (2015)
Arithmetic differential operators over the p-adic integers
著者:: Ralph, Claire C.
出版事項: (2012)
著者:: Ralph, Claire C.
出版事項: (2012)
Number systems and their uses /
著者:: Wolf, Frank L. (Frank Louis)
出版事項: (1971)
著者:: Wolf, Frank L. (Frank Louis)
出版事項: (1971)
Introduction to logic and to the methodology of the deductive sciences
著者:: Tarski, Alfred
出版事項: (1994)
著者:: Tarski, Alfred
出版事項: (1994)
Logic and language
著者:: Dean, Neville
出版事項: (2003)
著者:: Dean, Neville
出版事項: (2003)
Formal logical methods for system security and correctness
出版事項: (2008)
出版事項: (2008)
Programming logic and design comprehensive /
著者:: Farell, Joyce
出版事項: (2007)
著者:: Farell, Joyce
出版事項: (2007)
Reason's nearest kin philosophies of arithmetic from Kant to Carnap /
著者:: Potter, Michael D.
出版事項: (2000)
著者:: Potter, Michael D.
出版事項: (2000)
Introductory mathematics /
著者:: McKeague, Charles P.
出版事項: (1981)
著者:: McKeague, Charles P.
出版事項: (1981)
Basic college math : a problem solving approach /
著者:: Cleary, Joseph (Joseph F.)
出版事項: (1991)
著者:: Cleary, Joseph (Joseph F.)
出版事項: (1991)
1,001 statistics practice problems.
出版事項: (2014)
出版事項: (2014)
Basic concepts of mathematics /
著者:: Webber, G. Cuthbert (George Cuthbert), 1906-
出版事項: (1963)
著者:: Webber, G. Cuthbert (George Cuthbert), 1906-
出版事項: (1963)
Finite mathematics : with applications in the social and management sciences /
著者:: Kattsoff, Louis Osgood, 1908-
出版事項: (1965)
著者:: Kattsoff, Louis Osgood, 1908-
出版事項: (1965)
Dosage calculations made incredibly easy! /
出版事項: (2016)
出版事項: (2016)
Evolving knowledge bases specification and semantics /
著者:: Leite, João Alexandre
出版事項: (2003)
著者:: Leite, João Alexandre
出版事項: (2003)
Logic for concurrency and synchronisation
出版事項: (2003)
出版事項: (2003)
An inductive logic programming approach to statistical relational learning
著者:: Kersting, Kristian
出版事項: (2006)
著者:: Kersting, Kristian
出版事項: (2006)
Folk algebras in algebra logic and computer science /
著者:: Frias, Marcelo Fabián, 1968-
出版事項: (2002)
著者:: Frias, Marcelo Fabián, 1968-
出版事項: (2002)
Foundations of computing : system development with set theory and logic /
著者:: Scheurer, Thierry
出版事項: (1994)
著者:: Scheurer, Thierry
出版事項: (1994)
Elementary concepts of modern mathematics.
著者:: Dinkines, Flora
出版事項: (1964)
著者:: Dinkines, Flora
出版事項: (1964)
Calculation skills for nurses
著者:: Boyd, Claire
出版事項: (2013)
著者:: Boyd, Claire
出版事項: (2013)
Meaning, logic and ludics
著者:: Lecomte, Alain, 1947-
出版事項: (2011)
著者:: Lecomte, Alain, 1947-
出版事項: (2011)
The search for mathematical roots, 1870-1940 logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /
著者:: Grattan-Guinness, I.
出版事項: (2000)
著者:: Grattan-Guinness, I.
出版事項: (2000)
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
出版事項: (2009)
出版事項: (2009)
Handbook of Philosophical Logic
著者:: Gabbay, D.M
出版事項: (2007)
著者:: Gabbay, D.M
出版事項: (2007)
類似資料
-
Computer arithmetic and validity theory, implementation, and applications /
著者:: Kulisch, Ulrich
出版事項: (2008) -
Computer arithmetic and validity theory, implementation, and applications /
著者:: Kulisch, Ulrich
出版事項: (2013) -
College arithmetic /
著者:: Bryant, Steven Jerome, 1923-
出版事項: (1969) -
Symbolic logic and the real number system : an introduction to the foundations of number systems /
著者:: Lightstone, A. H.
出版事項: (1965) -
Arithmetic and algebra /
著者:: Proga, Rosanne
出版事項: (1996)