Your search returned 8235 results.

Sort
Results
6881.
6882.
Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / by Series: Programming and Software Engineering ; 4839
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.

6883.
6884.
6885.
6886.
6887.
6888.
Knowledge and Systems Sciences [electronic resource] : 21st International Symposium, KSS 2022, Beijing, China, June 11–12, 2022, Proceedings / by Series: Communications in Computer and Information Science ; 1592
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

6889.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 14294
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.

6890.
6891.
Science of Cyber Security [electronic resource] : 5th International Conference, SciSec 2023, Melbourne, VIC, Australia, July 11–14, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14299
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.

6892.
6893.
6894.
6895.
6896.
Knowledge and Systems Sciences [electronic resource] : 22nd International Symposium, KSS 2023, Guangzhou, China, December 2–3, 2023, Proceedings / by Series: Communications in Computer and Information Science ; 1927
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

6897.
Ontology-Based Evolution of Domain-Oriented Languages [electronic resource] : Models, Methods and Tools for User Interface Design in General-Purpose Software Systems / by
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.

6898.
6899.
Blockchain and Trustworthy Systems [electronic resource] : 5th International Conference, BlockSys 2023, Haikou, China, August 8–10, 2023, Proceedings, Part I / by Series: Communications in Computer and Information Science ; 1896
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

6900.
Blockchain and Trustworthy Systems [electronic resource] : 5th International Conference, BlockSys 2023, Haikou, China, August 8–10, 2023, Proceedings, Part II / by Series: Communications in Computer and Information Science ; 1897
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

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