bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Information Technology Software Engineering

« Vorige | 391 - 400 van 634 | Volgende »

391. Rigorous Software Development

Auteur:: Almeida, José Bacelar; Almeida, José Bacelar; Frade, Maria João; Frade, Maria João; Melo de Sousa, Simão; Pinto, Jorge Sousa
Uitgever:: Springer London 2011
Type:: e-book

392. Rigorous Software Engineering for Service-Oriented Systems

Auteur:: Wirsing, Martin; Hölzl, Matthias; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

393. Rule-Based Reasoning, Programming, and Applications

Auteur:: Bassiliades, Nick; Governatori, Guido; Kanade, Takeo; Paschke, Adrian
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

394. Runtime Verification

Auteur:: Bensalem, Saddek; Kanade, Takeo; Peled, Doron A.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

395. Runtime Verification

Auteur:: Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Kanade, Takeo; Lee, Insup; Pace, Gordon; RoÅu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

396. Runtime Verification

Auteur:: Sokolsky, Oleg; TaÅÄ±ran, Serdar
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

397. Runtime Verification

Auteur:: Leucker, Martin; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

398. Runtime Verification

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

399. Runtime Verification

Auteur:: Hutchison, David; Tasiran, Serdar
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

400. Safe and Secure Software Reuse

Auteur:: Favaro, John; Morisio, Maurizio; Morisio, Maurizio
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book