bib.howest.be Zoekresultaten

U zocht naar: Type e-book

« Vorige | 16,431 - 16,440 van 173,163 | Volgende »

16431. Automated Deduction – CADE 26

Auteur:: de Moura
Uitgever:: Springer International Publishing 2017
Type:: e-book

16432. Automated Deduction – CADE 27

Auteur:: Fontaine
Uitgever:: Springer International Publishing 2019
Type:: e-book

16433. Automated Deduction – CADE 28

Auteur:: Platzer, André; Sutcliffe, Geoff
Uitgever:: Springer International Publishing 2021
Type:: e-book

16434. Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Auteur:: Pientka, Brigitte.; Tinelli, Cesare
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

16435. Automated Deduction in Geometry

Auteur:: Hong, Hoon; Kanade, Takeo; Wang, Dongming; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

16436. Automated Deduction in Geometry

Auteur:: Sturm, Thomas; Kanade, Takeo; Zengler, Christoph; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

16437. Automated Deduction in Geometry

Auteur:: Botana; Quaresma, Pedro
Uitgever:: Springer International Publishing 2015
Type:: e-book

16438. Automated Deduction in Geometry

Auteur:: Schreck; Narboux, Julien; Richter-Gebert, Jürgen
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

16439. Automated Deduction in Geometry

Auteur:: Botana, Francisco; Recio, Tomas; Recio, Tómas; Tomas, Recio
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

16440. Automated Deduction in Geometry

Auteur:: Ida, Tetsuo; Fleuriot, Jacques; Fleuriot, Jacques
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book