bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Technology

« Vorige | 931 - 940 van 5,147 | Volgende »

931. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Bonsangue, Marcello M.; Kanade, Takeo; Madelaine, Eric; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

932. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Kanade, Takeo; Leuschel, Michael
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

933. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

934. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

935. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef; Roever, Willem-Paul de
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

936. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; Damiani, Ferruccio; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

937. Formal Methods for Computational Systems Biology

Auteur:: Bernardo, Marco; Degano, Pierpaolo; Kanade, Takeo; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

938. Formal Methods for Dynamical Systems

Auteur:: Bernardo, Marco; Vink, Erik de; Pierro, Alessandra Di; Wiklicky, Herbert; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

939. Formal Methods for Eternal Networked Software Systems

Auteur:: Bernardo, Marco; Issarny, Valérie; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

940. Formal Methods for Hardware Verification

Auteur:: Bernardo, Marco; Cimatti, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book