bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 831 - 840 van 4,148 | Volgende »

831. Formal Methods: Foundations and Applications

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

832. Formal Modeling: Actors, Open Systems, Biological Systems

Auteur:: Agha, Gul; Danvy, Olivier; Kanade, Takeo; Meseguer, José
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

833. Formal Modeling and Analysis of Timed Systems

Auteur:: Kanade, Takeo; Pettersson, Paul; Yi, Wang; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

834. Formal Modeling and Analysis of Timed Systems

Auteur:: Asarin, Eugene; Bouyer, Patricia; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

835. Formal Modeling and Analysis of Timed Systems

Auteur:: Fahrenberg, Uli; Kanade, Takeo; Tripakis, Stavros; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

836. Formal Modeling and Analysis of Timed Systems

Auteur:: Cassez, Franck; Jard, Claude; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

837. Formal Modeling and Analysis of Timed Systems

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

838. Formal Techniques for Computer Systems and Business Processes

Auteur:: Bravetti, Mario; Kanade, Takeo; Kloul, Leïla; Zavattaro, Gianluigi
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

839. Formal Techniques for Distributed Systems

Auteur:: Hatcliff, John; Kanade, Takeo; Zucca, Elena; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

840. Formal Techniques for Distributed Systems

Auteur:: Bruni, Roberto; Dingel, Juergen; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book