Refine your search

Your search returned 4164 results.

Sort
Results
3541.
3542.
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.

3543.
3544.
3545.
Solving Large Scale Learning Tasks. Challenges and Algorithms [electronic resource] : Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday / by Series: Lecture Notes in Artificial Intelligence ; 9580
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

3546.
3547.
3548.
3549.
Worldwide Language Service Infrastructure [electronic resource] : Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 9442
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

3550.
Diagrammatic Representation and Inference [electronic resource] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7352
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

3551.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8318
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

3552.
3553.
3554.
3555.
3556.
3557.
3558.
3559.
3560.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in