Refine your search

Your search returned 797 results.

Sort
Results
21.
Distributed Computing -- IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3326
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

22.
Transactions on Computational Collective Intelligence XXXIII [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 11610
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

23.
Post-Quantum Cryptography [electronic resource] : 10th International Conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019 Revised Selected Papers / by Series: Security and Cryptology ; 11505
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.

24.
AI 2019: Advances in Artificial Intelligence [electronic resource] : 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11919
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.

25.
The Theory of Queuing Systems with Correlated Flows [electronic resource] / by
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

26.
27.
Transactions on Petri Nets and Other Models of Concurrency XV [electronic resource] / by Series: Transactions on Petri Nets and Other Models of Concurrency ; 12530
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

28.
Transactions on Computational Science XXXVIII [electronic resource] / by Series: Transactions on Computational Science ; 12620
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

29.
Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13487
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.

30.
Provable Security [electronic resource] : 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings / by Series: Security and Cryptology ; 11192
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.

31.
Numerical Methods and Applications [electronic resource] : 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11189
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.

32.
33.
34.
35.
A Journey from Process Algebra via Timed Automata to Model Learning [electronic resource] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / by Series: Lecture Notes in Computer Science ; 13560
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.

36.
Applied Cryptography and Network Security [electronic resource] : 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings / by Series: Security and Cryptology ; 11464
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.

37.
38.
Advances in Cryptology – ASIACRYPT 2019 [electronic resource] : 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I / by Series: Security and Cryptology ; 11921
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.

39.
Quantitative Evaluation of Systems [electronic resource] : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13479
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.

40.
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / by Series: Programming and Software Engineering ; 11951
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