Refine your search

Your search returned 4164 results.

Sort
Results
1201.
1202.
Logic-Based Program Synthesis and Transformation [electronic resource] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12561
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.

1203.
Modelling and Development of Intelligent Systems [electronic resource] : 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1341
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.

1204.
1205.
1206.
1207.
Trends and Applications in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2021 Workshops, WSPA, MLMEIN, SDPRA, DARAI, and AI4EPT, Delhi, India, May 11, 2021 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12705
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.

1208.
1209.
String Processing and Information Retrieval [electronic resource] : 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12944
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.

1210.
1211.
Computer Security – ESORICS 2021 [electronic resource] : 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021, Proceedings, Part I / by Series: Security and Cryptology ; 12972
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.

1212.
1213.
1214.
1215.
1216.
1217.
1218.
1219.
1220.
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 7609
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.

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