bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 81 - 90 van 4,148 | Volgende »

81. Automated Reasoning

Auteur:: Giesl, Jürgen; Hähnle, Reiner; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

82. Automated Reasoning with Analytic Tableaux and Related Methods

Auteur:: Beckert, Bernhard; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

83. Automated Reasoning with Analytic Tableaux and Related Methods

Auteur:: Brünnler, Kai; Kanade, Takeo; Metcalfe, George
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

84. Bioinformatics and Computational Biology

Auteur:: Rajasekaran, Sanguthevar; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

85. Biomedical Simulation

Auteur:: Bello, Fernando; Cotin, Stéphane; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

86. Coalgebraic Methods in Computer Science

Auteur:: Hutchison, David; Kanade, Takeo; Schröder, Lutz
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

87. Coding and Cryptography

Auteur:: Ytrehus, Øyvind; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

88. Coding Theory and Applications

Auteur:: Barbero, Ángela; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

89. Combinatorial and Algorithmic Aspects of Networking

Auteur:: Erlebach, Thomas; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

90. Combinatorial Optimization and Applications

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

« Vorige
Volgende »
1
2
…
5
6
7
8
9
10
11
12
13
…
414
415