Treffer
1 - 4
von
4
für Suche '
Merkin Leonid Albertovich
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Merkin Leonid Albertovich
Treffer
1 - 4
von
4
für Suche '
Merkin Leonid Albertovich
'
, Suchdauer: 0,30s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels
von
Kukharenko, Vladimir Aleksandrovich
,
Ziborov, Kirill Viktorovich
,
Sadykov, Rafael Faritovich
,
Naumchev, Alexandr Vladimirovich
,
Rezin, Ruslan Maratovich
,
Merkin-Janson, Leonid Albertovich
Veröffentlicht in
Modelirovanie i analiz informacionnyh sistem
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Architecture of the Formally-Verified Distributed Ledger System InnoChain
von
Merkin-Janson, Leonid Al'bertovich
,
Rezin, Ruslan Maratovich
,
Vasilyev, Nikolay Konstantinovich
Veröffentlicht in
Modelirovanie i analiz informacionnyh sistem
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
DISTRIBUTED LEDGER SYSTEM
von
Rezin Ruslan Maratovich
,
Vasilev Nikolai Konstantinovich
,
Merkin Leonid Albertovich
Volltext bestellen
Patent
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
TUNNEL WITH SUB-ZERO AIR TEMPERATURE IN WINTER IN ITS INTERIOR PART
von
Dobrovskij Leonid Yulevich
,
Struk Andrej Leonidovich
,
Merkin Valerij Evseevich
,
Konnykh Andrej Albertovich
,
Tanana Oleg Grigorevich
,
Medvedeva Oksana Nikolaevna
,
Kezin Artem Sergeevich
,
Monastyrev Vladimir Veniaminovich
,
Kotylevskij Vladimir Senderovich
Volltext bestellen
Patent
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
2 Treffer
2
Online Resources
4 Treffer
4
Format
Articles
2 Treffer
2
Patents
2 Treffer
2
Zeitschriftentitel
Modelirovanie I Analiz Informacionnyh Sistem
2 Treffer
2
Schlagworte
Blockchain
1 Treffer
1
Byzantine Fault Tolerance
1 Treffer
1
Cakeml
1 Treffer
1
Calculating
1 Treffer
1
Computing
1 Treffer
1
Counting
1 Treffer
1
Distributed Consensus
1 Treffer
1
Distributed Ledger Systems
1 Treffer
1
Electric Digital Data Processing
1 Treffer
1
Embankments
1 Treffer
1
Excavations
1 Treffer
1
Fixed Constructions
1 Treffer
1
Formal Verification
1 Treffer
1
Foundations
1 Treffer
1
Hol4
1 Treffer
1
Hydraulic Engineering
1 Treffer
1
Model Checking
1 Treffer
1
Physics
1 Treffer
1
Sel4
1 Treffer
1
Soil Shifting
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Esp@Cenet
2 Treffer
2
Doaj Directory Of Open Access Journals
2 Treffer
2
Ingentaconnect Journals
2 Treffer
2
Ingentaconnect
2 Treffer
2