bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Engineering

« Vorige | 1,391 - 1,400 van 3,123 | Volgende »

1391. Constituents of Modern System-safety Thinking

Auteur:: Anderson, Tom; Redmill, Felix
Uitgever:: Springer London 2005
Type:: e-book

1392. Constructing Correct Software

Auteur:: Cooke, John
Uitgever:: Springer London 2005
Type:: e-book

1393. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Auteur:: Barthe, Gilles; Burdy, Lilian; Huisman, Marieke; Kanade, Takeo; Lanet, Jean-Louis; Muntean, Traian
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1394. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Auteur:: Barthe, Gilles; Institut national de recherche en informatique et en automatique (France); Grégoire, Benjamin; Huisman, Marieke; Kanade, Takeo; Lanet, Jean-Louis; Lanet, Jean-Luis
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

1395. Cooperative Bug Isolation

Auteur:: Liblit, Ben; Association for Computing Machinery.; Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

1396. Coordination Models and Languages

Auteur:: Jacquet, Jean-Marie; Kanade, Takeo; Picco, Gian Pietro; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1397. Coordination Models and Languages

Auteur:: Ciancarini, Paolo; Kanade, Takeo; Wiklicky, Herbert; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

1398. Coordination Models and Languages

Auteur:: Field, John; Kanade, Takeo; Vasconcelos, Vasco T.; Kittler, Josef; Vasconcelos, Vasco Thudichum
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1399. Coordination Models and Languages

Auteur:: Clarke, Dave; Agha, Gul; Kanade, Takeo; Clarke, David
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1400. Coordination Models and Languages

Auteur:: Meuter, Wolfgang; Kanade, Takeo; Roman, Gruia-Catalin; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book