Choose an application

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

Parallel processing (Electronic computers) --- -681.3*C12 --- 681.3*D13 --- 681.3*F12 --- Congresses --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Concurrent programming --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D13 Concurrent programming --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- 681.3*C12 --- Parallel processing (Electronic computers) - Congresses.

Choose an application

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

Parallel processing (Electronic computers) --- Parallel algorithms --- Parallélisme (Informatique) --- Algorithmes parallèles --- 681.3 *G10 --- 681.3*C12 --- 681.3*F12 --- 681.3*G22 --- Algorithms --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computerwetenschap--?*G10 --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Graph theory: graph algorithms; network problems; path and tree problems; trees--See also {681.3*F22} --- Parallel algorithms. --- Parallel processing (Electronic computers). --- 681.3*G22 Graph theory: graph algorithms; network problems; path and tree problems; trees--See also {681.3*F22} --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch

Choose an application

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

This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in an algebraic framework. Common foundations of both approaches have recently been developed, and this conference is a forum for people from both areas to exchange ideas, results, and experiences. The book covers the following topics: semantics ofalgebraic and logic programming; integration of functional and logic programming; term rewriting, narrowing, and resolution; constraintlogic programming and theorem proving; concurrent features in algebraic and logic programming languages; and implementation issues.

Programming --- Algebraic logic --- -Logic programming --- -681.3*D3 --- 681.3*F3 --- 681.3*F4 --- Computer programming --- Logic, Symbolic and mathematical --- Congresses --- Programming languages --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- Logic programming --- 681.3*D3 --- Information theory. --- Software engineering. --- Computer science. --- Logic design. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics

Choose an application

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

This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March 1991. The conference continued a series of annual meetings, alternating between workshop and conference formats, intended to bring together computer scientists and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas. A major goalof the series is to improve communication and interaction between researchers in these areas and to establish ties between related areas of research. The volume contains revised and refereed versions of each of the contributed papers and refereed papers by three invited speakers:Jon Barwise, John Reynolds, and Mitchell Wand.

Programming languages (Electronic computers) --- Semantics --- Congresses. --- -681.3*D30 --- 681.3*F1 --- 681.3*F3 --- 681.3*F4 --- Programming language semantics --- Computerwetenschap--?*D30 --- Computation by abstract devices --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F1 Computation by abstract devices --- 681.3*D30 --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Semantics&delete& --- Congresses --- Computer science --- Mathematics --- Computer science. --- Logic design. --- Logic, Symbolic and mathematical. --- Mathematics of Computing. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Programming languages (Electronic computers) - Semantics - Congresses.

Choose an application

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

Ordinateurs neuronaux --- 681.3*F --- neuraal netwerk --- neurocomputer --- Theory of computation --- 681.3*F Theory of computation --- Neural computers --- Neural networks (Neurobiology) --- #TELE:SISTA --- 536.75 --- Biological neural networks --- Nets, Neural (Neurobiology) --- Networks, Neural (Neurobiology) --- Neural nets (Neurobiology) --- Cognitive neuroscience --- Neurobiology --- Neural circuitry --- 536.75 Entropy. Statistical thermodynamics. Irreversible processes --- Entropy. Statistical thermodynamics. Irreversible processes --- Neural net computers --- Neural network computers --- Neurocomputers --- Electronic digital computers --- Natural computation --- Artificial intelligence --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Neural computers. --- Neural networks (Neurobiology). --- Réseaux nerveux --- Monograph --- Neural circuitry.