Вы здесь

Главная

теория

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

9th Nordic Workshop on Programming Theory. Tallinn, Estonia, October 15-17, 1997
A Bernoulli Factory
A bridge between constructive logic and computer programming
Abstract Data Types in Computer Algebra
Abstract Specification Theory
A Categorical Model for Logic Programs: Indexed Monoidal Categories
A Characterization of the Simple Failure-Biasing Method for Simulations of Highly Reliable Markovian Systems
A Classification of Models for Concurrency
A Conceptual and Contextual Object-Oriented Logic Programming: The PROLOG++ Language
Activities on Net Theory in Japan
Adaptions- und Akquisitionstechniken fur Fuzzy-Systeme, Teil I
A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development
A Deductive and Typed Object-Oriented Language
Advanced Intelligent Computing Theories and Applications, Part III: Proc./11th International Conference, ICIC 2015, Fuzhou, China, August 2015
Advances in Cryptology - ASIACRYPT 94: Proc./4th Intern. Conf. on the Theory and Applications of Cryptology. Wollongong, Australia, November-December 1994
Advances in Cryptology - EUROCRYPT 92: Proc./Workshop on the Theory and Application of Cryptographic Techniques. Balatonfured, Hungary, May 1992
Advances in Petri Nets 1990
A Formal Identification between Tuples and Lists with an Application to List-arithmetic Categories
A Formal Theory of Indexical Knowledge and Action
A Formal Theory of Undirected Graphs in Higher-Order Logic
A Functional Theory of Local Names
A Generalized Event Structure for the Muller Unfolding of a Safe Net
A Generic Strong Normalization Argument: Application to the Calculus of Constructions
Agent Theories, Architectures, and Languages: A Survey
A Grand Unified Theory for Structural Computing
A Graph Theoretic Approach to Software Watermarking
A Kleene theorem for infinite trace languages
Algebraic Complexity Theory
Algebraic Invariants of Database Schemes
Algebraic Theories for Name-Passing Calculi
Algebras, Theories and Freeness: An Introduction for Computer Scientists
Algorithmic Game Theory: Proc./5th International Symposium, SAGT 2012, Barcelona, Spain, October 2012
Algorithmic Learning Theory: Proc./11th Intern. Conf., ALT 2000, Sydney, Australia, December 2000
Algorithmic Learning Theory: Proc./12th Intern. Conf., ALT 2001, Washington, DC, USA, November 2001
Algorithmic Learning Theory: Proc./13th Intern. Conf., ALT 2002, Lubeck, Germany, November 2002
Algorithmic Learning Theory: Proc./14th Intern. Conf., ALT 2003, Sapporo, Japan, October 2003
Algorithmic Learning Theory: Proc./18th International Conference, ALT 2007. Sendai, Japan, October 2007
Algorithmic Learning Theory: Proc./4th Intern. Workshop, ALT 93. Tokyo, Japan, November 1993
Algorithmic Learning Theory: Proc./4th Intern. Workshop on Analogical and Inductive Inference, AII 94; 5th Intern. Workshop on Algorithmic Learning Theory, ALT 94. Reinhardsbrunn Castle, Germany, October 1994
Algorithmic Learning Theory: Proc./7th Intern. Workshop, ALT 96. Sydney, Australia, October 1996
Algorithmic Learning Theory: Proc./8th International Workshop, ALT 97, Sendai, Japan, Oktober 1997
Algorithmic Learning Theory: Proc./9th Intern. Conf., ALT 98. Otzenhausen, Germany, October 1998
Algorithmic Learning Theory: Proc./Third Workshop, ALT 92. Tokyo, Japan, October 1992
Algorithmic Number Theory: Proc./First Intern. Symp., ANTS-I. Ithaca, NY, USA, May 1994
Algorithm Theory - SWAT 2000: Proc./7th Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 2000
Algorithm Theory - SWAT 2002: Proc./8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 2002
Algorithm Theory - SWAT 2004: Proc./ 9th Scandinavian Workshop on Algorithm Theory. Humlebaek, Denmark, July 2004
Algorithm Theory - SWAT 92: Proc./Third Scandinavian Workshop on Algorithm Theory. Helsinki, Finland, July 1992
Algorithm Theory - SWAT 94: Proc./4th Scandinavian Workshop on Algorithm Theory. Aarhus, Denmark, July 1994
Algorithm Theory - SWAT 96: Proc./5th Scandinavian Workshop on Algorithm Theory. Reykjavik,Iceland,July 1996