Zobrazeno 1 - 10
of 82
pro vyhledávání: '"Newell Josh"'
Autor:
Pang, Linna, Wang, Chen-Wei, Lawford, Mark, Wassyng, Alan, Newell, Josh, Chow, Vera, Tremaine, David
Publikováno v:
EPTCS 184, 2015, pp. 65-79
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a comp
Externí odkaz:
http://arxiv.org/abs/1506.03557
Autor:
Lautemann, Eva1
Publikováno v:
Library Journal. 5/1/2004, Vol. 129 Issue 8, p100-100. 1/6p.
Autor:
Caputo Silvio, Dorr Erica, Fox-Kämper Runrid, Hawes Jason K., Lelièvre Agnes, Newell Josh, Poniży Lidia, Schoen Victoria, Jean-Soro Liliane, Specht Kathrin, Yaman Rokiah
The FEW-meter project was developed by an international consortium comprising researchers, practitioners, and associations in the urban agriculture sector from five countries: France, Germany, Poland, the UK, and the US. The project was funded under
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c7a772c77c548e7f8501f06a010d1b9
Autor:
Ostergren, David1
Publikováno v:
Society & Natural Resources. Jul2006, Vol. 19 Issue 6, p571-573. 3p.
Autor:
Pryde, Philip R.1
Publikováno v:
Eurasian Geography & Economics. Oct/Nov2004, Vol. 45 Issue 7, p549-551. 3p.
Autor:
Zatsepine, Victor1
Publikováno v:
Pacific Affairs. Fall2004, Vol. 77 Issue 3, p543-544. 2p.
Akademický článek
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.
Autor:
Ostergren, David1
Publikováno v:
Slavonic & East European Review. Jul2006, Vol. 84 Issue 3, p584-586. 3p.
Autor:
Calkins, Laura M.1 laura.calkins@ttu.edu
Publikováno v:
Electronic Green Journal. Apr2006, Issue 23, p12-12. 1p.
Autor:
Newell, Josh, Wilson, Emma
Publikováno v:
Ecologist. Mar/Apr96, Vol. 26 Issue 2, p68. 5p. 1 Black and White Photograph.