Your search returned 23 results.

Sort
Results
1.
Computing and Software Science [electronic resource] : State of the Art and Perspectives / by Series: Theoretical Computer Science and General Issues ; 10000
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.

2.
3.
4.
Treewidth, Kernels, and Algorithms [electronic resource] : Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 12160
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.

5.
Software Engineering and Formal Methods [electronic resource] : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12310
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.

6.
7.
8.
9.
Trends in Functional Programming [electronic resource] : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 12222
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.

10.
11.
12.
13.
14.
Reachability Problems [electronic resource] : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13035
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.

15.
16.
Software Engineering and Formal Methods [electronic resource] : 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13085
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.

17.
18.
19.
Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10895
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.

20.
Neural Networks: Tricks of the Trade [electronic resource] / by Series: Theoretical Computer Science and General Issues ; 7700
Edition: 2nd 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