Refine your search

Your search returned 4187 results.

Sort
Results
961.
Transactions on Petri Nets and Other Models of Concurrency XIV [electronic resource] / by Series: Transactions on Petri Nets and Other Models of Concurrency ; 11790
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.

962.
963.
964.
965.
966.
967.
Intelligent Systems [electronic resource] : 11th Brazilian Conference, BRACIS 2022, Campinas, Brazil, November 28 – December 1, 2022, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 13654
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.

968.
Computer Vision – ECCV 2022 Workshops [electronic resource] : Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13802
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.

969.
Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / by Series: Programming and Software Engineering ; 7437
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

970.
971.
Provable Security [electronic resource] : 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012, Proceedings / by Series: Security and Cryptology ; 7496
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

972.
973.
Internet Science [electronic resource] : 5th International Conference, INSCI 2018, St. Petersburg, Russia, October 24–26, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11193
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.

974.
975.
976.
977.
Business Information Systems Workshops [electronic resource] : BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers / by Series: Lecture Notes in Business Information Processing ; 339
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.

978.
979.
Theoretical Computer Science [electronic resource] : 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1069
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

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