Вы здесь

Главная

алгебраический

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

A Behavioural Algebraic Framework for Modular System Design with Reuse
About the "Correctness" and "Adequacy" of PLUSS Specifications
Abstract Algebraic Logic
Abstract Structures for Communication
Abstract Structures for Communication between Processes
Advances in Soft Computing: Proc./18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 2019
Advances in Visual Computing. Part II: Proc./5th International Symposium, ISVC 2009, Las Vegas, NV,USA, November/December 2009
Advances in Visual Computing. Part I: Proc./5th International Symposium, ISVC 2009, Las Vegas, NV,USA, November/December 2009
A Formal Approach to Requirements Engineering
A Formal Identification between Tuples and Lists with an Application to List-arithmetic Categories
A Generalized Algebraic Approach to Uncertainty Processing in Rule-based Expert Systems (Dempsteroids)
Agg - An Implementation of Algebraic Graph Rewriting
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types
Algebraic Abstractions
Algebraic and Logic Programming
Algebraic and Logic Programming: Proc./4th Intern. Conf., ALP 94. Madrid, Spain, September 1994
Algebraic and Logic Programming: Proc./5th International Conference, ALP 96. Aachen,Germany,September 1996
Algebraic and Logic Programming: Proc./6th Intern. Joint Conf., ALP 97 - HOA 97. Southampton, UK, September 1997
Algebraic and Logic Programming: Proc./International Workshop held in Gaussig (DDR), November 1988
Algebraic Biology: Proc./Second International Conference, AB 2007. Castle of Hagenberg, Austria, July 2007
Algebraic Biology: Proc./Third International Conference, AB 2008. Castle of Hagenberg, Austria, July/August 2008
Algebraic Calculation of Graph and Sorting Algorithms
Algebraic-Coalgebraic Specification in CoCASL
Algebraic Complexity Theory
Algebraic Computational Models of OR-parallel Execution of Prolog
Algebraic construction of compilers
Algebraic Curves: Tuwards Moduli Spaces
Algebraic equivalences of nested relational operators
Algebraic Foundations of Systems Specification
Algebraic Frames for the Perception-Action Cycle: Proc./Second Intern. Workshop, AFPAC 2000, Kiel, Germany, September 2000
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
Algebraic High Level Nets: Petri Nets Revisited
Algebraic High-Level Net Transforation Systems: A Survey over Theory and Applications
Algebraic Imperative Specifications
Algebraic Informatics: Proc./4th International Conference, CAI 2011, Linz, Austria, June 2011
Algebraic Informatics: Proc./5th International Conference, CAI 2013, Porquerolles, France, September 2013
Algebraic Informatics: Proc./Third International Conference, CAI 2009, Thessaloniki, Grees, May 2009
Algebraic Invariants of Database Schemes
Algebraic Manipulation: Systems
Algebraic Methodology and Software Technology: Proc./10th International Conference, AMAST 2004. Stirling, Scotland, July 2004.
Algebraic Methodology and Software Technology: Proc./11th International Conference, AMAST 2006. Kuressaare, Estonia, July 2006
Algebraic Methodology and Software Technology: Proc./5th International Conference, AMAST 96. Munich,Germany, July 1996
Algebraic Methodology and Software Technology: Proc./6th Intern. Conf., AMAST 97. Sydney, Australia, December 1997
Algebraic Methodology and Software Technology: Proc./7th Intern. Conf., AMAST 98. Amazonia, Brazil, January 1999
Algebraic Methodology and Software Technology: Proc./8th Intern. Conf., AMAST 2000. Iowa City, Iowa, USA, May 2000
Algebraic Methodology and Software Technology: Proc./9th Intern. Conf., AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 2002
Algebraic Methods II: Theory, Tools and Applications
Algebraic Modelling of Imperative Languages with Pointers
Algebraic Models and the Correctness of Microprocessors
Algebraic models of microprocessors. Architecture and organisation