Вы здесь

Главная

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

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

A Refinement of Import/Export Declarations in Modular Logic Programming and Its Semantics
A Reflective Model of Inheritance
A Rendezvous of Functions and Reactive Objects - Escaping the Evil I
A Reusability-Based Software Development Environment
Are Wait-Free Algorithms Fast?
A Rewrite Approach for Constraint Logic Programming
Aristotle and Object-Oriented Programming: Why Modern Students Need Traditional Logic
Artificial Intelligence: Methods and Applications: Proc./8th Hellenic Conference on AI, SETN 2014, Ioannia, Greece, May 2014
A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning
A Second Year Course on Data Structures Based on Functional Programming
A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases
A semantics for the integration of database modifications and transaction brackets into a logic programming language
A Seminar Course in Object Oriented Programming
A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation
A Set-Oriented Program Description Language for Ada
A Simple fixed point characterization of three-valued stable model semantics
A Simple Implementation of Divide and Conquer Parallelism (Expressed in Haskell)
A Simple ORB Implementation on Top of DCE fir Distributed Object Oriented Programming
A Simple Semantics for Logic Programming Languages with Dynamic Scheduling
A Software Engineering "Frosting" on a Traditional CS-1 Course
A Software Environment for Concurrent Coordinated Programming
A Software Process Immaturity Model
A Software Testbed for Advanced Projects in Real-time And Distributed Computing
A solution to the covering problem for 1-bounded conflict-free Petri nets using Linear Programming
Aspect-Oriented Programming
Assembly Environment for Development of Application Parallel Program
Assembly Parallel Programming: Some Examples
Assesting the Software Process Maturity of Software Engineering Courses
A Strafunski Application Letter
Astro-Gofer: Parallel Functional Programming with Co-ordinating Processes
A Structured Method for Literate Programming
A Superimposition Control Construct for Distributed Systems
A Survey and a Categorization Scheme of Automatic Programming Systems
A Survey of GCLA: A Definitional Approach to Logic Programming
A Survey of Stream Processing
Asynchronous rendez-vous in distributed logic programming
A Synergistic Analysis for Sharing and Groundness which Traces Linearity
A Systematic Analysis of Splaying
A System to Visualize and Interact with Prolog Programs
A Taste of Rewrite Systems
A Temporal Extension of the Deductive Database System ProQuel
A Theory of Objects
A Theory of Primitive Objects: Second-Order Systems
A Theory of Programs an Outline of Joint Work
A Tour Advisory System Using a Logic Programming Approach
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
Attribute-grammar interpreter for inexact reasoning
A Typed Foundation for Directional Logic Programming
A Type System of Logic Objects
A Unification of Inheritance and Automatic Program Specialization