-
Simulating Quantum Processes using Classical Structures – This book explains how category theory can be used to explain various phenomena in the realm of quantum mechanics and quantum computer-science
Bhushan, Manav 2011 VDM Verlag Dr. Müller
-
Facial Expression Analysis – A Computational Model of Facial Expression
Ghent, John 2011 VDM Verlag Dr. Müller
-
MULTI BODY VIBRATION SYSTEM MECHANICS AND APPLICATION – MECHANICS AND CONTROL OF MULTI BODY SYSTEMS AND APPLICATION IN VIBRATION TECHNICS SCIENCE AND TECHNOLOGY
Kazakoff, Alexander 2011 VDM Verlag Dr. Müller
-
Reasoning with Ontologies in Databases – including optimization strategies, evaluation and example SQL code
Silbernagl, Doris 2011 VDM Verlag Dr. Müller
-
Climate Change and Policy – The Calculability of Climate Change and the Challenge of Uncertainty
Gramelsberger, Gabriele ; Feichter, Johann 2011 Springer Berlin Heidelberg
-
Analysis and evaluation of learning strategies using 2D and 3D VLE – Study of modern learning strategies with the usage of effective and responsive Virtual Learning Environments
Weis, Timoty 2011 VDM Verlag Dr. Müller
-
Computer science – theory and applications : proceedings
Kulikov, Alexander S. ; Vereshchagin, Nikolay 2011 Springer
-
Service-oriented perspectives in design science research – 6th international conference ; proceedings
Jain, Hemant K. ; Sinha, Atish P. ; Vitharana, Padmal 2011 Springer
-
Modern paradigms in computer science and applied mathematics – a handbook for PhD students and researchers
Pătruț, Bogdan ; Crisan, Gloria-Cerasela 2011 AVM
-
Reasoning in Combinations of Theories – A Study of Locality
Ihlemann, Carsten 2011 Suedwestdeutscher Verlag fuer Hochschulschriften
-
Analysis for science, engineering and beyond – the Tribute Workshop in Honour of Gunnar Sparr held in Lund, May 8 - 9, 2008
Åström, Karl J. ; Persson, Lars-Erik ; Silvestrov, Sergei D. 2012 Springer
-
Human language technology – challenges for computer science and linguistics ; revised selected papers
Vetulani, Zygmunt 2011 Springer
-
Research in computational molecular biology – 15th annual international conference ; proceedings
Bafna, Vineet ; Sahinalp, S. Cenk 2011 Springer
-
Modelling Human Pose and Shape Based on a Database of Human 3D Scans – Model Generation and Shape Morphing
Hasler, Nils 2011 Suedwestdeutscher Verlag fuer Hochschulschriften
-
Analyses of Evolutionary Algorithms – Theoretical Runtime Analyses for Evolutionary Algorithms and Probability Theoretical Tools for such Analyses
Happ, Edda 2010 Suedwestdeutscher Verlag fuer Hochschulschriften
-
Knowledge Compilation Map – Theory and Application
Wachter, Michael 2010 Suedwestdeutscher Verlag fuer Hochschulschriften
-
Intelligent Speculative Compiler Optimizations – A Conceptual Framework and its Application to the Optimization of Memory Accesses
Alvincz, Lars 2010 Suedwestdeutscher Verlag fuer Hochschulschriften
-
Turning points – the nature of creativity
Chen, Chaomei 2011 Higher Education Press
-
Proceedings / First International Conference on Computer Science and Information Technology
2011 Springer
-
Analysis for computer scientists – foundations, methods, and algorithms
Oberguggenberger, Michael ; Ostermann, Alexander 2011 Springer