„Object Algebra“

Suchergebnisse

147 Treffer

• DIANA - An object-oriented tool for nonlinear analysis of chemical processes
  Krasnyk, Mykhaylo 2008 Shaker
• DIANA - an object oriented tool for nonlinear analysis of chemical processes
  Krasnyk, Mykhaylo 2008 Shaker
• Azumaya objects in triangulated bicategories
  Johnson, Niles
• Dimension Vectors of Indecomposable Objects for Nilpotent Operators of Degree 6 with One Invariant Subspace
  Dowbor, Piotr ; Meltzer, Hagen
• From simple-minded collections to silting objects via Koszul duality
  Su, Hao ; Yang, Dong
• Indecomposable and Isomorphic Objects in the Category of Monomial Matrices Over a Local Ring
  Bondarenko, V. M. ; Bortosh, M. Yu
• Implicative subreducts of MV-algebras: free and weakly projective objects
  Castaño, Diego N.
• Collision detection for curved rigid objects in the context of dynamics simulations
  Warken, Thomas
• Combinatorial foundation of homology and homotopy – applications to spaces, diagrams, transformation groups, compactifications, differential algebras, algebraic theories, simplicial objects, and resolutions
  Baues, Hans J. 1999 Springer
• An algebraic semantics for an abstract language with intra-object concurrency
  Gehrke, Thomas 1998 Inst. für Informatik
• A formal object specification technique using rule-based transformation of partial algebras
  Wagner, Annika 1997 [Tectum-Verl.]
• Principles of Compilers – A New Approach to Compilers Including the Algebraic Method
  Su, Yunlin ; Yan, Song Y. 2011 Springer Berlin Heidelberg
• Motor Estimation using Heterogeneous Sets of Objects in Conformal Geometric Algebra
  Tingelstad, Lars ; Egeland, Olav
• SymbolicC++ – An Introduction to Computer Algebra using Object-Oriented Programming
  2000 Springer London
• Computer algebra in scientific computing – 13th international workshop ; proceedings
  Gerdt, Vladimir P. ; Koepf, Wolfram ; Mayr, Ernst W. ; Vorožcov, Evgenij V. 2011 Springer
• From Objects to Diagrams for Ranges of Functors
  Gillibert, Pierre ; Wehrung, Friedrich 2011 Springer Berlin Heidelberg
• From objects to diagrams for ranges of functors
  Gillibert, Pierre ; Wehrung, Friedrich 2011 Springer
• Principles of compilers – a new approach to compilers including the algebraic method
  Su, Yunlin ; Yan, Song Y. 2011 Higher Education Press
• Mechatronics by bond graphs – an object-oriented approach to modelling and simulation
  Damić, Vjekoslav ; Montgomery, John 2015 Springer
• Deriving object-oriented specifications from algebraic specifications through refinement
  Dölle, Bastian 2007 Cuvillier