Refine your search

Your search returned 8415 results.

Sort
Results
861.
862.
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 11561
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.

863.
Formal Methods for Industrial Critical Systems [electronic resource] : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / by Series: Programming and Software Engineering ; 11687
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.

864.
Software Engineering and Formal Methods [electronic resource] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11724
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.

865.
Knowledge Management and Acquisition for Intelligent Systems [electronic resource] : 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11669
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.

866.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 11789
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.

867.
Reachability Problems [electronic resource] : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11674
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.

868.
Software Engineering for Resilient Systems [electronic resource] : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / by Series: Programming and Software Engineering ; 11732
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.

869.
Emotional Design in Human-Robot Interaction [electronic resource] : Theory, Methods and Applications / by Series: Human–Computer Interaction Series
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.

870.
871.
872.
873.
874.
HCI International 2021 - Posters [electronic resource] : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by Series: Communications in Computer and Information Science ; 1420
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.

875.
Advances in Swarm Intelligence [electronic resource] : 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 12690
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.

876.
877.
878.
879.
880.
Continual Semi-Supervised Learning [electronic resource] : First International Workshop, CSSL 2021, Virtual Event, August 19–20, 2021, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 13418
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