Refine your search

Your search returned 4435 results.

Sort
Results
3361.
3362.
3363.
Accelerating Digital Transformation [electronic resource] : 10 Years of Software Center / by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

3364.
3365.
3366.
3367.
3368.
Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 11950
Edition: 1st 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.

3369.
3370.
3371.
3372.
Applied Informatics [electronic resource] : 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26–28, 2023, Proceedings / by Series: Communications in Computer and Information Science ; 1874
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

3373.
3374.
3375.
3376.
Software, Services, and Systems [electronic resource] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / by Series: Programming and Software Engineering ; 8950
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

3377.
Engineering Secure Future Internet Services and Systems [electronic resource] : Current Research / by Series: Security and Cryptology ; 8431
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

3378.
Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / by Series: Theoretical Computer Science and General Issues ; 4700
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

3379.
Models@run.time [electronic resource] : Foundations, Applications, and Roadmaps / by Series: Programming and Software Engineering ; 8378
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

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