Refine your search

Your search returned 4479 results.

Sort
Results
1281.
1282.
1283.
1284.
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.

1285.
1286.
1287.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11522
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.

1288.
1289.
1290.
Intelligent Information Systems [electronic resource] : CAiSE Forum 2021, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings / by Series: Lecture Notes in Business Information Processing ; 424
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.

1291.
1292.
Search-Based Software Engineering [electronic resource] : 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings / by Series: Programming and Software Engineering ; 12914
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.

1293.
Runtime Verification [electronic resource] : 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings / by Series: Programming and Software Engineering ; 12974
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.

1294.
1295.
1296.
1297.
DevOps for Airborne Software [electronic resource] : Exploring Modern Approaches / by Series: SpringerBriefs in Computer Science
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.

1298.
1299.
Design and Architecture for Signal and Image Processing [electronic resource] : 15th International Workshop, DASIP 2022, Budapest, Hungary, June 20–22, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13425
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.

1300.
Euro-Par 2022: Parallel Processing [electronic resource] : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13440
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.

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