Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "symmetry"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"005 - Computer programming, programs & data"
Search alternatives
:
"symmetry" »
"symmetric"
Showing
1
-
20
of
79
Search:
'"symmetry"'
,
query time: 0.05s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Entwurfsmuster : Design Patterns in der objektorientierten Softwaretechnik
by
Quibeldey-Cirkel, Klaus
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...Überblick -- Das aktuelle Schlagwort: Entwurfsmuster -- Kapitelvorschau -- 1
Symmetrie
& Software...
”
Read Now
2
Principles and Practice of Constraint Programming - CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Objects in Asynchronous Constraint Solving -- Distributed Constraint-Based Railway Simulation --
Symmetry
...
”
Read Now
3
Principles and Practice of Constraint Programming - CP 2007 : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...-Support Encoding of CSP into SAT -- Groupoids and Conditional
Symmetry
--...
”
Read Now
4
Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised...
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Language -- Combining
Symmetry
Breaking and Global Constraints -- Iterative Flattening Search on RCPSP/max...
”
Read Now
5
Principles and Practice of Constraint Programming - CP 2006 : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... -- BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs -- General
Symmetry
Breaking Constraints...
”
Read Now
6
Loewy Decomposition of Linear Differential Equations
by
Schwarz, Fritz
Published 2012
Springer Vienna
Table of Contents:
“
... of Laplace -- Equations with Lie
symmetries
...
”
Read Now
7
Generative and Component-Based Software Engineering : Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000. Revised Papers
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Perspective -- Aspects and Patterns -- On to Aspect Persistence --
Symmetry
Breaking in Software Patterns...
”
Read Now
8
On the Shape of Mathematical Arguments
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...
”
Read Now
9
Computer Aided Verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... to Coverage in Model Checking -- Verification Core Technology -- A Fast Bisimulation Algorithm --
Symmetry
...
”
Read Now
10
Graph Drawing : 7th International Symposium, GD'99, Stirin Castle, Czech Republic, September 15-19, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... -- Invited Talk -- Art of Drawing --
Symmetry
-- An Heuristic for Graph
Symmetry
Detection -- Isomorphic...
”
Read Now
11
Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
...
Symmetry
reductions in model checking -- Structural
symmetry
and model checking -- Using magnetic...
”
Read Now
12
Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... and Usability -- Affordance and
Symmetry
...
”
Read Now
13
Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... Parametric Propagator for Discretely Convex Pairs of Sum Constraints -- Breaking
Symmetry
with Different...
”
Read Now
14
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Properties -- A Light-Weight Algorithm for Model Checking with
Symmetry
Reduction and Weak Fairness -- A SAT...
”
Read Now
15
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... of Java Classes --
Symmetry
and Completeness in the Analysis of Parameterized Systems -- Better Under...
”
Read Now
16
Enterprise and Organizational Modeling and Simulation : 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers
Published 2017
Springer International Publishing
Table of Contents:
“
... Business Rules Compliance for Goal-Oriented Business Processes --
Symmetries
of Modelling Concepts...
”
Read Now
17
Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... on Petri Nets -- Nets Enriched over Closed Monoidal Structures -- Automatic
Symmetry
Detection in Well...
”
Read Now
18
Arithmetic of Finite Fields : 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers
Published 2018
Springer International Publishing
Table of Contents:
“
... -- Normal basis exhaustive search -- On
symmetry
and differential properties of generalized boolean...
”
Read Now
19
Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Discovery of Transition
Symmetry
in Multithreaded Programs Using Dynamic Analysis...
”
Read Now
20
Principles and Practice of Constraint Programming - CP 2001 : 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... for Removing
Symmetries
--
Symmetry
Breaking -- The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent...
”
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
004 - Data processing & computer science
2
620 - Engineering & allied operations
2
003 - Systems
1
500 - Natural sciences & mathematics
1
745 - Decorative arts
1
Language
English
77
German
2
Collection
Springer eBooks 2005-
52
Springer Book Archives -2004
23
O'Reilly
4
Author
Rossi, Francesca
2
Walsh, Toby
2
Aalst, Wil van der
1
Aceto, Luca
1
Araki, Keijiro
1
Athanasopoulos, Elias
1
more ...
Attie, Paul D.
1
Babkin, Eduard
1
Ball, Thomas
1
Bampis, Evripidis
1
Basu, Amrita
1
Beck, Kent
1
Benhamou, Frédéric
1
Berry, Gerard
1
Bessiere, Christian
1
Best, Eike
1
Biere, Armin
1
Bieri, Hanspeter
1
Blass, Andreas
1
Breitman, Karin
1
Brodal, Gerth S.
1
Budaghyan, Lilya
1
Butler, Greg
1
Cai, Jun
1
Calinescu, Radu
1
Cassez, Franck
1
Cavalcanti, Ana
1
Caviness, Bob F.
1
Chen, Yu-Fang
1
Cheng, Chih-Hong
1
Cohen, David
1
Comon, Hubert
1
Cook, Byron
1
Cortesi, Agostino
1
Crémilleux, Bruno
1
Damgaard, Ivan
1
Dediu, Adrian Horia
1
Delir Haghighi, Pari
1
Dershowitz, Nachum
1
Deshpande, Tanmay
1
Dong, Jin Song
1
Du, Ding-Zhu
1
Dutle, Aaron
1
Emerson, E. Allen
1
Engel, Reinhard
1
Erlebach, Thomas
1
Esparza, Javier
1
Fages, François
1
Feathers, Michael C.
1
Feldman, Michal
1
Finkel, Alain
1
Fitzgerald, John
1
Fränzle, Martin
1
Fu, Hu
1
Ganzha, V.G.
1
Garlan, David
1
Gasteren, Antonetta J.M. van
1
Gent, Ian P.
1
Goldberg, Leslie Ann
1
Gomes, Carla P.
1
Graf, Susanne
1
Groves, Lindsay
1
Halbwachs, Nicolas
1
Halldorsson, Magnus M.
1
Hayes, Ian J.
1
Hentenryck, Pascal Van
1
Hess, Sibylle
1
Hooker, John
1
Hu, Alan J.
1
Ibaraki, Toshihide
1
Inagaki, Yasuyoshi
1
Ionescu, Armand Mihai
1
Iwama, Kazuo
1
Jaffar, Joxan
1
Jarzabek, Stan
1
Johnson, Chris J.
1
Johnson, Michael
1
Jones, Neil
1
Julliand, Jacques
1
Kapur, Deepak
1
Khalil, Ismail
1
Klatte, Rudi
1
Kotsis, Gabriele
1
Kouchnarenko, Olga
1
Kratochvil, Jan
1
Kulisch, Ulrich
1
Kullmann, Oliver
1
Lee, D.T.
1
Legg, Catherine
1
Leino, K. Rustan M.
1
Leonardi, Stefano
1
Linker, Sven
1
Liu, Shaoying
1
Lock, Russell
1
Maibaum, Tom
1
Marques-Silva, Joao
1
Martin, Robert C.
1
Martin-Vide, Carlos
1
Mayr, E.W.
1
McIver, Annabelle
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=%22symmetry%22&type=AllFields
Send by Email
×
Loading...