HOME
|
IMPRESSUM
|
DATENSCHUTZ
|
KIT
KIT-Bibliothek
Neue Suche
Technische Informationsbibliothek (TIB)
Treffer insgesamt: 5
/
Benötigte Zeit: 0.326 Sekunden
THETA: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Ádám, Zsófia
–
2022
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Ádám, Zsófia
–
2021
Abstract: SMT-Friendly Formalization of the Solidity Memory Model
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Hajdu, Ákos
–
2020
SOLC-VERIFY: A Modular Verifier for Solidity Smart Contracts
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Hajdu, Ákos
–
2020
SMT-Friendly Formalization of the Solidity Memory Model
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Hajdu, Akos
–
2020
Deutsche Nationalbibliothek
Treffer insgesamt: 8
/
Benötigte Zeit: 0.349 Sekunden
Formation of Three‐Dimensional Polysuccinimide Electrospun Fiber Meshes Induced by the Combination of CaCl 2 and Humidity
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Juhász, Ákos György [Verfasser]
Formation of Three‐Dimensional Polysuccinimide Electrospun Fiber Meshes Induced by the Combination of CaCl 2 and Humidity
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Juhász, Ákos György [Verfasser]
Characterization of Electrospun Polysuccinimide‐Dopamine Conjugates and Effect on Cell Viability and Uptake
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Tóth, Krisztina [Verfasser]
Beyond the horizon / works by G. Hajdu, T. Harrop, A. Hoffmann, N.-L. Müller, S. L. Lemke, B. Helmer, M. Stahnke and F. Schwenk ; Nora-Louise Müller, Ákos Hoffmann, clarinet/Bohlen-Pierce clarinet
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Müller, Nora-Louise [Instrumentalmusiker]
Beyond the horizon / works by G. Hajdu, T. Harrop, A. Hoffmann, N.-L. Müller, S. L. Lemke, B. Helmer, M. Stahnke and F. Schwenk ; Nora-Louise Müller, Ákos Hoffmann, clarinet/Bohlen-Pierce clarinet
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Müller, Nora-Louise [Instrumentalmusiker]
Efficient Strategies for CEGAR-Based Model Checking / by Ákos Hajdu, Zoltán Micskei
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Hajdu, Ákos [Verfasser]
Design, Selection, and Evaluation of a General Kinase‐Focused Library
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Decornez, Hélène [Verfasser]
Detailed Evaluation of Possible Ganglion Cell Loss in the Retina of Zucker Diabetic Fatty (ZDF) Rats / by Rozina I. Hajdú, Lenke K. Laurik, Klaudia Szabó, Bulcsú Dékány, Zsuzsanna Almási, Anna Énzsöly, Arnold Szabó, Tamás Radovits, Csaba Mátyás, …
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Hajdú, Rozina I. [Verfasser]
BVB - BibliotheksVerbund Bayern Solr-Zugang
Treffer insgesamt: 1
/
Benötigte Zeit: 0.484 Sekunden
Pest-Buda egyesítésének 125. évfordulója 1873 - 1998 ; Magyar Történészhallgatók Egyesülete / 1998
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Schweizerische Nationalbibliothek Bern Helveticat
Treffer insgesamt: 1
/
Benötigte Zeit: 0.364 Sekunden
1:1 wood works ein experimenteller Massivbau
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Deplazes, Andrea 1960- (DE-588)122487613 gnd
–
cop. 2003
Verbundkatalog GBV
Treffer insgesamt: 2
/
Benötigte Zeit: 0.727 Sekunden
Pest-Buda egyesítésének 125. évfordulója 1873 - 1998 / Hajdú, Ákos - Budapest : Magyar Történészhallgatók Egyesülete, 1998
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Egyház és művelődés : Pannonhalma 996 - 1996 ; tudományos konferencia Pannonhalma és a magyar oktatás milleniuma emlékére ; Pannonhalmi Főapátság, 1996. október 27 - 29. / Hajdú, Ákos - Budapest : Magyar Történészhallgatók Egyesülete, 1997
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Status
Angezeigte Treffer: 17
/
Benötigte Gesamtzeit: 0.775 Sekunden
Ihre Suchanfrage war:
Person
: Hajdú, Ákos
19 Kataloge wurden ausgewählt.
14 davon konnte(n) nicht (oder nicht vollständig) berücksichtigt werden bzw. lieferten keine Treffer:
NEBIS
Für die Benutzung dieses Katalogs müssen Cookies und JavaScript in Ihrem Browser aktiviert sein.
Westschweizer Bibliotheksverbund
Problem während der Verbindung.
HBZ, NRW-Verbundkatalog via GVI
Keine Datensätze gefunden.
Suchmaschine des Österreichischen Bibliothekenverbundes
Keine Datensätze gefunden.
Die Österreichischen Landesbibliotheken
Keine Datensätze gefunden.
Österreichische Nationalbibliothek
Keine Datensätze gefunden.
swissbib
Die Auswertung der Katalog-Antwort erbrachte kein Ergebnis.
Staatsbibliothek zu Berlin
Keine Datensätze gefunden.
IDS Basel/Bern
Die Auswertung der Katalog-Antwort erbrachte kein Ergebnis.
hebis-Retro / Digitalisierte Zettelkataloge
Keine Datensätze gefunden.
Verbundkatalog Öffentlicher Bibliotheken
Keine Datensätze gefunden.
SWB, Südwestdeutscher Bibliotheksverbund
Keine Datensätze gefunden.
KOBV Berlin-Brandenburg
Keine Datensätze gefunden.
Verbundkatalog hebis, Hessen
Keine Datensätze gefunden.
Ein Katalog wird unter anderem dann nicht berücksichtigt, wenn er nicht innerhalb des Timeouts antwortet (30 Sekunden).
im ganzen WWW
in Seiten auf Deutsch
in Seiten aus Deutschland