bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 2,001 - 2,010 van 4,148 | Volgende »

2001. E-Voting and Identity

Auteur:: Ryan, Peter Y. A.; Kanade, Takeo; Schoenmakers, Berry; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

2002. Formal Approaches to Software Testing

Auteur:: Hutchison, David; Grabowski, Jens; Kanade, Takeo; Nielsen, Brian; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

2003. Formal Concept Analysis

Auteur:: Hutchison, David; Ganter, Bernhard; Kanade, Takeo; Stumme, Gerd; Wille, Rudolf
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

2004. Formal Concept Analysis

Auteur:: Missaoui, Rokia; Kanade, Takeo; Missaoui, R.; Schmid, Jürg; Schmidt, Jürg
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

2005. Formal Concept Analysis

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Distel, Felix; Ganter, Bernhard
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

2006. Formal Methods and Software Engineering

Auteur:: Liu, Shaoying; Araki, Keijiro; Kanade, Takeo; Maibaum, Tom; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

2007. Formal Methods for Performance Evaluation

Auteur:: Bernardo, Marco; Hillston, Jane; Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

2008. Formal Methods: Foundations and Applications

Auteur:: Davies, Jim; Kanade, Takeo; Silva, Leila; Simao, Adenilso; Simão, Adenilso
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

2009. Formal Modeling and Analysis of Timed Systems

Auteur:: Raskin, Jean-François; Kanade, Takeo; Thiagarajan, P. S.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

2010. Formal Techniques for Distributed Systems

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Boreale, Michele; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book