Zobrazeno 1 - 10
of 162
pro vyhledávání: '"Fraer, R."'
Publikováno v:
2007 Asia & South Pacific Design Automation Conference; 2007, p304-309, 6p
Publikováno v:
Proceedings of the 2005 IEEE ACM International Conference Computer-aided Design; 5/31/2005, p877-884, 8p
Publikováno v:
Seventh IEEE International High-Level Design Validation & Test Workshop, 2002; 2002, p107-110, 4p
Autor:
Sterpu, Ancaelena Eliza, Simedrea, Bianca Georgiana, Chis, Timur Vasile, Săpunaru, Olga Valerica
Publikováno v:
Fuels; Mar2024, Vol. 5 Issue 1, p17-32, 16p
Autor:
HEULE, MARIJN J. H.1 (AUTHOR) marijn@cs.utexas.edu, KULLMANN, OLIVER2 (AUTHOR) o.kullmann@swansea.ac.uk
Publikováno v:
Communications of the ACM. Aug2017, Vol. 60 Issue 8, p70-79. 10p. 1 Color Photograph, 2 Diagrams.
Autor:
OMOSULE, Nenuwa Isaac1, OLUSEGUN, Adepo Samuel1, ABIODUN, Raimi Oluwole2, FEYISETAN, Fapetu Oluseyi1
Publikováno v:
Annals of the Faculty of Engineering Hunedoara - International Journal of Engineering. May2018, Vol. 16 Issue 2, p79-85. 7p.
Publikováno v:
Biofuels, Bioproducts & Biorefining; Sep2022, Vol. 16 Issue 5, p1353-1387, 35p
Autor:
Fix, Limor
Publikováno v:
25 Years of Model Checking; 2008, p139-144, 6p
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Energy Sources Part A: Recovery, Utilization & Environmental Effects; 2022, Vol. 44 Issue 3, p7857-7872, 16p