Refine your search

Your search returned 8322 results.

Sort
Results
1241.
Computational Methods in Systems Biology [electronic resource] : 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / by Series: Lecture Notes in Bioinformatics ; 11773
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.

1242.
1243.
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.

1244.
1245.
Critical Information Infrastructures Security [electronic resource] : 15th International Conference, CRITIS 2020, Bristol, UK, September 2–3, 2020, Proceedings / by Series: Security and Cryptology ; 12332
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.
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.

1247.
1248.
1249.
Metadata and Semantic Research [electronic resource] : 14th International Conference, MTSR 2020, Madrid, Spain, December 2–4, 2020, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1355
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.

1250.
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.

1251.
Frontiers in Handwriting Recognition [electronic resource] : 18th International Conference, ICFHR 2022, Hyderabad, India, December 4–7, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13639
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.

1252.
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.

1253.
Static Analysis [electronic resource] : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13790
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.
Computing and Combinatorics [electronic resource] : 28th International Conference, COCOON 2022, Shenzhen, China, October 22–24, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13595
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.

1255.
Accountability and Security in the Cloud [electronic resource] : First Summer School, Cloud Accountability Project, A4Cloud, Malaga, Spain, June 2-6, 2014, Revised Selected Papers and Lectures / by Series: Security and Cryptology ; 8937
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.

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.
Quantitative Evaluation of Systems [electronic resource] : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8657
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

1259.
Theoretical Aspects of Computing - ICTAC 2015 [electronic resource] : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9399
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.

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