Monografie
Verification of solutions for almost linear complementarity problems
- Sprache
-
Englisch
- Identifier
-
991430220
- Reihe
-
Dagstuhl seminar proceedings 05391
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Beteiligte
- Alefeld, Götz
- Wang, Zhengyu
Ähnliche Objekte (12)
B-tree indexes for high update rates
Flat counter automata almost everywhere!
Graph grammar verification through abstraction
Enumerating all solutions for constraint satisfaction problems
Optimal approximation of elliptic problems by linear and nonlinear mappings
Application of verification techniques to inverse monoids
Verification and validation of sensor networks
Limited verification of identities to induce false name proofness
Belief change and cryptographic protocol verification
Establishing the market for assisted living solutions
On properly pareto optimal solutions
Polynomial time algorithms for multivariate linear problems with finite order weights : worst case setting
B-tree indexes for high update rates
Flat counter automata almost everywhere!
Graph grammar verification through abstraction
Enumerating all solutions for constraint satisfaction problems
Optimal approximation of elliptic problems by linear and nonlinear mappings
Application of verification techniques to inverse monoids
Verification and validation of sensor networks
Limited verification of identities to induce false name proofness
Belief change and cryptographic protocol verification
Establishing the market for assisted living solutions
On properly pareto optimal solutions
Polynomial time algorithms for multivariate linear problems with finite order weights : worst case setting
B-tree indexes for high update rates
Flat counter automata almost everywhere!
Graph grammar verification through abstraction
Enumerating all solutions for constraint satisfaction problems
Optimal approximation of elliptic problems by linear and nonlinear mappings
Application of verification techniques to inverse monoids
Verification and validation of sensor networks
Limited verification of identities to induce false name proofness
Belief change and cryptographic protocol verification
Establishing the market for assisted living solutions
On properly pareto optimal solutions