Arithmetic and logic in computer systems
Сохранить в:
| Главный автор: | |
|---|---|
| Соавтор: | |
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
Hoboken, NJ :
Wiley-Interscience,
c2004.
|
| Предметы: | |
| Online-ссылка: | An electronic book accessible through the World Wide Web; click to view |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
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)
Programming logic and design : introductory.
по: Farrell, Joyce
Опубликовано: (2006)
по: Farrell, Joyce
Опубликовано: (2006)
Principles of arithmetic and geometry for elementary school teachers /
по: Allendoerfer, Carl B.
Опубликовано: (1971)
по: Allendoerfer, Carl B.
Опубликовано: (1971)
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)