Нүүр зураг

QR код

Arithmetic and logic in computer systems

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	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, зэрэг
Хэвлэсэн: (2011)

Using logic pro X's updated score editor /
-н: Asher, Jay
Хэвлэсэн: (2015)

Arithmetic differential operators over the p-adic integers
-н: Ralph, Claire C.
Хэвлэсэн: (2012)

Number systems and their uses /
-н: Wolf, Frank L. (Frank Louis)
Хэвлэсэн: (1971)

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)

Programming logic and design comprehensive /
-н: Farell, Joyce
Хэвлэсэн: (2007)

Reason's nearest kin philosophies of arithmetic from Kant to Carnap /
-н: Potter, Michael D.
Хэвлэсэн: (2000)

Introductory mathematics /
-н: McKeague, Charles P.
Хэвлэсэн: (1981)

Basic college math : a problem solving approach /
-н: Cleary, Joseph (Joseph F.)
Хэвлэсэн: (1991)

1,001 statistics practice problems.
Хэвлэсэн: (2014)

Finite mathematics : with applications in the social and management sciences /
-н: Kattsoff, Louis Osgood, 1908-
Хэвлэсэн: (1965)

Basic concepts of mathematics /
-н: Webber, G. Cuthbert (George Cuthbert), 1906-
Хэвлэсэн: (1963)

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)

Folk algebras in algebra logic and computer science /
-н: Frias, Marcelo Fabián, 1968-
Хэвлэсэн: (2002)

Elementary concepts of modern mathematics.
-н: Dinkines, Flora
Хэвлэсэн: (1964)

Calculation skills for nurses
-н: Boyd, Claire
Хэвлэсэн: (2013)

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)

Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Хэвлэсэн: (2009)

Handbook of Philosophical Logic
-н: Gabbay, D.M
Хэвлэсэн: (2007)