Computer Performance Evaluation and Benchmarking, Fachbücher von David Kaeli, Kai Sachs

Distributed, High-Performance and Grid Computing in Computational Biology, Fachbücher von Assaf Schuster, Peter Sloot, W...

Theory and Applications of Satisfiability Testing -- SAT 2015, Fachbücher von Sean Weaver, Marijn Heule

Computer Science Logic, Fachbücher

High Performance Embedded Architectures and Compilers, Fachbücher von David Whalley, David Kaeli, Koen De Bosschere, The...

High Performance Embedded Architectures and Compilers, Fachbücher von Yale N. Patt, Paola Faraboschi, Xavier Tort-Martor...

Human-Computer Interaction. Novel Interaction Methods and Techniques, Fachbücher von Julie A., Jacko

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kenneth McMillan, Xavier Rival

Software Reuse for Dynamic Systems in the Cloud and Beyond, Fachbücher

Human-Computer Interaction: Design and Evaluation, Fachbücher von Masaaki Kurosu

Logic Programming, Fachbücher von Patricia M. Hill, David S. Warren

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools, Fachbücher von Pavel Shamis, Oscar Hernande...

Fuzzy Logic and Applications, Fachbücher von Alfredo Petrosino, Sankar Kumar Pal, Vito Di Gesù

Computer Performance Engineering, Fachbücher von William Knottenbelt, Jeremy Bradley, Marta Beltrán

Cryptographic Hardware and Embedded Systems - CHES 2009, Fachbücher von Christophe Clavier, Kris Gaj

Hybrid Systems: Computation and Control, Fachbücher von Magnus Egerstedt, Bud Mishra