Your search returned 1697 results.

Sort
Results
141.
Formal Methods – Fun for Everybody [electronic resource] : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1301
Edition: 1st 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.

142.
Symposium on Real-Time and Hybrid Systems [electronic resource] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / by Series: Theoretical Computer Science and General Issues ; 11180
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.

143.
144.
From Database to Cyber Security [electronic resource] : Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday / by Series: Security and Cryptology ; 11170
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.

145.
146.
147.
Information and Communications Security [electronic resource] : 21st International Conference, ICICS 2019, Beijing, China, December 15–17, 2019, Revised Selected Papers / by Series: Security and Cryptology ; 11999
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.

148.
Advances in Swarm Intelligence [electronic resource] : 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12145
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.

149.
150.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12860
Edition: 1st 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.

151.
Document Analysis and Recognition – ICDAR 2021 Workshops [electronic resource] : Lausanne, Switzerland, September 5–10, 2021, Proceedings, Part II / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12917
Edition: 1st 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.

152.
153.
Computer Performance Engineering [electronic resource] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / by Series: Programming and Software Engineering ; 8721
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.

154.
Privacy Enhancing Technologies [electronic resource] : 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013, Proceedings / by Series: Security and Cryptology ; 7981
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

155.
Parallel Computing Technologies [electronic resource] : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11657
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.

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

157.
158.
Human Mental Workload: Models and Applications [electronic resource] : Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14–15, 2019, Proceedings / by Series: Communications in Computer and Information Science ; 1107
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.

159.
Agents and Artificial Intelligence [electronic resource] : 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 12613
Edition: 1st 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.

160.
Trust, Privacy and Security in Digital Business [electronic resource] : 15th International Conference, TrustBus 2018, Regensburg, Germany, September 5–6, 2018, Proceedings / by Series: Security and Cryptology ; 11033
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.

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