Zoeken

U zocht naar: Auteur Cha, Sungdeok (Steve) Filter Auteur: Cha, Sungdeok (Steve) weghalen Type e-book Filter Type: e-book weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis
thumbnail
Full text!
Auteur:
Cha, Sungdeok (Steve); Choi, Jin-Young; Kanade, Takeo; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book