bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 821 - 830 van 4,148 | Volgende »

821. Formal Methods for Hardware Verification

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

822. Formal Methods for Industrial Critical Systems

Auteur:: Cofer, Darren; Fantechi, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

823. Formal Methods for Industrial Critical Systems

Auteur:: Alpuente, María; Cook, Byron; Joubert, Christophe; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

824. Formal Methods for Industrial Critical Systems

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

825. Formal Methods for Industrial Critical Systems

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

826. Formal Methods for Mobile Computing

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

827. Formal Methods for Model-Driven Engineering

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

828. Formal Methods for Open Object-Based Distributed Systems

Auteur:: Gorrieri, Roberto; Kanade, Takeo; Wehrheim, Heike; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

829. Formal Methods for Web Services

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

830. Formal Methods: Foundations and Applications

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