Choose an application

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

Parallel programming (Computer science) --- Parallelle programmering (Informatica) --- Programmation parallèle (Informatique) --- 681.3*D13 --- Computer programming --- Parallel processing (Electronic computers) --- Concurrent programming --- Parallel programming (Computer science). --- 681.3*D13 Concurrent programming --- Programmation parallèle (Informatique) --- Modula-2 (Langage de programmation) --- Concurrency --- Ada --- Real Time --- Concurrent Programming

Choose an application

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

519.8 --- 681.3 --- 681.3*F --- 681.3*F Theory of computation --- Theory of computation --- 519.8 Operational research --- Operational research --- Computerwetenschap --- Computer science --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Algorithms --- Parallel programming (Computer science) --- Algorithmes --- Programmation parallèle (Informatique) --- Algorithms. --- Parallel algorithms --- 681.3*F3 --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logics and meanings of programs (Theory of computation) --- Computer programming --- Parallel processing (Electronic computers) --- Parallel algorithms. --- Parallel programming (Computer science).

Choose an application

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

This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications in these disciplines. The collection presents some strong motivational points for the use of theory based systems in the areas of functional programming, concurrency, simulation, and automated reasoning, highlighting some of their advantages and disadvantages relative to conventional systems. The papers are mostly the work of individuals who were among the originators of the systemspresented. The volume is intended as a contribution to narrowing the learning gap facing conventional computer users when they wish to use advanced theory based systems. The papers are meant for a wide audience and should not require great mathematical sophistication for their comprehension. The papers contain numerous references for those wishing to pursue a topic in greater depth.

Automatic theorem proving --- Computer simulation --- Computer programming --- Functional programming (Computer science) --- Parallel programming (Computer science) --- Théorèmes --- Simulation par ordinateur --- Programmation (Informatique) --- Programmation fonctionnelle --- Programmation parallèle (Informatique) --- Congresses --- Démonstration automatique --- Congrès --- Théorèmes --- Programmation parallèle (Informatique) --- Démonstration automatique --- Congrès --- Electronic digital computers --- Programming --- Information theory. --- Artificial intelligence. --- Computer science. --- Software engineering. --- Logic design. --- Theory of Computation. --- Artificial Intelligence. --- Programming Techniques. --- Software Engineering. --- 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 --- Computer software engineering --- Engineering --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Communication theory --- Communication --- Cybernetics