bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Engineering

« Vorige | 1,491 - 1,500 van 3,123 | Volgende »

1491. Formal Methods for Industrial Critical Systems

Auteur:: Kowalewski, Stefan; Kanade, Takeo; Roveri, Marco; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1492. Formal Methods for Industrial Critical Systems

Auteur:: Hutchison, David; Kanade, Takeo; Pinger, Ralf; Stoelinga, Mariëlle
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1493. Formal Methods for Industrial Critical Systems

Auteur:: Leue, Stefan; Merino, Pedro
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1494. Formal Methods for Mobile Computing

Auteur:: Bernardo, Marco; Bogliolo, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1495. Formal Methods for Model-Driven Engineering

Auteur:: Hutchison, David; Kanade, Takeo; Cortellessa, Vittorio; Pierantonio, Alfonso
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1496. Formal Methods for Performance Evaluation

Auteur:: Bernardo, Marco; Hillston, Jane; Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

1497. Formal Methods for Quantitative Aspects of Programming Languages

Auteur:: Aldini, Alessandro; Bernardo, Marco; Kanade, Takeo; Pierro, Alessandra; Wiklicky, Herbert; Di Pierro, Alessandra
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1498. Formal Methods for Web Services

Auteur:: Bernardo, Marco; Kanade, Takeo; Padovani, Luca; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1499. Formal Methods: Foundations and Applications

Auteur:: Oliveira, Marcel Vinícius Medeiros; Kanade, Takeo; Woodcock, Jim
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1500. Formal Methods: Foundations and Applications

Auteur:: Davies, Jim; Kanade, Takeo; Silva, Leila; Simao, Adenilso; Simão, Adenilso
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book