Results
|
|
1281.
|
|
|
|
1282.
|
|
|
|
1283.
|
|
|
|
1284.
|
|
|
|
1285.
|
|
|
|
1286.
|
Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures / by Series: Lecture Notes in Computer Science ; 3185
Edition: 1st ed. 2004.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1287.
|
|
|
|
1288.
|
|
|
|
1289.
|
|
|
|
1290.
|
|
|
|
1291.
|
|
|
|
1292.
|
|
|
|
1293.
|
Financial Cryptography and Data Security [electronic resource] : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers / by
- Brenner, Michael [editor.]
- Rohloff, Kurt [editor.]
- Bonneau, Joseph [editor.]
- Miller, Andrew [editor.]
- Ryan, Peter Y.A [editor.]
- Teague, Vanessa [editor.]
- Bracciali, Andrea [editor.]
- Sala, Massimiliano [editor.]
- Pintore, Federico [editor.]
- Jakobsson, Markus [editor.]
- SpringerLink (Online service)
Series: Security and Cryptology ; 10323
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1294.
|
|
|
|
1295.
|
|
|
|
1296.
|
|
|
|
1297.
|
|
|
|
1298.
|
|
|
|
1299.
|
|
|
|
1300.
|
|
