Refine your search

Your search returned 1411 results.

Sort
Results
61.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13465
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.

62.
63.
Theory of Quantum Computation, Communication and Cryptography [electronic resource] : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6519
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

64.
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / by Series: Security and Cryptology ; 7781
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

65.
Secure Data Management [electronic resource] : 7th VLDB Workshop, SDM 2010, Singapore, September 17, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6358
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

66.
Transactions on Rough Sets XXI [electronic resource] / by Series: Transactions on Rough Sets ; 10810
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.

67.
An Introduction to Kolmogorov Complexity and Its Applications [electronic resource] / by Series: Texts in Computer Science
Edition: 4th 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.

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

69.
70.
71.
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.

72.
Biomedical and Computational Biology [electronic resource] : Second International Symposium, BECB 2022, Virtual Event, August 13–15, 2022, Revised Selected Papers / by Series: Lecture Notes in Bioinformatics ; 13637
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.

73.
Engineering Secure Software and Systems [electronic resource] : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings / by Series: Security and Cryptology ; 8364
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.

74.
75.
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.

76.
Advances in Cryptology – CRYPTO 2019 [electronic resource] : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II / by Series: Security and Cryptology ; 11693
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.

77.
Theory of Cryptography [electronic resource] : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part II / by Series: Security and Cryptology ; 11892
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.

78.
Learning and Intelligent Optimization [electronic resource] : 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11968
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.

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