Obálka

QR kód

Arithmetic and logic in computer systems

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Lu, Mi
Korporativní autor:	ebrary, Inc
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Hoboken, NJ : Wiley-Interscience, c2004.
Témata:	Computer arithmetic. Logic programming. Electronic books.
On-line přístup:	An electronic book accessible through the World Wide Web; click to view
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Computer arithmetic and validity theory, implementation, and applications /
Autor: Kulisch, Ulrich
Vydáno: (2008)

Computer arithmetic and validity theory, implementation, and applications /
Autor: Kulisch, Ulrich
Vydáno: (2013)

College arithmetic /
Autor: Bryant, Steven Jerome, 1923-
Vydáno: (1969)

Symbolic logic and the real number system : an introduction to the foundations of number systems /
Autor: Lightstone, A. H.
Vydáno: (1965)

Arithmetic and algebra /
Autor: Proga, Rosanne
Vydáno: (1996)

Intergrated arithmetic and algebra /
Autor: Jordan, Bill E.
Vydáno: (1996)

Exercises and test papers for certificate arithmetic /
Vydáno: (1987)

Principles of arithmetic and geometry for elementary school teachers /
Autor: Allendoerfer, Carl B.
Vydáno: (1971)

Programming logic and design : introductory.
Autor: Farrell, Joyce
Vydáno: (2006)

Function field arithmetic
Autor: Thakur, Dinesh S., 1961-
Vydáno: (2004)

Arithmetic and learning disabilities : guidelines for identification and remediation /
Autor: Johnson, Stanley W., 1928-
Vydáno: (1979)

Algebraic geometry and arithmetic curves
Autor: Liu, Qing, 1963-
Vydáno: (2006)

A guide to programming logic and design /
Autor: Farrell, Joyce
Vydáno: (1999)

Arithmetic compactifications of PEL-type Shimura varieties
Autor: Lan, Kai-Wen
Vydáno: (2013)

Mathematical aspects of logic programming semantics /
Autor: Hitzler, Pascal, a další
Vydáno: (2011)

Using logic pro X's updated score editor /
Autor: Asher, Jay
Vydáno: (2015)

Arithmetic differential operators over the p-adic integers
Autor: Ralph, Claire C.
Vydáno: (2012)

Number systems and their uses /
Autor: Wolf, Frank L. (Frank Louis)
Vydáno: (1971)

Introduction to logic and to the methodology of the deductive sciences
Autor: Tarski, Alfred
Vydáno: (1994)

Logic and language
Autor: Dean, Neville
Vydáno: (2003)

Formal logical methods for system security and correctness
Vydáno: (2008)

Programming logic and design comprehensive /
Autor: Farell, Joyce
Vydáno: (2007)

Reason's nearest kin philosophies of arithmetic from Kant to Carnap /
Autor: Potter, Michael D.
Vydáno: (2000)

Introductory mathematics /
Autor: McKeague, Charles P.
Vydáno: (1981)

Basic college math : a problem solving approach /
Autor: Cleary, Joseph (Joseph F.)
Vydáno: (1991)

1,001 statistics practice problems.
Vydáno: (2014)

Finite mathematics : with applications in the social and management sciences /
Autor: Kattsoff, Louis Osgood, 1908-
Vydáno: (1965)

Basic concepts of mathematics /
Autor: Webber, G. Cuthbert (George Cuthbert), 1906-
Vydáno: (1963)

Dosage calculations made incredibly easy! /
Vydáno: (2016)

Evolving knowledge bases specification and semantics /
Autor: Leite, João Alexandre
Vydáno: (2003)

Logic for concurrency and synchronisation
Vydáno: (2003)

An inductive logic programming approach to statistical relational learning
Autor: Kersting, Kristian
Vydáno: (2006)

Folk algebras in algebra logic and computer science /
Autor: Frias, Marcelo Fabián, 1968-
Vydáno: (2002)

Elementary concepts of modern mathematics.
Autor: Dinkines, Flora
Vydáno: (1964)

Calculation skills for nurses
Autor: Boyd, Claire
Vydáno: (2013)

Foundations of computing : system development with set theory and logic /
Autor: Scheurer, Thierry
Vydáno: (1994)

Meaning, logic and ludics
Autor: Lecomte, Alain, 1947-
Vydáno: (2011)

The search for mathematical roots, 1870-1940 logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /
Autor: Grattan-Guinness, I.
Vydáno: (2000)

Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Vydáno: (2009)

Residue number systems theory and implementation /
Autor: Omondi, Amos R.
Vydáno: (2007)