Ugrás a tartalomhoz
TUdományos DOkumentumok Közös Keresője
OJS/OCS közös kereső
Egyéb források
in English
|
magyarul
Betűméret:
Súgó
Kereső
Címlap
Keresés
Archívumok
Súgó
Bejelentkezés
Belépés
Jelszó
Regisztráció
Kapcsolat
MTA KIK
HUN-REN SZTAKI DSD
Gyűjtemény: BME MIT PhD Minisymposium, 2020, 27th
Archívum:
Műegyetem Digitális Archívum
Tárolt tételek száma:
9
Tételek
Nincs rendezés (gyors)
Legfrissebb legelöl
Név szerint rendezve
Szűkítés:
1
-
9
/
9
Abstraction-based Model Checking of Linear Temporal Properties
Tartalom
|
Metaadatok
Mondok, Milán; Vörös, András
An Analysis on Ethereum Vulnerabilities and Further Steps
Tartalom
|
Metaadatok
Staderini, Mirko; Palli, Caterina
Comparison of LMS-based Adaptive Audio Filters
Tartalom
|
Metaadatok
Horváth, Kristóf; Bank, Balázs
Continuous Time Modelling of Autocatalytic Chemical Reactions Dynamics From Sporadic Inputs
Tartalom
|
Metaadatok
De Brouwer, Edward; Arany, Ádám; Simm, Jaak; Moreau, Yves
Heart Period Is Defined by P-waves in ECG
Tartalom
|
Metaadatok
Nagy, Péter; Jobbágy, Ákos
Incremental View Maintenance in Graph Databases: A Case Study in Neo4j
Tartalom
|
Metaadatok
Elekes, Márton; Szárnyas, Gábor
Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework
Tartalom
|
Metaadatok
Graics, Bence; Majzik, István
Simulating Urban Traffic as a Multilayered Multiagent System
Tartalom
|
Metaadatok
Alekszejenkó, Levente; Dobrowiecki, Tadeusz
Support of System Identification by Knowledge Graph-based Information Fusion
Tartalom
|
Metaadatok
Földvári, András; Pataricza, András
Nincs rendezés (gyors)
Legfrissebb legelöl
Név szerint rendezve
Szűkítés:
1
-
9
/
9