Your search returned 12 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Fault-tolerant distributed transactions on blockchain (e-book)

by Gupta, Suyash [Author] | Hellings, Jelle [Author] | Sadoghi, Mohammad [Author].

Series: Synthesis lectures on data managementMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2021Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
NASA formal methods : 8th international symposium, NFM, proceedings, Minneapolis, MN, USA, June 7-9, 2016 (e-book)

by Rayadurgam, Sanjai [Editor] | Tkachuk, Oksana [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9690 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Pages

Powered by Koha