Your search returned 438 results.

Sort
Results
141.
Systems, Software and Services Process Improvement [electronic resource] : 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings / by Series: Communications in Computer and Information Science ; 1060
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

142.
Advances in Service-Oriented and Cloud Computing [electronic resource] : Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1115
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

143.
Lectures on Runtime Verification [electronic resource] : Introductory and Advanced Topics / by Series: Programming and Software Engineering ; 10457
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

144.
145.
146.
147.
148.
149.
150.
Image and Video Technology [electronic resource] : 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10749
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

151.
Parallel Programming [electronic resource] : for Multicore and Cluster Systems / by
Edition: 3rd ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

152.
153.
154.
155.
156.
157.
Performance Evaluation and Benchmarking [electronic resource] : 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers / by Series: Programming and Software Engineering ; 12752
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

158.
Embedded Software Timing [electronic resource] : Methodology, Analysis and Practical Tips with a Focus on Automotive / by
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

159.
NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by Series: Programming and Software Engineering ; 10811
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

160.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in