Zobrazeno 1 - 10 of 239 pro vyhledávání: '"Weissenbacher, G."'
1
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.
2
Program analysis with interpolants
Autor: Weissenbacher, G, Weissenbacher, Georg
This dissertation discusses novel techniques for interpolation-based software model checking, an approximate method which uses Craig interpolation to compute invariants of programs. Our work addresses two aspects of program analyses based on model ch
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::d55e083547fe324c555628f5aa4ce2bf
https://doi.org/10.1007/11817963_16
Zobrazit plný text záznamu
4
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.
7
Gender identity reversal in an adolescent with mixed gonadal dysgenesis
Autor: Marberger M, Weissenbacher G, Edith Schober, Herwig Frisch, Robert Birnbacher
Publikováno v: Journal of pediatric endocrinologymetabolism : JPEM. 12(5)
We describe a patient who was assigned female at birth because of genital ambiguity without performing further diagnostic procedures and presented at the age of 13-1/2 years because of her strong desire to change her legal sex. Karyotype was 46,XY; c
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4bc13860130c82545f059b1eec9c36b
https://pubmed.ncbi.nlm.nih.gov/10703543
Zobrazit plný text záznamu
8
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.
9
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
10
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje