bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Technology

« Vorige | 1,231 - 1,240 van 5,147 | Volgende »

1231. Leveraging Applications of Formal Methods, Verification, and Validation

Auteur:: Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1232. Leveraging Applications of Formal Methods, Verification and Validation

Auteur:: Tiziana Margaria, Bernhard Steffen.; Margaria, Tiziana; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1233. Leveraging the Semantics of Topic Maps

Auteur:: Maicher, Lutz; Garshol, Lars Marius; Siekmann, Jörg; Sigel, Alexander
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

1234. Local Pattern Detection

Auteur:: Boulicaut, Jean-François; Kanade, Takeo; Morik, Katharina; Siebes, Arno
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1235. Logical and Relational Learning

Auteur:: Raedt, Luc De; Siekmann, Jörg; Bundy, A.
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1236. Logical Aspects of Computational Linguistics

Auteur:: Blache, Philippe; Kanade, Takeo; Busquets, Joan; Moot, Richard; Stabler, Edward
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1237. Logical Aspects of Computational Linguistics

Auteur:: Pogodalla, Sylvain; Prost, Jean-Philippe
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1238. Logical Aspects of Computational Linguistics

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

1239. Logical Tools for Handling Change in Agent-Based Systems

Auteur:: Gabbay, Dov M.; Schlechta, Karl
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1240. Logic and Games on Automatic Structures

Auteur:: Kaiser, Åukasz; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book