|
1 |
A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
Arvay, Barnabas. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
2 |
Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson"
Arvay, Barnabas. - Freiburg : Universität, 2024
|
|
|
3 |
Neuronal alterations in AKT isotype expression in schizophrenia
Enthalten in Molecular psychiatry 18.10.2024: 1-12
|
|
|
|
4 |
Effects of selected biostimulants on qualitative and quantitative parameters of nine cultivars of the genus Capsicum spp.
Enthalten in Open agriculture Bd. 9, 2024, Nr. 1. 16 S.
|
|
|
|
5 |
GIS-based Visualization of Elemental Distribution in Neoboletus Luridiformis Fruiting Body
Enthalten in Biological trace element research 27.7.2024: 1-13
|
|
|
|
6 |
Blusher mushroom (Amanita rubescens Pers.): A Study of Mercury Content in Substrate and Mushroom Samples from Slovakia with Respect to Locality and Developmental Stages
Enthalten in Biological trace element research 28.6.2024: 1-13
|
|
|
|
7 |
Microelements, Fatty Acid Profile, and Selected Biomarkers in Grass Carp (Ctenopharyngodon idella) Muscle Tissue: Seasonal Variations and Health Risk Assessment
Enthalten in Biological trace element research 9.5.2024: 1-16
|
|
|
|
8 |
Der Biophilia-Effekt - Heilung aus dem Wald
Arvay, Clemens G.. - Landover : Recorded Books, Inc., 2023, Ungekürzte Lesung, ungekürzte Ausgabe
|
|
|
|
9 |
Eröffnung der Handlung. Die Kommissionen übernehmen L. A. Kittler für Leipzig, Carl Reger für Wien, D. E. Friedlein für Krakau und J. Milikowsky für Lemberg. Inhaber: E. F. Arvay
E. F. Arvay (Rzeszów). - Leipzig : Deutsche Nationalbibliothek, 2023
|
|
|
10 |
In Zukunft selbstversorgt
Arvay, Clemens G.. - Köln : Lübbe Life, [2023], Originalausgabe
|
|
Administration
