bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software

« Vorige | 551 - 560 van 666 | Volgende »

551. Theory and Practice of Model Transformations

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

552. The Safety of Systems

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

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

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

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

556. Tools for Practical Software Verification

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

557. Top Productivity through Software Reuse

Auteur:: Schmid, Klaus; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

558. Towards a Service-Based Internet. ServiceWave 2010 Workshops

Auteur:: Cezon, Michel; Kanade, Takeo; Wolfsthal, Yaron; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

559. Transactions on Aspect-Oriented Software Development I

Auteur:: Rashid, Awais; Aksit, Mehmet; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

560. Transactions on Aspect-Oriented Software Development II

Auteur:: Rashid, Awais; Akesit, Mehmet; Aksit, Mehmet; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book