Refine your search

Your search returned 8302 results.

Sort
Results
1241.
1242.
1243.
1244.
Passive and Active Measurement [electronic resource] : 21st International Conference, PAM 2020, Eugene, Oregon, USA, March 30–31, 2020, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 12048
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.

1245.
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 12166
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.

1246.
1247.
Principles and Practice of Constraint Programming [electronic resource] : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings / by Series: Programming and Software Engineering ; 12333
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.

1248.
1249.
1250.
1251.
Programming Languages and Systems [electronic resource] : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13658
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1252.
Network and Parallel Computing [electronic resource] : 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13615
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1253.
Artificial Intelligence Research [electronic resource] : Third Southern African Conference, SACAIR 2022, Stellenbosch, South Africa, December 5–9, 2022, Proceedings / by Series: Communications in Computer and Information Science ; 1734
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1254.
1255.
AI 2022: Advances in Artificial Intelligence [electronic resource] : 35th Australasian Joint Conference, AI 2022, Perth, WA, Australia, December 5–8, 2022, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 13728
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.

1256.
1257.
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / by Series: Programming and Software Engineering ; 9364
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

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