Your search returned 2820 results.

Sort
Results
1041.
1042.
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14216
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.

1043.
Information and Communications Security [electronic resource] : 25th International Conference, ICICS 2023, Tianjin, China, November 18–20, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14252
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

1044.
1045.
Security Protocols XXVIII [electronic resource] : 28th International Workshop, Cambridge, UK, March 27–28, 2023, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 14186
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.

1046.
Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13710
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.

1047.
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14215
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.

1048.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13453
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.

1049.
Mobile Web and Intelligent Information Systems [electronic resource] : 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14–16, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13977
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.

1050.
Fundamentals of Computation Theory [electronic resource] : 24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14292
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.

1051.
Complex Computational Ecosystems [electronic resource] : First International Conference, CCE 2023, Baku, Azerbaijan, April 25–27, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13927
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.

1052.
Similarity Search and Applications [electronic resource] : 16th International Conference, SISAP 2023, A Coruña, Spain, October 9–11, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14289
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.

1053.
1054.
1055.
Security and Trust Management [electronic resource] : 19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14336
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.

1056.
1057.
Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14323
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.

1058.
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2–6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14385
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.

1059.
Secure IT Systems [electronic resource] : 28th Nordic Conference, NordSec 2023, Oslo, Norway, November 16–17, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14324
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.

1060.
Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14308
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

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