Refine
Has Fulltext
- no (64) (remove)
Year of publication
Document Type
- Doctoral Thesis (64) (remove)
Language
- English (64) (remove)
Is part of the Bibliography
- yes (64)
Keywords
Institute
- Institut für Informatik und Computational Science (64) (remove)
Correctness proofs and probabilistic tests for constructive specifications and functional programs
(2001)
Real-Time-Non-Photorealistic rendering techniques for illustrating 3D scenes and their dynamics
(2005)
Monitoring virtual team collaboration : methods, applications and experiences in engineering design
(2010)
Tangible business process modeling : design and evaluation of a process model elicitation Technique
(2011)
Derived algebraic systems
(2013)
Multi tenancy for cloud-based in-memory column databases : workload management and data placement
(2013)