Your search returned 2820 results.

Sort
Results
681.
Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13964
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.

682.
683.
Tests and Proofs [electronic resource] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14066
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.

684.
3D Research Challenges in Cultural Heritage III [electronic resource] : Complexity and Quality in Digitisation / by Series: Lecture Notes in Computer Science ; 13125
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.

685.
686.
687.
Document Analysis and Recognition - ICDAR 2023 [electronic resource] : 17th International Conference, San José, CA, USA, August 21–26, 2023, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14187
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.

688.
689.
690.
Financial Cryptography [electronic resource] : 8th International Conference, FC 2004, Key West, FL, USA, February 9-12, 2004. Revised Papers / by Series: Lecture Notes in Computer Science ; 3110
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

691.
Advances in Information and Computer Security [electronic resource] : 18th International Workshop on Security, IWSEC 2023, Yokohama, Japan, August 29–31, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14128
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.

692.
693.
694.
Utility Computing [electronic resource] : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3278
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

695.
Public Key Infrastructure [electronic resource] : First European PKIWorkshop: Research and Applications, EuroPKI 2004, Samos Island, Greece, June 25-26, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3093
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

696.
697.
Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / by Series: Lecture Notes in Computer Science ; 4028
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

698.
Database and XML Technologies [electronic resource] : Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3186
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

699.
Digital Watermarking [electronic resource] : Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2939
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

700.
Software Engineering Research and Applications [electronic resource] : First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers / by Series: Lecture Notes in Computer Science ; 3026
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

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