Вы здесь

Главная

теория

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

Applications and Theory of Petri Nets 2001: Proc./22nd Intern. Conf., ICATPN 2001, Newcastle upon Tyne, UK, June 2001
Applications and Theory of Petri Nets 2003: Proc./24th Intern. Conf., ICATPN 2003, Eindhoven, The Netherlands, June 2003
Applications and Theory of Petri Nets 2005: Proc./26th International Conference, ICATPN 2005. Miami, USA, 2005
Applications of Type Theory
Approximation Algorithms for NP-Complete Problems on Plannar Graphs
A Presentation of Software Systems Evolution Based on the Theory of the General System
A Process Algebra of Concurrent Constraint Programming
A Restricted Second Order Logic for Finite Structures
A Reuse-Oriented Framework for Hierarchical Specifications
A Rough Set Paradigm for Unifying Rough Set Theory and Fuzzy Set Theory
Artificial Evolution: Proc./6th Intern. Conf., Evolution Artificielle, EA 2003, Marseille, France, October 2003
Artificial Evolution: Selected Papers/European Conf., AE 95. Brest, France, September 1995
Artificial Life and Computational Intelligence: Proc./2nd Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2016
Artificial Neural Networks: An Introduction to ANN Theory and Practice
Artificial Neural Networks - ICANN 96: Proc./1996 Intern. Conf. Bochum, Germany, July 1996
A Semantic Theory for Concurrent ML
A Simple Model for Quotient Types
A Simplification of Girard s Paradox
A Sphere World Semantics for Default Reasoning
A Subset of Lotos with the Computational Power of Place/Transition-Nets
A Survey of PRAM Simulation Techniques
Asynchronous Algorithms for the Parallel Simulation of Event-Driven Dynamical Systems
A Syntactic Consistency Proof for NaDSet
A Theory-based Topological Notion of Institution
A theory for program and data type specification
A theory for the derivation of combinational C-mos circuit designs
A Theory of Bisimulation for the -calculus
A Theory of Bunches
A Theory of Classes for a Functional Language with Effects
A Theory of Directed Logic Programs and Streams
A Theory of Generic Interpreters
A Theory of Processes with Localities
A Theory of Program Modifications
A Theory of Programs an Outline of Joint Work
A Theory of Specialization Contraints for Complex Objects
A Top-Down Proof Procedure for Generalized Data Dependencies
A Tutorial Introduction to Designs in Unifying Theories of Programming
A Type-Theoretic Approach to Higher-Order Modules with Sharing
A Uniform Model Theory for the Specification of Data and Process Types
A Unifying Theory of Dependent Types: the Schematic Approach
Authentication in Distributed Systems: Theory and Practice
Automata, Circuits, and Hybrids: Facets of Continuous Time
Automata Implementation: Proc./First Intern. Workshop on Implementing Automata, WIA 96. London, Ontario, Canada, August 1996
Automata, Languages and Programming: Proc./18th Intern. Coll., Madrid, Spain, July 1991
Automata, Languages and Programming: Proc./21st Intern. Colloquium, ICALP 94. Jerusalem, Israel, July 1994
Automata, Languages and Programming: Proc./22nd International Colloquium, ICALP95 Szegen, Hungary, July 1995
Automata, Languages and Programming: Proc./23rd International Colloquium,ICALP 96. Paderborn,Germany,July 1996
Automata, Languages and Programming: Proc./29th Intern. Colloquium, ICALP 2002, Malaga, Spain, July 2002
Automata Theory on Trees and Partial Orders
Automated Deduction by Analogy