Results
|
14861.
|
|
|
14862.
|
|
|
14863.
|
|
|
14864.
|
Agile Processes in Software Engineering and Extreme Programming – Workshops [electronic resource] : XP 2022 Workshops, Copenhagen, Denmark, June 13–17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13–16, 2023, Revised Selected Papers / by Series: Lecture Notes in Business Information Processing ; 489
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
14865.
|
|
|
14866.
|
|
|
14867.
|
|
|
14868.
|
|
|
14869.
|
|
|
14870.
|
|
|
14871.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14500
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
14872.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14499
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
14873.
|
Algorithms and Architectures for Parallel Processing, Part I [electronic resource] : 11th International Conference, ICA3PP 2011, Melbourne, Australia,October 24-26, 2011, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 7016
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
14874.
|
|
|
14875.
|
|
|
14876.
|
|
|
14877.
|
|
|
14878.
|
Euro-Par 2012: Parallel Processing Workshops [electronic resource] : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Island, Greece, August 27-31, 2012. Revised Selected Papers / by
- Caragiannis, Ioannis [editor.]
- Alexander, Michael [editor.]
- Badia, Rosa Maria [editor.]
- Cannataro, Mario [editor.]
- Costan, Alexandru [editor.]
- Danelutto, Marco [editor.]
- Desprez, Frédéric [editor.]
- Krammer, Bettina [editor.]
- Sahuquillo, Julio [editor.]
- Scott, Stephen L [editor.]
- Weidendorfer, Josef [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 7640
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.
|
|
14879.
|
|
|
14880.
|
|