Your search returned 462 results.

Sort
Results
21.
Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13487
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.

22.
Entertainment Computing - ICEC 2008 [electronic resource] : 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5309
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

23.
Computational Data and Social Networks [electronic resource] : 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11280
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

24.
Massively Multi-Agent Systems II [electronic resource] : International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 11422
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.

25.
Learning Technology for Education Challenges [electronic resource] : 9th International Workshop, LTEC 2021, Kaohsiung, Taiwan, July 20-22, 2021, Proceedings / by Series: Communications in Computer and Information Science ; 1428
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.

26.
27.
28.
29.
Software Technologies [electronic resource] : 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1077
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.

30.
Advanced Data Mining and Applications [electronic resource] : 15th International Conference, ADMA 2019, Dalian, China, November 21–23, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11888
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.

31.
32.
33.
34.
35.
Agreement Technologies [electronic resource] : Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8068
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.

36.
37.
Logic-Based Program Synthesis and Transformation [electronic resource] : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 12042
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

38.
39.
40.
Graph-Based Representation and Reasoning [electronic resource] : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12–15, 2022, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 13403
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