Refine your search

Your search returned 8301 results.

Sort
Results
3001.
3002.
3003.
3004.
Model Checking, Synthesis, and Learning [electronic resource] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 13030
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.

3005.
3006.
3007.
3008.
3009.
3010.
Hesitant Fuzzy Set [electronic resource] : Theory and Extension / by Series: Computational Intelligence Methods and Applications
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

3011.
Combinatorial Optimization and Applications [electronic resource] : 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13135
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.

3012.
3013.
3014.
Logic-Based Program Synthesis and Transformation [electronic resource] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings / by Series: Lecture Notes in Computer Science ; 13290
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.

3015.
3016.
From Digital Twins to Digital Selves and Beyond [electronic resource] : Engineering and Social Models for a Trans-humanist World / 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.

3017.
3018.
Advances in Blockchain Technology for Cyber Physical Systems [electronic resource] / by Series: Internet of Things, Technology, Communications and Computing
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.

3019.
3020.
Convolutional Neural Networks for Medical Applications [electronic resource] / by Series: SpringerBriefs in Computer Science
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.

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