Theorem Proving with Analytic Tableaux and Related Methods

5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Rational Continua, Classical and New

A collection of papers dedicated to Gianfranco Capriz on the occasion of his 75th birthday

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Robust Control for Unstructured Perturbations — An Introduction

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Statistical Learning Theory and Stochastic Optimization

Ecole d'Eté de Probabilités de Saint-Flour XXXI - 2001

Produktform: E-Buch Text Elektronisches Buch in proprietärem

urbainable/stadthaltig - Positions on the European City for the 21st Century

Produktform: Buch / Einband - fest (Hardcover)

Fertility Challenges and Solutions in Women with Cancer

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Die Entwicklung des unternehmerischen Wettbewerbs auf dem Elektrizitätsmarkt in der Europäischen Union und in Chile

Eine rechtsvergleichende Untersuchung zur Zulässigkeit von staatlichen Eingriffen

Produktform: Buch / Einband - flex.(Paperback)

urbainable/stadthaltig - Positionen zur europäischen Stadt für das 21. Jahrhundert

Produktform: Buch / Einband - fest (Hardcover)

Einflüsse auf den Implementierungserfolg von Big Data Systemen

Ergebnisse einer inhalts- und kausalanalytischen Untersuchung

Produktform: Buch / Einband - flex.(Paperback)

Modello di esempio per un'azione civile contro BioNTech

Spunti, idee, suggerimenti

Produktform: Buch / Einband - flex.(Paperback)