Theorem Proving with Analytic Tableaux and Related Methods

4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

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

Languages and Compilers for Parallel Computing

18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers

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

Uncertainty for Safe Utilization of Machine Learning in Medical Imaging

5th International Workshop, UNSURE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

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

Paris (Wandkalender 2016 DIN A3 hoch)

Paris - Die Stadt der Liebe (Monatskalender, 14 Seiten)

Produktform: Kalender

Otto Pankok

Sinti - Porträts 1931 bis 1949

Produktform: Buch / Einband - flex.(Paperback)

Werkausgabe Walther Rode. Band 1-4 / Lesebuch für Angeklagte und andere Schriften

Produktform: Buch / Einband - fest (Hardcover)

Amsterdam (Wandkalender 2016 DIN A4 quer)

Amsterdam - eine einzigartige und interessante Stadt (Monatskalender, 14 Seiten)

Produktform: Kalender

Die flexible Frau

Frauenerwerbsarbeit im Werte- und Strukturwandel

Produktform: Buch / Einband - flex.(Paperback)

Österreichische Verfassungslehre

Produktform: Buch / Einband - flex.(Paperback)