Choose an application

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

Computer. Automation --- Electronic digital computers --- Ordinateurs --- Evaluation --- Congresses --- Congrès --- -#TCPW P4.0 --- #TCPW P4.8 --- 681.3*A0 --- 681.3*C4 --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- -Congresses --- General --- Performance of systems (Computer systems organization) --- 681.3*C4 Performance of systems (Computer systems organization) --- 681.3*A0 General --- #TCPW P4.0 --- Evaluation&delete& --- Langages de programmation --- Programming languages (Electronic computers) --- Electronic digital computers - Congresses - Evaluation --- Electronic digital computers - Evaluation - Congresses --- Langages de programmation.

Choose an application

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

ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems.

Electronic data processing --- Electronic digital computers --- 681.3 *C2 --- 681.3*B3 --- 681.3*E4 --- 681.3*F0 --- 681.3*I1 --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Computer communication networks: data communications; OSI; security and protection --- Memory structures (Hardware) --- Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- Computerwetenschap--?*F0 --- Algebraic manipulation (Computing methodologies) --- Automation --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*E4 Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- 681.3*B3 Memory structures (Hardware) --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Congresses --- Electronic data processing - Congresses. --- Electronic digital computers - Congresses. --- Information theory. --- Computer science. --- Computer software. --- Logic design. --- Memory management (Computer scie. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Memory Structures. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics