Computer Science
-
HPC@Green IT: Green High Performance Computing Methods -
Dynamic Reconfigurable Architectures and Transparent Optimization Techniques: Automatic Acceleration of Software Execution -
Alan Turing: Life and Legacy of a Great Thinker -
Multiparameter Equations of State: An Accurate Source of Thermodynamic Property Data -
Ontology Learning and Population from Text: Algorithms, Evaluation and Applications -
New Computational Paradigms: Changing Conceptions of What is Computable -
Mathematical and Computer Programming Techniques for Computer Graphics -
Digital Signal Processing -
Alan Turing: Life and Legacy of a Great Thinker -
Discrete Mathematics and Theoretical Computer Science -
New Computational Paradigms: Changing Conceptions of What is Computable -
Multiparameter Equations of State: An Accurate Source of Thermodynamic Property Data -
Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives: The Cerisy Conference -
Mathematical and Analytical Techniques with Applications to Engineering: Mathematical and Analytical Techniques with Applications to Engineering -
Ontology Learning and Population from Text: Algorithms, Evaluation and Applications -
Scalable Hardware Verification with Symbolic Simulation -
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective -
Springer Series in Advanced Manufacturing -
Advanced Information Processing -
Information Science and Statistics: A Unified Approach to Combinatorial Optimization, Monte-Carlo Simulation and Machine Learning -
Information Science and Statistics -
Information Science and Statistics -
Computer Supported Cooperative Work: Theory and Practice -
Computer Supported Cooperative Work: Theory and Practice
