Your search returned 1808 results.

Sort
Results
61.
62.
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 12759
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.

63.
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 12760
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.

64.
Computational and Corpus-Based Phraseology [electronic resource] : 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 13528
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.

65.
Trends in Functional Programming [electronic resource] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 9547
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

66.
Computational Methods in Systems Biology [electronic resource] : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / by Series: Lecture Notes in Bioinformatics ; 11095
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.

67.
From Software Engineering to Formal Methods and Tools, and Back [electronic resource] : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / by Series: Theoretical Computer Science and General Issues ; 11865
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.

68.
Mathematics of Program Construction [electronic resource] : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13544
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.

69.
70.
71.
72.
Testing Software and Systems [electronic resource] : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / by Series: Programming and Software Engineering ; 11146
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.

73.
Formal Methods and Software Engineering [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / by Series: Programming and Software Engineering ; 11232
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.

74.
Frontiers of Combining Systems [electronic resource] : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11715
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.

75.
Automated Deduction – CADE 27 [electronic resource] : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11716
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.

76.
Programming Languages and Systems [electronic resource] : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings / by Series: Programming and Software Engineering ; 11893
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.

77.
Automated Deduction – CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12699
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.

78.
79.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11990
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.

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