Liknande böcker

Algebraic Multigrid for the Multi-Ion Transport and Reaction Model - a P...
Bok av "Peter Thum"
Machine Learning of Information Extraction Procedures - an Ilp Approach
Bok av Bernd Thomas
The Ambiguity of Morphisms in Free Monoids and its Impact on Algorithmic...
Bok av Daniel Reidenbach
Optimal Control of Switched Systems with Application to Networked Embedd...
Bok av Daniel Görges
Jacobi-Davidson Type Methods for Computing Rovibronic Energy Levels of T...
Bok av Peter Langer
Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Ev...
Bok av Sebastian Druppel
Multi-Layer Perceptron Networks for Ordinal Data Analysis -- Order Indep...
Bok av Stephan Dlugosz
Adaptive Wavelet Schwarz Methods for Nonlinear Elliptic Partial Differen...
Bok av Dominik Lellek

An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms

Bok av Maksym Bortin