bib.howest.be Zoekresultaten

U zocht naar: Auteur Josef Kittler

« Vorige | 651 - 660 van 2,149 | Volgende »

651. Formal Methods for Industrial Critical Systems

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

652. Formal Methods for Industrial Critical Systems

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

653. Formal Methods for Mobile Computing

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

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

655. Formal Methods: Foundations and Applications

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

656. Formal Modeling and Analysis of Timed Systems

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

657. Formal Modeling and Analysis of Timed Systems

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

658. Formal Modeling and Analysis of Timed Systems

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

659. Formal Modeling and Analysis of Timed Systems

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

660. Formal Modeling and Analysis of Timed Systems

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