Refine your search

Your search returned 7031 results.

Sort
Results
5381.
5382.
Deductive Software Verification: Future Perspectives [electronic resource] : Reflections on the Occasion of 20 Years of KeY / by Series: Programming and Software Engineering ; 12345
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.

5383.
Probabilistic Graphical Models [electronic resource] : Principles and Applications / by Series: Advances in Computer Vision and Pattern Recognition
Edition: 2nd 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.

5384.
Advances in Cybersecurity Management [electronic resource] / by
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.

5385.
High-Speed Networks [electronic resource] : A Tutorial / by Series: Practical Networking
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.

5386.
5387.
5388.
Blockchain Foundations and Applications [electronic resource] / by Series: SpringerBriefs in Applied Sciences and Technology
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.

5389.
Advances in VLSI, Communication, and Signal Processing [electronic resource] : Select Proceedings of VCAS 2021 / by Series: Lecture Notes in Electrical Engineering ; 911
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.

5390.
5391.
5392.
Principles of Systems Design [electronic resource] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday / by Series: Lecture Notes in Computer Science ; 13660
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

5393.
5394.
5395.
Bioinformatics Research and Applications [electronic resource] : 19th International Symposium, ISBRA 2023, Wrocław, Poland, October 9–12, 2023, Proceedings / by Series: Lecture Notes in Bioinformatics ; 14248
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

5396.
UML-Based Software Product Line Engineering with SMarty [electronic resource] / by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

5397.
Development of Safety-Critical Systems [electronic resource] : Architecture and Software / by
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.

5398.
5399.
5400.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in