Results
|
81.
|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / by Series: Programming and Software Engineering ; 9421
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
82.
|
|
|
83.
|
|
|
84.
|
|
|
85.
|
|
|
86.
|
|
|
87.
|
|
|
88.
|
Cloud Security Auditing [electronic resource] / by
- Majumdar, Suryadipta [author.]
- Madi, Taous [author.]
- Wang, Yushun [author.]
- Tabiban, Azadeh [author.]
- Oqaily, Momen [author.]
- Alimohammadifar, Amir [author.]
- Jarraya, Yosr [author.]
- Pourzandi, Makan [author.]
- Wang, Lingyu [author.]
- Debbabi, Mourad [author.]
- SpringerLink (Online service)
Series: Advances in Information Security ; 76
Edition: 1st ed. 2019.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: No items available.
|
|
89.
|
|
|
90.
|
|
|
91.
|
|
|
92.
|
|
|
93.
|
|
|
94.
|
|
|
95.
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 3913
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.
|
|
96.
|
|
|
97.
|
|
|
98.
|
|
|
99.
|
|
|
100.
|
|