Zobrazeno 1 - 10
of 199
pro vyhledávání: '"Burkhart W"'
Autor:
Laura L. Kiefer, Burkhart W, Chris Harris, James S. Nichols, Moyer M, Derril H. Willard, Steven G. Blanchard, Weiel J, Bodnar W, Christine R. Hoffman
Publikováno v:
Biochemistry. 34(38)
The murine agouti gene encodes for a novel 131 amino acid protein. The sequence includes a 22 residue putative secretion signal, an internal basic region, and a C-terminal domain containing 10 cysteines. Agouti has been found to antagonize the bindin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a8c7e4e7a20b949ab2094d01f91972d
https://pubmed.ncbi.nlm.nih.gov/7547977
https://pubmed.ncbi.nlm.nih.gov/7547977
Publikováno v:
4. International congress
4. International congress, Jun 1994, Amsterdam, Netherlands
4. International congress, Jun 1994, Amsterdam, Netherlands
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::258576b966049e00a9bb07e1461cce23
https://hal.inrae.fr/hal-02776926
https://hal.inrae.fr/hal-02776926
Autor:
Frédéric Tuong, Burkhart Wolff
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 13-28 (2019)
We present a framework for C code in C11 syntax deeply integrated into the Isabelle/PIDE development environment. Our framework provides an abstract interface for verification back-ends to be plugged-in independently. Thus, various techniques such as
Externí odkaz:
https://doaj.org/article/cef6aec8387446268e34e98986331fb3
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.
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.
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.
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.
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.
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.
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.