Results
|
921.
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7793
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
922.
|
|
|
923.
|
|
|
924.
|
|
|
925.
|
|
|
926.
|
|
|
927.
|
|
|
928.
|
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.
|
|
929.
|
|
|
930.
|
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.
|
|
931.
|
|
|
932.
|
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.
|
|
933.
|
|
|
934.
|
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.
|
|
935.
|
|
|
936.
|
|
|
937.
|
|
|
938.
|
|
|
939.
|
|
|
940.
|
|