Results
|
|
2461.
|
|
|
|
2462.
|
|
|
|
2463.
|
Euro-Par 2008 Workshops - Parallel Processing [electronic resource] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 5415
Edition: 1st ed. 2009.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2464.
|
|
|
|
2465.
|
Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings / by Series: Programming and Software Engineering ; 7201
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2466.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8318
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2467.
|
|
|
|
2468.
|
|
|
|
2469.
|
Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings / by
- Zhou, Jianying [editor.]
- Conti, Mauro [editor.]
- Ahmed, Chuadhry Mujeeb [editor.]
- Au, Man Ho [editor.]
- Batina, Lejla [editor.]
- Li, Zhou [editor.]
- Lin, Jingqiang [editor.]
- Losiouk, Eleonora [editor.]
- Luo, Bo [editor.]
- Majumdar, Suryadipta [editor.]
- Meng, Weizhi [editor.]
- Ochoa, Martín [editor.]
- Picek, Stjepan [editor.]
- Portokalidis, Georgios [editor.]
- Wang, Cong [editor.]
- Zhang, Kehuan [editor.]
- SpringerLink (Online service)
Series: Security and Cryptology ; 12418
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.
|
|
|
2470.
|
|
|
|
2471.
|
|
|
|
2472.
|
|
|
|
2473.
|
|
|
|
2474.
|
|
|
|
2475.
|
|
|
|
2476.
|
|
|
|
2477.
|
|
|
|
2478.
|
|
|
|
2479.
|
|
|
|
2480.
|
|
