Results
|
901.
|
|
|
902.
|
|
|
903.
|
|
|
904.
|
|
|
905.
|
|
|
906.
|
|
|
907.
|
|
|
908.
|
|
|
909.
|
|
|
910.
|
|
|
911.
|
|
|
912.
|
|
|
913.
|
|
|
914.
|
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.
|
|
915.
|
|
|
916.
|
|
|
917.
|
|
|
918.
|
|
|
919.
|
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.
|
|
920.
|
|