Language: English

Jump To : Overview Titles Subjects

Logic design

Overview

Works:	21 works in 4 publications in 4 languages

Titles

Abstraction, Refinement and Proof for Probabilistic Systems / by: (Electronic resources)

Taxonomies for the Development and Verification of Digital Systems / by: (Electronic resources)

New Algorithms, Architectures and Applications for Reconfigurable Computing / by: (Electronic resources)

Categories for Software Engineering / by: (Electronic resources)

A Theory of Distributed Objects :Asynchrony, Mobility, Groups, Components / by: (Electronic resources)

A Practical Theory of Reactive Systems :Incremental Modeling of Dynamic Behaviors / by: (Electronic resources)

Abstract Computing Machines :A Lambda Calculus Perspective / by: (Electronic resources)

Complexity Theory :Exploring the Limits of Efficient Algorithms / by: (Electronic resources)

Modern Formal Methods and Applications / by: (Electronic resources)

Theoretical Introduction to Programming / by: (Electronic resources)

Subjects

Electronic and Computer Engineering

Electronics and Microelectronics, Instrumentation

Logic Design

Software engineering

Data structures (Computer science)

Data Structures

Artificial intelligence

Operating systems (Computers)

Natural Language Processing (NLP)

Mathematical Logic and Formal Languages.

Software Engineering.

Computer network protocols

Computer aided design

Systems engineering

Computer-Aided Engineering (CAD, CAE) and Design

Algorithm Analysis and Problem Complexity

Mathematics

Electronic data processing

Logics and Meanings of Programs.

Logic in AI.

Data protection

Circuits and Systems

Engineering design

Mathematical Logic and Foundations

Computer software

Algorithms

Chemistry

Algebra

Artificial Intelligence (incl. Robotics)

Logic

Programming Techniques.

Database Management.

Cryptography

Algorithm Analysis and Problem Complexity.

Computer Science

Performance and Reliability

Optical materials

Computer programming

Programming languages (Electronic computers)

Processor Architectures.

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Logic Design.

Programming Languages, Compilers, Interpreters

Electronics

Engineering Design

Special Purpose and Application-Based Systems

Coding theory

Computational Science and Engineering

Optical and Electronic Materials

Microprocessors

Formal languages

Computer science

Logic design

Mathematical Logic and Formal Languages

Theory of Computation

Computer architecture

Security.

Artificial Intelligence.

Programming Techniques

Engineering

Logic, Symbolic and mathematical

Coding and Information Theory

Computers, Special purpose

Computer Science.

Computer System Implementation.

Computer Systems Organization and Communication Networks.

Computers and Society.

Logics and Meanings of Programs

Computer engineering

Software Engineering

Mathematics of Computing

Models and Principles

Math. Applications in Chemistry

Computation by Abstract Devices

Symbolic and Algebraic Manipulation

Information theory