Results
|
|
981.
|
|
|
|
982.
|
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.
|
|
|
983.
|
|
|
|
984.
|
|
|
|
985.
|
|
|
|
986.
|
|
|
|
987.
|
Service-Oriented Computing – ICSOC 2016 Workshops [electronic resource] : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers / by
- Drira, Khalil [editor.]
- Wang, Hongbing [editor.]
- Yu, Qi [editor.]
- Wang, Yan [editor.]
- Yan, Yuhong [editor.]
- Charoy, François [editor.]
- Mendling, Jan [editor.]
- Mohamed, Mohamed [editor.]
- Wang, Zhongjie [editor.]
- Bhiri, Sami [editor.]
- SpringerLink (Online service)
Series: Programming and Software Engineering ; 10380
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.
|
|
|
988.
|
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.
|
|
|
989.
|
|
|
|
990.
|
|
|
|
991.
|
|
|
|
992.
|
|
|
|
993.
|
|
|
|
994.
|
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops [electronic resource] : ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4331
Edition: 1st ed. 2006.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006
In:
Springer Nature eBook
Availability: No items available.
|
|
|
995.
|
|
|
|
996.
|
|
|
|
997.
|
|
|
|
998.
|
|
|
|
999.
|
|
|
|
1000.
|
|
