Narrow your search

Library

KU Leuven (7)

UAntwerpen (7)

ULiège (6)

KBR (3)

UCLouvain (3)

UGent (3)

IMEC (1)

National Bank of Belgium (1)

UHasselt (1)

ULB (1)

More...

Resource type

book (10)


Language

English (10)


Year
From To Submit

1984 (10)

Listing 1 - 10 of 10
Sort by

Book
Selected reprints on logic design for testability
Author:
ISBN: 9780818645730 9780818605734 0818605731 0818645733 Year: 1984 Publisher: Silver Spring: IEEE Computer society press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Logic circuits

Design of testable logic circuits
Author:
ISBN: 0201144034 9780201144031 Year: 1984 Publisher: London : Addison-Wesley,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Digital design
Author:
ISBN: 0132123258 Year: 1984 Publisher: Englewood Cliffs, NJ : Prentice-Hall International,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Digital design
Author:
ISBN: 0132123339 Year: 1984 Publisher: Englewood Cliffs, N.J. : Prentice-Hall,

Loading...
Export citation

Choose an application

Bookmark

Abstract

STACS 84 : symposium of theoretical aspects of computer science, Paris, April 11-13, 1984
Authors: ---
ISBN: 3540129200 0387129200 3540388052 Year: 1984 Volume: vol 166 Publisher: Berlin ; Heidelberg ; New York, NY : Springer-Verlag,

Logic minimization algorithms for VLSI synthesis
Author:
ISBN: 0898381649 1461297842 1461328217 9780898381641 Year: 1984 Volume: SECS 2 Publisher: The Netherlands: Kluwer Academic Publishers,

Logics of programs : Workshop, Carnegie Mellon university, Pittsburgh, Pennsylvanie, June 6-8, 1983
Authors: --- ---
ISBN: 3540128964 0387128964 9780387128962 3540387757 Year: 1984 Volume: 164 Publisher: Berlin Heidelberg New York : Springer-Verl.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Programming --- 681.3*B22 --- 681.3*B63 --- 681.3*D24 --- 681.3*F3 --- 681.3*F41 --- Performance analysis and design aids: simulation; verification; worst-case analysis (Arithmetic and logic structures) --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Computer programming --- Programmation (Informatique) --- Logiciels --- Congresses. --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B22 Performance analysis and design aids: simulation; verification; worst-case analysis (Arithmetic and logic structures) --- Logic design. --- Computer science. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory

Automata, languages and programming : 11th colloquium, Antwerp, July 16-20, 1984
Authors: ---
ISBN: 3540133453 3540388869 Year: 1984 Volume: 172 Publisher: Berlin; Heidelberg; New York Springer-Verlag

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Mathematical control systems --- Programming --- Mathematical linguistics --- 681.3*D1 --- 681.3*D2 --- 681.3*E2 --- 681.3*E3 --- Programming techniques--See also {681.3*E} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Data storage representations: composite structures; contiguous representations; hash-table representations; linked representations; primitive data items --- Data encryption: data encryption standard; DES; public key cryptosystems --- 681.3*E3 Data encryption: data encryption standard; DES; public key cryptosystems --- 681.3*E2 Data storage representations: composite structures; contiguous representations; hash-table representations; linked representations; primitive data items --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D1 Programming techniques--See also {681.3*E} --- Machine theory --- Congresses --- Grain --- Belgium --- Fertilizers --- Programming (Electronic computers) --- Computer science. --- Computer software. --- Logic design. --- Computation by Abstract Devices. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science

Listing 1 - 10 of 10
Sort by