Refine your search

Your search returned 1393 results.

Sort
Results
301.
302.
303.
304.
305.
306.
An Invitation to Analytic Combinatorics [electronic resource] : From One to Several Variables / by Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

307.
308.
309.
310.
311.
312.
313.
Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13962
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

314.
Computer Vision – ACCV 2022 Workshops [electronic resource] : 16th Asian Conference on Computer Vision, Macao, China, December 4–8, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13848
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

315.
316.
Automated Deduction – CADE 29 [electronic resource] : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 14132
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

317.
Advances in Bioinformatics and Computational Biology [electronic resource] : 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13–16, 2023, Proceedings / by Series: Lecture Notes in Bioinformatics ; 13954
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

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