C++ Toolbox for Verified Computing I, Fachbücher von Ulrich Kulisch, Dietmar Ratz, Matthias Hocks, Rolf Hammer

Rolf Hammer (u. A.) | C++ Toolbox For Verified Computing I |

C++ Toolbox For Verified Computing I Basic Numerical Problems Theory,

Operating Systems for Supercomputers and High Performance Computing, Fachbücher von Balazs Gerofi, Rolf Riesen, Yutaka I...

Mobile Services for Toy Computing, Fachbücher von Patrick C. K. Hung

Tools for High Performance Computing 2009, Fachbücher von Michael M. Resch, Wolfgang E. Nagel, Matthias S. Müller, Alexa...

Infrastructural Security for Virtualized Grid Computing, Fachbücher von Matthias Schmidt

Advanced Computing Strategies for Engineering, Fachbücher von Bernd Domer, Ian F. C. Smith

C++ and Object-Oriented Numeric Computing for Scientists and Engineers, Fachbücher von Daoqi Yang

Soft Computing Techniques For Image Restoration, Fachbücher von RAMBABU PEMULA, C. Nagaraju, S VIJAYA KUMAR

Perioperative Considerations and Positioning for Neurosurgical Procedures, Fachbücher von C. Wayne Hamm, Kevin Foley, Ad...

Bio-inspired Algorithms for Data Streaming and Visualization, Big Data Management, and Fog Computing, Fachbücher von Sim...

Database Systems for Advanced Applications, Fachbücher von Cyrus Shahabi, Xiaofang Zhou, Matthias Renz, Muhammad Aamir C...

Sampled-Data Models for Linear and Nonlinear Systems, Fachbücher von Graham C. Goodwin, Juan I. Yuz

Simulation-Based Algorithms for Markov Decision Processes, Fachbücher von Jiaqiao Hu, Michael C. Fu, Steven I. Marcus, H...

Rigorous Software Engineering for Service-Oriented Systems, Fachbücher von Matthias Hölzl, Martin Wirsing