bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Technology

« Vorige | 561 - 570 van 5,147 | Volgende »

561. Automated Deduction – CADE-23

Auteur:: Bjørner, Nikolaj; Kanade, Takeo; Sofronie-Stokkermans, Viorica
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

562. Automated Deduction – CADE-24

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

563. Automated Deduction in Geometry

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

564. Automated Deduction in Geometry

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

565. Automated Deduction in Geometry

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

566. Automated Deduction in Geometry

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

567. Automated Reasoning

Auteur:: Furbach, Ulrich; Kanade, Takeo; Shankar, N.; Shankar, Natarajan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

568. Automated Reasoning

Auteur:: Giesl, Jürgen; Hähnle, Reiner; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

569. Automated Reasoning

Auteur:: Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles; Siekmann, Jörg
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

570. Automated Reasoning and Mathematics

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Kittler, Josef; Stickel, Mark E.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book