Refine your search

Your search returned 7935 results.

Sort
Results
2501.
2502.
2503.
Applicable Formal Methods for Safe Industrial Products [electronic resource] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / by Series: Lecture Notes in Computer Science ; 14165
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.

2504.
2505.
2506.
2507.
2508.
2509.
2510.
Topics in Cryptology – CT-RSA 2022 [electronic resource] : Cryptographers’ Track at the RSA Conference 2022, Virtual Event, March 1–2, 2022, Proceedings / by Series: Security and Cryptology ; 13161
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.

2511.
2512.
Genetic Programming Theory and Practice XVIII [electronic resource] / by Series: Genetic and Evolutionary Computation
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.

2513.
Services – SERVICES 2021 [electronic resource] : 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings / by Series: Programming and Software Engineering ; 12996
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.

2514.
2515.
A Guide to Graph Algorithms [electronic resource] / by
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.

2516.
2517.
Functional and Logic Programming [electronic resource] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13215
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.

2518.
2519.
2520.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in