bib.howest.be Zoekresultaten

U zocht naar: Auteur David

« Vorige | 2,781 - 2,790 van 4,957 | Volgende »

2781. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

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

2782. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

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

2783. Liquid Crystal Display Drivers

Auteur:: Cristaldi, David J. R.; Pennisi, Salvatore; Pulvirenti, Francesco
Uitgever:: Springer Netherlands 2009
Type:: e-book

2784. Logical Aspects of Computational Linguistics

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

2785. Logical Foundations of Computer Science

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

2786. Logic and Program Semantics

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

2787. Logic-Based Program Synthesis and Transformation

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Vidal, Germán
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2788. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2789. Logic, Language, and Computation

Auteur:: Bosch, Peter; Gabelaia, David; Kanade, Takeo; Lang, Jérôme
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

2790. Making Innovation Last: Volume 1

Auteur:: Gatignon, Hubert; Gotteland, David; Haon, Christophe; Zimmer, Jenny
Uitgever:: Basingstoke Palgrave Macmillan UK 2016
Type:: e-book