Your search returned 1905 results.

Sort
Results
281.
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.

282.
Cognitive Modeling for Automated Human Performance Evaluation at Scale [electronic resource] / by Series: SpringerBriefs in Human-Computer Interaction
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.

283.
284.
285.
286.
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.

287.
288.
289.
Security Protocols XXVI [electronic resource] : 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers / by Series: Security and Cryptology ; 11286
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.

290.
Emerging Technologies for Authorization and Authentication [electronic resource] : First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings / by Series: Security and Cryptology ; 11263
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.

291.
Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III / by Series: Theoretical Computer Science and General Issues ; 11303
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.

292.
Architecture for Blockchain Applications [electronic resource] / by
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.

293.
294.
295.
Advances in Cryptology – CRYPTO 2019 [electronic resource] : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III / by Series: Security and Cryptology ; 11694
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.

296.
Ambient Intelligence [electronic resource] : 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11912
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.

297.
Internet Computing [electronic resource] : Principles of Distributed Systems and Emerging Internet-Based Technologies / by
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.

298.
FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / by Series: Programming and Software Engineering ; 8442
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.

299.
300.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8711
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.

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