|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"jonsson b"
Showing items 21-26 of 26 (3 Page(s) Totally)
<< < 1 2 3
View [10|25|50] records per page
| 臺大學術典藏 |
2018-09-10T15:37:32Z |
Omics for prediction of environmental health effects: Blood leukocyte-based cross-omic profiling reliably predicts diseases associated with tobacco smoking
|
Georgiadis, P. ; Hebels, D.G. ; Valavanis, I. ; Liampa, I. ; Bergdahl, I.A. ; Johansson, A. ; Palli, D. ; Chadeau-Hyam, M. ; Chatziioannou, A. ; Jennen, D.G.J. ; Krauskopf, J. ; Jetten, M.J. ; Kleinjans, J.C.S. ; Vineis, P. ; Kyrtopoulos, S.A. ; Gottschalk, R. ; Van Leeuwen, D. ; Timmermans, L. ; De Kok, T.M.C.M. ; Botsivali, M. ; Bendinelli, B. ; Kelly, R. ; Vermeulen, R. ; Portengen, L. ; Saberi-Hosnijeh, F. ; Melin, B. ; Hallmans, G. ; Lenner, P. ; Keun, H.C. ; Siskos, A. ; Athersuch, T.J. ; Kogevinas, M. ; Stephanou, E.G. ; Myridakis, A. ; Fazzo, L. ; De Santis, M. ; Comba, P. ; Kiviranta, H. ; Rantakokko, P. ; Airaksinen, R. ; Ruokoj\\Arvi, P. ; Gilthorpe, M. ; Fleming, S. ; Fleming, T. ; Tu, Y.-K. ; Jonsson, B. ; Lundh, T. ; Chen, W.J. ; Lee, W.-C. ; Hsiao, C.K. ; Chien, K.-L. ; Kuo, P.-H. ; Hung, H. ; Liao, S.-F.; YU-KANG TU; HUNG HUNG; PO-HSIU KUO; WEI J. CHEN; WEN-CHUNG LEE; KUO-LIONG CHIEN; CHUHSING KATE HSIAO |
| 臺大學術典藏 |
2018-09-10T03:26:28Z |
Algorithmic analysis of programs with well quasi-ordered domains
|
Abdulla, P.A.;?erans, K.;Jonsson, B.;Tsay, Y.-K.; Abdulla, P.A.; ?erans, K.; Jonsson, B.; Tsay, Y.-K.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2016 |
Omics for prediction of environmental health effects: Blood leukocyte-based cross-omic profiling reliably predicts diseases associated with tobacco smoking
|
Georgiadis P.;Hebels D.G.;Valavanis I.;Liampa I.;Bergdahl I.A.;Johansson A.;Palli D.;Chadeau-Hyam M.;Chatziioannou A.;Jennen D.G.J.;Krauskopf J.;Jetten M.J.;Kleinjans J.C.S.;Vineis P.;Kyrtopoulos S.A.;Gottschalk R.;Van Leeuwen D.;Timmermans L.;De Kok T.M.C.M.;Botsivali M.;Bendinelli B.;Kelly R.;Vermeulen R.;Portengen L.;Saberi-Hosnijeh F.;Melin B.;Hallmans G.;Lenner P.;Keun H.C.;Siskos A.;Athersuch T.J.;Kogevinas M.;Stephanou E.G.;Myridakis A.;Fazzo L.;De Santis M.;Comba P.;Kiviranta H.;Rantakokko P.;Airaksinen R.;Ruokoj?Rvi P.;Gilthorpe M.;Fleming S.;Fleming T.;Tu Y.-K.;Jonsson B.;Lundh T.;Chen W.J.;Lee W.-C.;Hsiao C.K.;Chien K.-L.;Po-Hsiu Kuo;Hung H.;Liao S.-F.;The Envirogenomarkers Consortium; Georgiadis P.; Hebels D.G.; Valavanis I.; Liampa I.; Bergdahl I.A.; Johansson A.; Palli D.; Chadeau-Hyam M.; Chatziioannou A.; Jennen D.G.J.; Krauskopf J.; Jetten M.J.; Kleinjans J.C.S.; Vineis P.; Kyrtopoulos S.A.; Gottschalk R.; Van Leeuwen D.; Timmermans L.; De Kok T.M.C.M.; Botsivali M.; Bendinelli B.; Kelly R.; Vermeulen R.; Portengen L.; Saberi-Hosnijeh F.; Melin B.; Hallmans G.; Lenner P.; Keun H.C.; Siskos A.; Athersuch T.J.; Kogevinas M.; The EnviroGenomarkers consortium; Liao S.-F.; Hung H.; PO-HSIU KUO; Chien K.-L.; Hsiao C.K.; Lee W.-C.; Stephanou E.G.; Myridakis A.; Fazzo L.; De Santis M.; Comba P.; Kiviranta H.; Rantakokko P.; Airaksinen R.; Ruokoj?rvi P.; Gilthorpe M.; Fleming S.; Fleming T.; Tu Y.-K.; Jonsson B.; Lundh T.; Chen W.J. |
| 國立臺灣大學 |
2000 |
Algorithmic Analysis of Programs with Well Quasi-Ordered Domains
|
Abdulla, P. A.; Cerans, K.; Jonsson, B.; Tsay, Y.K. |
| 國立臺灣大學 |
1996-10 |
Assumption/Guarantee Specifications in Linear-Time Temporal Logic
|
Jonsson, B.; Tsay, Y. -K. |
| 臺大學術典藏 |
1995 |
Assumption/guarantee specifications in linear-time temporal logic
|
Jonsson, B; Tsay, Y.-K.; YIH-KUEN TSAY; Jonsson, B;Tsay, Y.-K. |
Showing items 21-26 of 26 (3 Page(s) Totally)
<< < 1 2 3
View [10|25|50] records per page
|
