215 treff

computer logic
Error-control coding for computer systems
T. R. N. Rao, E. Fujiwara
Bok Engelsk 1989 · Vis mer
Computer science logic : 17th International Workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 2003 · Vis mer
Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
Bok Engelsk 2000 · Vis mer
Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 2000 · Vis mer
Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1999 · Vis mer
Conditional inference and logic for intelligent systems : a theory of measure-free conditioning
I. R. Goodman, H. T. Nguyen, and E. A. Wa...
Bok Engelsk 1991 · Vis mer
Computational logic
NATO Advanced Study Institute on Computational Logic
Bok Engelsk 1999 · Vis mer
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1998 · Vis mer
A programming logic : with an introduction to the PL/CV verifier
Constable, R. L.
Bok Engelsk 1978 · Vis mer
Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1996 · Vis mer
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1995 · Vis mer
Substructural logics
edited by Peter Schroeder-Heister and Kos...
Bok Engelsk 1993 · Vis mer
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1994 · Vis mer
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1991 · Vis mer
Computer science logic : 5th workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1992 · Vis mer
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1990 · Vis mer
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1989 · Vis mer
Digital design and computer architecture
Sarah L. Harris, David Harris.
Bok Engelsk 2021 · Vis mer
Digital design and computer architecture
Harris, David M.
Bok Engelsk 2007 · Vis mer
A friendly introduction to mathematical logic
Christopher C. Leary
Bok Engelsk 2000 · Vis mer
Logic, algebra and databases
Gray, Peter M.D.
Bok Engelsk 1984 · Vis mer
Logically determined design : clockless system design with NULL convention logic
Karl M. Fant
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic of computation
NATO Advanced Study Institute on Logic of Computation
Bok Engelsk 1997 · Vis mer
Fuzzy logic for embedded systems applications
by Ahmad M. Ibrahim
Bok Engelsk 2004 · Vis mer
A first course in Fuzzy logic
Hung T. Nguyen and Elbert A. Walker
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic : a foundation for computer science
V. Sperschneider & G. Antoniou
Bok Engelsk 1991 · Vis mer
Discrete structures, logic, and computability
Hein, James L.
Bok Engelsk · Vis mer
Logic for applications
Anil Nerode, Richard A. Shore.
Bok Engelsk 1997 · Vis mer
Digital fundamentals with VHDL
Thomas L. Floyd
Bok Engelsk 2003 · Vis mer