Choose an application

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

Computer programming --- Zemanek, Heinz --- 681.3*F30 --- 681.3*F40 --- -Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computerwetenschap--?*F30 --- Computerwetenschap--?*F40 --- Congresses --- Programming --- Zemanek, H. --- Congresses. --- -Computerwetenschap--?*F30 --- Zemanek, Heinz. --- Computer programming - Congresses

Choose an application

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

Computer architecture. Operating systems --- Electronic digital computers --- Parallel processing (Electronic computers) --- Programmation des ordinateurs --- Parallélisme (Informatique) --- Programming --- Computer programming --- 681.3*F40 --- 681.3*D13 --- 681.3*D41 --- 681.3*F12 --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computerwetenschap--?*F40 --- Concurrent programming --- Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Computer programming. --- Parallel processing (Electronic computers). --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*D13 Concurrent programming --- Parallélisme (Informatique)

Choose an application

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

This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers.

681.3*F40 --- 681.3*F11 --- Computerwetenschap--?*F40 --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Computer science --- Mathematics --- Congresses --- Information theory. --- Software engineering. --- Computer network architectures. --- Computer science. --- Computer software. --- Logic design. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Computer System Implementation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Software, Computer --- Computer systems --- Informatics --- Science