Search alternatives:
"symmetry" » "symmetric"
Cover Image
Read Now

1
by Quibeldey-Cirkel, Klaus
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Überblick -- Das aktuelle Schlagwort: Entwurfsmuster -- Kapitelvorschau -- 1 Symmetrie & Software...”
Cover Image
Read Now

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Objects in Asynchronous Constraint Solving -- Distributed Constraint-Based Railway Simulation -- Symmetry...”
Cover Image
Read Now

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...-Support Encoding of CSP into SAT -- Groupoids and Conditional Symmetry --...”
Cover Image
Read Now

4
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Language -- Combining Symmetry Breaking and Global Constraints -- Iterative Flattening Search on RCPSP/max...”
Cover Image
Read Now

5
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs -- General Symmetry Breaking Constraints...”
Cover Image
Read Now

6
by Schwarz, Fritz
Published 2012
Springer Vienna
Table of Contents: “... of Laplace -- Equations with Lie symmetries...”
Cover Image
Read Now

7
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Perspective -- Aspects and Patterns -- On to Aspect Persistence -- Symmetry Breaking in Software Patterns...”
Cover Image
Read Now

8
by Gasteren, Antonetta J.M. van
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- In adherence to symmetry -- On a proof by Arbib, Kfoury, and Moll -- Not about open and closed sets -- A...”
Cover Image
Read Now

9
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... to Coverage in Model Checking -- Verification Core Technology -- A Fast Bisimulation Algorithm -- Symmetry...”
Cover Image
Read Now

10
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Invited Talk -- Art of Drawing -- Symmetry -- An Heuristic for Graph Symmetry Detection -- Isomorphic...”
Cover Image
Read Now

11
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Symmetry reductions in model checking -- Structural symmetry and model checking -- Using magnetic...”
Cover Image
Read Now

12
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... and Usability -- Affordance and Symmetry...”
Cover Image
Read Now

13
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Parametric Propagator for Discretely Convex Pairs of Sum Constraints -- Breaking Symmetry with Different...”
Cover Image
Read Now

14
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Properties -- A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness -- A SAT...”
Cover Image
Read Now

15
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... of Java Classes -- Symmetry and Completeness in the Analysis of Parameterized Systems -- Better Under...”
Cover Image
Read Now

16
Published 2017
Springer International Publishing
Table of Contents: “... Business Rules Compliance for Goal-Oriented Business Processes -- Symmetries of Modelling Concepts...”
Cover Image
Read Now

17
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... on Petri Nets -- Nets Enriched over Closed Monoidal Structures -- Automatic Symmetry Detection in Well...”
Cover Image
Read Now

18
Published 2018
Springer International Publishing
Table of Contents: “... -- Normal basis exhaustive search -- On symmetry and differential properties of generalized boolean...”
Cover Image
Read Now

19
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis...”
Cover Image
Read Now

20
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... for Removing Symmetries -- Symmetry Breaking -- The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent...”