Your search returned 6990 results.

Sort
Results
6441.
Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures / by Series: Lecture Notes in Computer Science ; 13490
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.

6442.
6443.
The AI-Enabled Enterprise [electronic resource] / by Series: The Enterprise Engineering Series
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.

6444.
Scheduling and Reconfiguration of Real-Time Systems [electronic resource] : A Supervisory Control Approach / 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.

6445.
Provable Security [electronic resource] : 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings / by Series: Security and Cryptology ; 8782
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.

6446.
6447.
6448.
6449.
Information Security Practice and Experience [electronic resource] : 11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015, Proceedings / by Series: Security and Cryptology ; 9065
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

6450.
6451.
Games and Learning Alliance [electronic resource] : 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10056
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

6452.
Codes, Cryptology and Information Security [electronic resource] : Second International Conference, C2SI 2017, Rabat, Morocco, April 10–12, 2017, Proceedings - In Honor of Claude Carlet / by Series: Security and Cryptology ; 10194
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.

6453.
Provable Security [electronic resource] : 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings / by Series: Security and Cryptology ; 9451
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

6454.
Modelling and Simulation for Autonomous Systems [electronic resource] : First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8906
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.

6455.
6456.
Privacy in Statistical Databases [electronic resource] : UNESCO Chair in Data Privacy, International Conference, PSD 2014, Ibiza, Spain, September 17-19, 2014. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8744
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.

6457.
Computer Security -- ESORICS 2015 [electronic resource] : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II / by Series: Security and Cryptology ; 9327
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

6458.
6459.
Web-Age Information Management [electronic resource] : WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9998
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

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