Your search returned 2820 results.

Sort
Results
1141.
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14464
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.

1142.
1143.
1144.
1145.
1146.
1147.
1148.
1149.
Formal Methods: Foundations and Applications [electronic resource] : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13768
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.

1150.
Machine Learning for Cyber Security [electronic resource] : 4th International Conference, ML4CS 2022, Guangzhou, China, December 2–4, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13656
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.

1151.
1152.
1153.
1154.
Reasoning Web. Causality, Explanations and Declarative Knowledge [electronic resource] : 18th International Summer School 2022, Berlin, Germany, September 27–30, 2022, Tutorial Lectures / by Series: Lecture Notes in Computer Science ; 13759
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.

1155.
1156.
1157.
Document Analysis and Recognition - ICDAR 2023 [electronic resource] : 17th International Conference, San José, CA, USA, August 21–26, 2023, Proceedings, Part IV / by Series: Lecture Notes in Computer Science ; 14190
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.

1158.
1159.
Scientific Engineering of Distributed Java Applications. [electronic resource] : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2952
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

1160.
Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Series: Lecture Notes in Computer Science ; 2925
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

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