Refine your search

Your search returned 1393 results.

Sort
Results
781.
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.

782.
783.
Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 14156
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.

784.
785.
786.
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.

787.
788.
789.
790.
Provable and Practical Security [electronic resource] : 17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14217
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.

791.
Intelligent Reflecting Surface-Aided Physical-Layer Security [electronic resource] / by Series: Wireless Networks
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.

792.
Konrad Zuse's Early Computers [electronic resource] : The Quest for the Computer in Germany / by Series: History of Computing
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.

793.
794.
795.
Serious Games [electronic resource] : 9th Joint International Conference, JCSG 2023, Dublin, Ireland, October 26–27, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14309
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.

796.
Rules and Reasoning [electronic resource] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14244
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.

797.
798.
Logic-Based Program Synthesis and Transformation [electronic resource] : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14330
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.

799.
Secrecy, Covertness and Authentication in Wireless Communications [electronic resource] : Physical Layer Security Approach / by Series: Wireless Networks
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.

800.
Computational Modelling of Robot Personhood and Relationality [electronic resource] / by Series: SpringerBriefs in Computer Science
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

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