صورة الغلاف

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)

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)

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)

Elementary concepts of modern mathematics.
حسب: Dinkines, Flora
منشور في: (1964)

Calculation skills for nurses
حسب: Boyd, Claire
منشور في: (2013)

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)