Cargando…

The logic of computer arithmetic

Detalles Bibliográficos
Autor principal:	Flores, Ivan
Lenguaje:	eng
Publicado:	Prentice-Hall 1963
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/109926

Ejemplares similares

Arithmetic and logic in computer systems
por: Lu, Mi
Publicado: (2004)

Computer arithmetic
por: Erskine, George A
Publicado: (1976)

Computer logic: the functional design of digital computers
por: Flores, Ivan
Publicado: (1960)

Computer arithmetic algorithms
por: Koren, Israel
Publicado: (2001)

Advanced computer arithmetic design
por: Flynn, Michael J, et al.
Publicado: (2001)

Design of arithmetic units for digital computers
por: Gosling, John B
Publicado: (1980)

Algorithms and design methods for digital computer arithmetic
por: Parhami, Behrooz
Publicado: (2012)

Computer arithmetic and validity: theory, implementation, and applications
por: Kulisch, Ulrich
Publicado: (2008)

Microprogrammed floating-point arithmetic for the Varian-73 computer
por: Frenckner, K, et al.
Publicado: (1977)

Digital arithmetic
por: Ercegovac, Miloš D, et al.
Publicado: (2003)

Computer structure and logic
por: Pearson Education
Publicado: (2011)

Discrete structures, logic, and computability
por: Hein, James L
Publicado: (2017)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1992)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1992)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1993)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1993)

Logic programming and soft computing
por: Martin, T P, et al.
Publicado: (1998)

Mathematical logic for computer science
por: Zhong Wan Lu
Publicado: (1998)

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017)

Error coding for arithmetic processors
por: Rao, Thammavarapu R N
Publicado: (1974)

Digital circuits for binary arithmetic
por: Oberman, Roelof Maarten Marie
Publicado: (1979)

Logic and algebraic structures in quantum computing
por: Chubb, Jennifer, et al.
Publicado: (2016)

Conference on Logical Aspects of Computational Linguistics
Publicado: (1999)

Error detecting logic for digital computers
por: Sellers, Frederick F, et al.
Publicado: (1968)

Logic for computer science and artificial intelligence
por: Caferra, Ricardo
Publicado: (2011)

A novel reversible logic gate and its systematic approach to implement cost-efficient arithmetic logic circuits using QCA
por: Ahmad, Peer Zahoor, et al.
Publicado: (2017)

Digital computer design: logic, circuitry, and synthesis
por: Braun, Edward L
Publicado: (1963)

Knowledge representation: logical, philosophical, and computational foundations
por: Sowa, John F
Publicado: (2000)

1st International Conference on Computational Logic
por: Collective
Publicado: (2000)

Computational intelligence: synergies of fuzzy logic, neural networks and evolutionary computing
por: Siddique, Nazmul, et al.
Publicado: (2013)

Logic in computer science: modelling and reasoning about systems
por: Huth, Michael, et al.
Publicado: (2004)

A tutorial on the Warren abstract machine for computational logic
por: Gabriel, J R, et al.
Publicado: (1985)

Ewa Orłowska on relational methods in logic and computer science
por: Golińska-Pilarek, Joanna, et al.
Publicado: (2018)

From logic to logic programming
por: Doets, Kees
Publicado: (1994)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Philosophy and computing: essays in epistemology, philosophy of mind, logic, and ethics
por: Powers, Thomas M
Publicado: (2017)

Neural networks and fuzzy-logic control on personal computers and workstations
por: Korn, Granino Arthur
Publicado: (1995)

Fuzzy logic: the revolutionary computer technology that is changing our world
por: McNeill, Daniel, et al.
Publicado: (1993)

2nd International Conference on Logical Aspects of Computational Linguistics
por: Lecomte, Alain, et al.
Publicado: (1999)

Representation theorems in computer science: a treatment in logic engineering
por: Özçep, Özgür Lütfü
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_jdhikt14lgv5ebemk4gk28q4u1