Computer Science
-
History of Computing: Electrical Analogies, Engineering Practice, and the Development of Analogue Computing -
Scalable Techniques for Formal Verification -
Hardware Based Packet Classification for High Speed Internet Routers -
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 -
Methods for Constructing Exact Solutions of Partial Differential Equations 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 -
Automated Nanohandling by Microrobots -
Chance Discovery -
The Cross-Entropy Method A Unified Approach to Combinatorial Optimization, Monte-Carlo Simulation and Machine Learning -
Information Science and Statistics
