封面圖片

QR Code

Arithmetic and logic in computer systems

Saved in:

書目詳細資料
主要作者:	Lu, Mi
企業作者:	ebrary, Inc
格式:	電子電子書
語言:	英语
出版:	Hoboken, NJ : Wiley-Interscience, c2004.
主題:	Computer arithmetic. Logic programming. Electronic books.
在線閱讀:	An electronic book accessible through the World Wide Web; click to view
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

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)

Intergrated arithmetic and algebra /
由: Jordan, Bill E.
出版: (1996)

Exercises and test papers for certificate arithmetic /
出版: (1987)

Principles of arithmetic and geometry for elementary school teachers /
由: Allendoerfer, Carl B.
出版: (1971)

Programming logic and design : introductory.
由: Farrell, Joyce
出版: (2006)

Function field arithmetic
由: Thakur, Dinesh S., 1961-
出版: (2004)

Arithmetic and learning disabilities : guidelines for identification and remediation /
由: Johnson, Stanley W., 1928-
出版: (1979)

Algebraic geometry and arithmetic curves
由: Liu, Qing, 1963-
出版: (2006)

A guide to programming logic and design /
由: Farrell, Joyce
出版: (1999)

Arithmetic compactifications of PEL-type Shimura varieties
由: Lan, Kai-Wen
出版: (2013)

Mathematical aspects of logic programming semantics /
由: Hitzler, Pascal, et al.
出版: (2011)

Arithmetic differential operators over the p-adic integers
由: Ralph, Claire C.
出版: (2012)

Number systems and their uses /
由: Wolf, Frank L. (Frank Louis)
出版: (1971)

Using logic pro X's updated score editor /
由: Asher, Jay
出版: (2015)

Introduction to logic and to the methodology of the deductive sciences
由: Tarski, Alfred
出版: (1994)

Logic and language
由: Dean, Neville
出版: (2003)

Formal logical methods for system security and correctness
出版: (2008)

Basic college math : a problem solving approach /
由: Cleary, Joseph (Joseph F.)
出版: (1991)

Introductory mathematics /
由: McKeague, Charles P.
出版: (1981)

Reason's nearest kin philosophies of arithmetic from Kant to Carnap /
由: Potter, Michael D.
出版: (2000)

Programming logic and design comprehensive /
由: Farell, Joyce
出版: (2007)

1,001 statistics practice problems.
出版: (2014)

Basic concepts of mathematics /
由: Webber, G. Cuthbert (George Cuthbert), 1906-
出版: (1963)

Finite mathematics : with applications in the social and management sciences /
由: Kattsoff, Louis Osgood, 1908-
出版: (1965)

Dosage calculations made incredibly easy! /
出版: (2016)

Evolving knowledge bases specification and semantics /
由: Leite, João Alexandre
出版: (2003)

Logic for concurrency and synchronisation
出版: (2003)

An inductive logic programming approach to statistical relational learning
由: Kersting, Kristian
出版: (2006)

Elementary concepts of modern mathematics.
由: Dinkines, Flora
出版: (1964)

Calculation skills for nurses
由: Boyd, Claire
出版: (2013)

Folk algebras in algebra logic and computer science /
由: Frias, Marcelo Fabián, 1968-
出版: (2002)

Foundations of computing : system development with set theory and logic /
由: Scheurer, Thierry
出版: (1994)

Meaning, logic and ludics
由: 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)

Residue number systems theory and implementation /
由: Omondi, Amos R.
出版: (2007)

Dosage calculations /
由: Pickar, Gloria D
出版: (2004)