Results
|
|
1181.
|
|
|
|
1182.
|
|
|
|
1183.
|
|
|
|
1184.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9583
Edition: 1st ed. 2016.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1185.
|
|
|
|
1186.
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 8802
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.
|
|
|
1187.
|
|
|
|
1188.
|
|
|
|
1189.
|
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.
|
|
|
1190.
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 10537
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.
|
|
|
1191.
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10817
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1192.
|
|
|
|
1193.
|
Euro-Par 2020: Parallel Processing Workshops [electronic resource] : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by
- Balis, Bartosz [editor.]
- B. Heras, Dora [editor.]
- Antonelli, Laura [editor.]
- Bracciali, Andrea [editor.]
- Gruber, Thomas [editor.]
- Hyun-Wook, Jin [editor.]
- Kuhn, Michael [editor.]
- Scott, Stephen L [editor.]
- Unat, Didem [editor.]
- Wyrzykowski, Roman [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 12480
Edition: 1st ed. 2021.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1194.
|
|
|
|
1195.
|
|
|
|
1196.
|
|
|
|
1197.
|
|
|
|
1198.
|
|
|
|
1199.
|
|
|
|
1200.
|
|
