Listing 1 - 10 of 10 |
Sort by
|
Choose an application
Choose an application
Electronics --- elektronica --- Logic circuits --- Testing --- Circuits logiques --- Essais --- Digitale Elektronica --- Logic circuits. --- Testing. --- Essais (Technologie) --- Circuits logiques. --- Essais. --- Logic circuits - Testing
Choose an application
Electronic digital computers --- Logic circuits --- Logic design --- Digital integrated circuits --- Circuits
Choose an application
Electronic digital computers --- Logic circuits --- Logic design --- Digital integrated circuits --- Ordinateurs --- Circuits logiques --- Structure logique --- Circuits intégrés numériques --- Circuits --- Circuits
Choose an application
Programming --- Mathematical logic --- Switching theory. --- Logic circuits. --- Threshold logic. --- Many-valued logic. --- Commutation, Théorie de la --- Circuits logiques --- Logique de seuil --- Logique multivalente --- Logic circuits --- Many-valued logic --- Switching theory --- Threshold logic --- Linear input logic --- Linearly separable logic --- Logic, Threshold --- Majority logic --- Logic, Symbolic and mathematical --- Automatic control --- Digital electronics --- Electric networks --- Electric switchgear --- Information theory --- Machine theory --- Mathematical physics --- System analysis --- Telecommunication --- Logic, Many-valued --- Logic, Multivalued --- Logic, Variable-valued --- Multivalued logic --- Variable-valued logic --- Nonclassical mathematical logic --- Values --- Circuits, Logic --- Computers --- Electronic circuits --- Interface circuits --- Switching circuits --- Circuits --- Commutation, Théorie de la
Choose an application
Programming --- 681.3*D31 --- 681.3*F3 --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Logics and meanings of programs (Theory of computation) --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Computer science. --- Logic design. --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Programming languages
Choose an application
Computer science --- 681.3*F1 --- 681.3*F2 --- 681.3*F3 --- 681.3*F4 --- Computation by abstract devices --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F1 Computation by abstract devices --- Computer software. --- Computer science. --- Logic design. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Software, Computer --- Computer systems
Choose an application
Algorithms --- Integrated circuits --- Logic design --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Very large scale integration of circuits --- VLSI circuits --- Chips (Electronics) --- Circuits, Integrated --- Computer chips --- Microchips --- Electronic circuits --- Microelectronics --- Algorism --- Algebra --- Arithmetic --- Design and construction --- -Data processing. --- Very large scale integration. --- Foundations --- Structure logique --- Circuits intégrés --- Computer science --- Electronics --- Computer architecture. Operating systems --- Logic design. --- Algorithms. --- Circuits intégrés à très grande échelle --- Algorithmes --- Data processing. --- Conception et construction --- Very large scale integration --- Data processing --- Design and construction&delete& --- Structure logique. --- Circuits intégrés à très grande échelle. --- Algorithmes. --- Conception et construction. --- Integrated circuits - Very large scale integration --- Integrated circuits - Design and construction - Data processing --- Circuits intégrés à très grande échelle. --- Circuits intégrés --- Circuits intégrés à très grande échelle
Choose an application
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
Choose an application
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
|