bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software

« Vorige | 421 - 430 van 666 | Volgende »

421. 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

422. Runtime Verification

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

423. Runtime Verification

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

424. Runtime Verification

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

425. Runtime Verification

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

426. Safe and Secure Software Reuse

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

427. Satellite Events at the MoDELS 2005 Conference

Auteur:: Bruel, Jean-Michel; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

428. S-BPM ONE - Running Processes

Auteur:: Fischer, Herbert; Schneeberger, Josef; Schneeberger, Josef
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

429. S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management

Auteur:: Buchwald, Hagen; Fleischmann, Albert; Seese, Detlef; Buchwald, Hagen; Fleischmann, Albert; Seese, Detlef; Stary, Christian
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

430. Scientific Engineering of Distributed Java Applications

Auteur:: Hutchison, David; Guelfi, Nicolas; Kanade, Takeo; Reggio, Gianna; Romanovsky, Alexander
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book