Refine your search

Your search returned 7031 results.

Sort
Results
2801.
2802.
2803.
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.

2804.
Smart Computing and Communication [electronic resource] : 6th International Conference, SmartCom 2021, New York City, NY, USA, December 29–31, 2021, Proceedings / by Series: Lecture Notes in Computer Science ; 13202
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.

2805.
Selected Areas in Cryptography [electronic resource] : 28th International Conference, Virtual Event, September 29 – October 1, 2021, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13203
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.

2806.
2807.
2808.
2809.
2810.
Multilayer Networks: Analysis and Visualization [electronic resource] : Introduction to muxViz with R / 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.

2811.
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.

2812.
2813.
Multigate Transistors for High Frequency Applications [electronic resource] / by Series: Springer Tracts in Electrical and Electronics Engineering
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.

2814.
2815.
2816.
2817.
2818.
2819.
2820.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14138
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.

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