Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer architecture. Operating systems --- -Computer architecture --- Computer algorithms --- Computer architecture --- Integrated circuits --- Parallel processing (Electronic computers) --- #TELE:d.d. Prof. A. J. J. Oosterlinck --- #TELE:SISTA --- 681.3*B7 --- 681.3*B7 Integrated circuits (Hardware) --- Integrated circuits (Hardware) --- Chips (Electronics) --- Circuits, Integrated --- Computer chips --- Microchips --- Electronic circuits --- Microelectronics --- Congresses --- Very large scale integration&delete& --- Very large scale integration --- Congresses. --- Parallel processing (Electronic computers) - Congresses --- Computer algorithms - Congresses --- Computer architecture - Congresses --- Integrated circuits - Very large scale integration - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer architecture. Operating systems --- Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses --- Congrès --- 681.3*D13 --- 681.3*D21 --- 681.3*D24 --- 681.3*F12 --- Concurrent programming --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D13 Concurrent programming --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Parallélisme (Informatique) --- Congrès --- Computer network architectures. --- Logic design. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Parallel processing (Electronic computers) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical --- Electronic digital computers --- Linguistics --- Congresses --- Programming --- -Computer programming --- -Logic, Symbolic and mathematical --- -681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Natural language processing: language generation; language models; language parsing and understanding; machine translation; speech recognition and under-standing; text analysis (Artificial intelligence) --- 681.3*I27 Natural language processing: language generation; language models; language parsing and understanding; machine translation; speech recognition and under-standing; text analysis (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Computer programming --- Programming languages (Electronic computers) --- 681.3*I23 --- 681.3*I27 --- Artificial intelligence. Robotics. Simulation. Graphics --- Logic, symbolic and mathematical --- Langages de programmation --- Programmation (Informatique) --- Logique symbolique et mathématique --- Linguistique --- Congrès --- Logic, Symbolic and mathematical - Congresses --- Electronic digital computers - Programming - Congresses --- Linguistics - Congresses --- Programming languages (Electronic computers) - Congresses --- Computer programming - Congresses --- Programming language --- Electronic computers --- Electronic digital computers-programming-congress