bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Information Technology Software Engineering

« Vorige | 521 - 530 van 634 | Volgende »

521. Theory and Practice of Model Transformations

Auteur:: Paige, Richard F.; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

522. Theory and Practice of Model Transformations

Auteur:: Duddy, Keith; Kappel, Gerti; Kappel, Gerti
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

523. Theory and Practice of Model Transformations

Auteur:: Tratt, Laurence; Gogolla, Martin; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

524. Theory and Practice of Model Transformations

Auteur:: Cabot, Jordi; Kanade, Takeo; Visser, Eelco; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

525. Theory and Practice of Model Transformations

Auteur:: Hutchison, David; Kanade, Takeo; de Lara, Juan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

526. The Safety of Systems

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

527. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Esparza, Javier; Kanade, Takeo; Majumdar, Rupak; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

528. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Abdulla, Parosh Aziz; Kanade, Takeo; Leino, K. Rustan M.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

529. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Hutchison, David; Kanade, Takeo; König, Barbara
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

530. Tools for Practical Software Verification

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