Refine your search

Your search returned 2182 results.

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

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

1283.
1284.
Multidimensional Signals and Systems [electronic resource] : Theory and Foundations / 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.

1285.
1286.
Ubiquitous Computing Systems [electronic resource] : Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4239
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.

1287.
Supercomputing [electronic resource] : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8488
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.

1288.
1289.
1290.
1291.
Smart Cities [electronic resource] : 4th Ibero-American Congress, ICSC-Cities 2021, Cancún, Mexico, November 29 - December 1, 2021, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1555
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.

1292.
Public-Key Cryptography – PKC 2022 [electronic resource] : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I / by Series: Security and Cryptology ; 13177
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.

1293.
1294.
Electrical and Computer Engineering [electronic resource] : First International Congress, ICECENG 2022, Virtual Event, February 9–12, 2022, Proceedings / by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 436
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.

1295.
Bioinspired Optimization Methods and Their Applications [electronic resource] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10835
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.

1296.
1297.
1298.
1299.
1300.
Computer Security and the Internet [electronic resource] : Tools and Jewels from Malware to Bitcoin / by Series: Information Security and Cryptography
Edition: 2nd ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

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