Refine your search

Your search returned 5844 results.

Sort
Results
4861.
4862.
4863.
Artificial Intelligence and Security [electronic resource] : 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part II / by Series: Communications in Computer and Information Science ; 1253
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

4864.
Simulation for Cyber-Physical Systems Engineering [electronic resource] : A Cloud-Based Context / by Series: Simulation Foundations, Methods and Applications
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.

4865.
4866.
4867.
4868.
4869.
4870.
4871.
4872.
4873.
4874.
Formal Methods: Foundations and Applications [electronic resource] : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13768
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.

4875.
4876.
4877.
Scientific Engineering of Distributed Java Applications. [electronic resource] : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2952
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.

4878.
Topics in Cryptology - CT-RSA 2010 [electronic resource] : The 10th Cryptographers' Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings / by Series: Lecture Notes in Computer Science ; 5985
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.

4879.
4880.
Incentives, Overlays, and Economic Traffic Control [electronic resource] : Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings / by Series: Computer Communication Networks and Telecommunications ; 6236
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.

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