Results
|
481.
|
|
|
482.
|
|
|
483.
|
|
|
484.
|
|
|
485.
|
|
|
486.
|
|
|
487.
|
|
|
488.
|
|
|
489.
|
|
|
490.
|
Software Verification [electronic resource] : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers / by Series: Programming and Software Engineering ; 12549
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
491.
|
|
|
492.
|
|
|
493.
|
|
|
494.
|
|
|
495.
|
|
|
496.
|
|
|
497.
|
|
|
498.
|
|
|
499.
|
Computer Security [electronic resource] : ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14–18, 2020, Revised Selected Papers / by
- Katsikas, Sokratis [editor.]
- Cuppens, Frédéric [editor.]
- Cuppens, Nora [editor.]
- Lambrinoudakis, Costas [editor.]
- Kalloniatis, Christos [editor.]
- Mylopoulos, John [editor.]
- Antón, Annie [editor.]
- Gritzalis, Stefanos [editor.]
- Meng, Weizhi [editor.]
- Furnell, Steven [editor.]
- SpringerLink (Online service)
Series: Security and Cryptology ; 12501
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
500.
|
|