Refine your search

Your search returned 4435 results.

Sort
Results
1401.
Transactions on Petri Nets and Other Models of Concurrency XVI [electronic resource] / by Series: Transactions on Petri Nets and Other Models of Concurrency ; 13220
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1402.
Theoretical Aspects of Software Engineering [electronic resource] : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13931
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

1403.
1404.
1405.
1406.
1407.
1408.
1409.
1410.
1411.
1412.
1413.
Large-Scale Agile Frameworks [electronic resource] : Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation / by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

1414.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8123
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

1415.
Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10644
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

1416.
1417.
Music Representation and Transformation in Software [electronic resource] : Structure and Algorithms in Python / 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.

1418.
Testing Software and Systems [electronic resource] : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings / by Series: Lecture Notes in Computer Science ; 13045
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.

1419.
1420.
Cross-Cultural Design [electronic resource] : 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14022
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

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