Refine your search

Your search returned 8322 results.

Sort
Results
1021.
1022.
1023.
1024.
Formal Methods – Fun for Everybody [electronic resource] : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1301
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.

1025.
1026.
LATIN 2022: Theoretical Informatics [electronic resource] : 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13568
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.

1027.
Modern Cryptography [electronic resource] : Applied Mathematics for Encryption and Information Security / by
Edition: 2nd 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.

1028.
Principles and Practice of Constraint Programming [electronic resource] : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings / by Series: Programming and Software Engineering ; 8656
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

1029.
Algorithms and Data Structures [electronic resource] : 15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10389
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

1030.
1031.
1032.
PRICAI 2018: Trends in Artificial Intelligence [electronic resource] : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 11013
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

1033.
Symposium on Real-Time and Hybrid Systems [electronic resource] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / by Series: Theoretical Computer Science and General Issues ; 11180
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

1034.
1035.
From Database to Cyber Security [electronic resource] : Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday / by Series: Security and Cryptology ; 11170
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

1036.
1037.
Smart Card Research and Advanced Applications [electronic resource] : 17th International Conference, CARDIS 2018, Montpellier, France, November 12–14, 2018, Revised Selected Papers / by Series: Security and Cryptology ; 11389
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

1038.
Variable Neighborhood Search [electronic resource] : 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11328
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

1039.
1040.
Engineering Trustworthy Software Systems [electronic resource] : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / by Series: Programming and Software Engineering ; 11430
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

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