bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 1,581 - 1,590 van 4,148 | Volgende »

1581. Formal Methods and Software Engineering

Auteur:: Dong, Jin Song; Kanade, Takeo; Zhu, Huibiao; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1582. Formal Modeling and Analysis of Timed Systems

Auteur:: Ouaknine, Joël; Kanade, Takeo; Vaandrager, Frits W.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1583. Formal Modeling and Analysis of Timed Systems

Auteur:: Chatterjee, Krishnendu; Henzinger, Thomas A.; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1584. Formal Techniques for Distributed Systems

Auteur:: Lee, David; Kanade, Takeo; Lopes, Antónia; Poetzsch-Heffter, Arnd
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1585. Foundations of Information and Knowledge Systems

Auteur:: Dix, Jürgen; Hegner, Stephen J.; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

1586. Foundations of Information and Knowledge Systems

Auteur:: Hartmann, Sven; Kanade, Takeo; Kern-Isberner, Gabriele; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1587. Foundations of Software Science and Computational Structures

Auteur:: Amadio, Roberto; Amadio, Roberto M.; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1588. Frontiers in Algorithmics

Auteur:: Deng, Xiaotie; Hopcroft, John E.; Kanade, Takeo; Xue, Jinyun
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1589. Frontiers in Algorithmics

Auteur:: Preparata, Franco P.; Kanade, Takeo; Wu, Xiaodong; Yin, Jianping
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1590. Frontiers in Algorithmics

Auteur:: Preparata, Franco P.; Fang, Qizhi; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book