Your search returned 16792 results.

Sort
Results
5661.
Formal Methods: Foundations and Applications [electronic resource] : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings / by Series: Programming and Software Engineering ; 13130
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.

5662.
Anti-Differentiation and the Calculation of Feynman Amplitudes [electronic resource] / 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 International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

5663.
Information Security [electronic resource] : 24th International Conference, ISC 2021, Virtual Event, November 10–12, 2021, Proceedings / by Series: Security and Cryptology ; 13118
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.

5664.
Intelligent Systems [electronic resource] : 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 13074
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.

5665.
Intelligent Systems [electronic resource] : 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 13073
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.

5666.
5667.
5668.
Large-Scale Scientific Computing [electronic resource] : 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13127
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.

5669.
5670.
High Performance Computing and Networking [electronic resource] : Select Proceedings of CHSN 2021 / by Series: Lecture Notes in Electrical Engineering ; 853
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

5671.
5672.
5673.
5674.
Large-Scale Simultaneous Localization and Mapping [electronic resource] / by Series: Cognitive Intelligence and Robotics
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

5675.
Database Systems for Advanced Applications. DASFAA 2022 International Workshops [electronic resource] : BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13248
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.

5676.
Computability [electronic resource] / by
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.

5677.
5678.
Quality Assessment of Visual Content [electronic resource] / by Series: Advances in Computer Vision and Pattern Recognition
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

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