bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Technology

« Vorige | 1,831 - 1,840 van 5,147 | Volgende »

1831. The Semantic Web – ISWC 2012

Auteur:: Hutchison, David; Kanade, Takeo; Bernstein, Abraham; Euzenat, Jerome; Hauswirth, Manfred; Heflin, Jeff; Hendler, Jim; Parreira, Josiane Xavier; Schreiber, Guus; Sirin, Evren; Tudorache, Tania
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1832. The Semantic Web – ISWC 2012

Auteur:: Hutchison, David; Kanade, Takeo; Bernstein, Abraham; Euzenat, Jerome; Hauswirth, Manfred; Heflin, Jeff; Hendler, Jim; Parreira, Josiane Xavier; Schreiber, Guus; Sirin, Evren; Tudorache, Tania
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1833. The Sense of Touch and its Rendering

Auteur:: Bicchi, Antonio; Buss, Martin; Ernst, Marc O.; Khatib, Oussama; Peer, Angelika; Groen, Frans
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1834. The Seventeen Provers of the World

Auteur:: Wiedijk, Freek; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

1835. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Esparza, Javier; Kanade, Takeo; Majumdar, Rupak; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1836. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Abdulla, Parosh Aziz; Kanade, Takeo; Leino, K. Rustan M.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1837. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Hutchison, David; Kanade, Takeo; König, Barbara
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1838. Tools for Practical Software Verification

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

1839. Tools for Teaching Logic

Auteur:: Blackburn, Patrick; Ditmarsch, Hans; Kanade, Takeo; Manzano, María; Soler-Toscano, Fernando; van Ditmarsch, Hans
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1840. Top Productivity through Software Reuse

Auteur:: Schmid, Klaus; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book