Вы здесь

Главная

программирование

Связанные издания:

Combining Lazy Narrowing and Simplification
Combining Oberon with Active Objects
Combining Object-Oriented and Logic Paradigms: A modal Logic Programming Approach
COMEY - A Comfortable Set of Control Primitives for Machine Language Programming
Communication as Fair Distribution of Knowledge
Comparative Semantics of mLog
Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages
Compile-Time Analysis of Object-Oriented Programs
Compiling Adaptive Programs by Partial Evaluation
Completeness Proofs for Logic Programming
Complete Restrictions of the Intersection Type Discipline
Complexity Result for Disjunctive Logic Programming and Application to Nonmonotonic Logics
Component-Based Framework for Constraint Programming
Component Programming - a fresh look at software components
Compositional C++: Compositional Parallel Programming
Compositional Model-Views with Generic Graphical User Interfaces
Compositional References for Stateful Functional Programming
Compositional Style of Programming FPGAs
Computer Algebra in Scientific Computing: Proc./13th International Workshop, CASC 2011, Kassel, Germany, September 2011
Computer programming education with Miranda
Computer Science Logic: Proc./21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Lausanne, Switzerland, September 2007
Computer Science Logic: Selected Papers/6th Workshop, CSL 92. San Miniato, Italy, September-October 1992
Computers Then and Now
Computing the Minimum of the k-Level of an Arrangement with Applications
Conception, Evolution, and Application of Functional Programming Languages
Conceptual Structures for Recursion
Concurrency and Concurrent Constraint Programming
Concurrency and Object-Oriented Programming
Concurrency Annotations
Concurrency Annotations for Reusable Software
Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers
Concurrent Constraint Pogramming Based on Functional Programming
Concurrent Constraint Programming at SICS with the Andorra Kernel Language
Concurrent Logic Programming as Uniform Linear Proofs
Concurrent Object Oriented C (cooC)
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets
Concurrent Object-Oriented Programming in Classic-Ada
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Concurrent Programming in Erlang (копия)
Conditional Narrowing with Constructive Negation
Confluence in Concurrent Constraint Programming
Considerations in Choosing a Concurrent/Distributed Object-Oriented Programming Language
Constraint Handling Rules
Constraint Logic Programming. An Informal Introduction
Constraint Logic Programming: From Theory to Applications
Constraint Logic Programming in the Sequent Calculus
Constraint Operations for CLP(FT)
Constraint Patterns as a Basis for Object Oriented Programming
Constraint Programming - an Alternative to Expert Systems
Constraint Programming: Basics and Trends: Selected Papers/1994 Chatillon Spring School. Chatillon-sur-Seine, France, May 1994