Refine your search

Your search returned 7935 results.

Sort
Results
141.
Models, Mindsets, Meta: The What, the How, and the Why Not? [electronic resource] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 11200
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.

142.
Theory and Applications of Satisfiability Testing – SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11628
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.

143.
Modeling Decisions for Artificial Intelligence [electronic resource] : 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11676
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.

144.
Tests and Proofs [electronic resource] : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings / by Series: Programming and Software Engineering ; 11823
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.

145.
Provable Security [electronic resource] : 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings / by Series: Security and Cryptology ; 11821
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.

146.
Algorithmic Decision Theory [electronic resource] : 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11834
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.

147.
148.
149.
Chinese Computational Linguistics [electronic resource] : 18th China National Conference, CCL 2019, Kunming, China, October 18–20, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11856
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.

150.
151.
Graphical Models for Security [electronic resource] : 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers / by Series: Security and Cryptology ; 11720
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.

152.
Information Security Applications [electronic resource] : 20th International Conference, WISA 2019, Jeju Island, South Korea, August 21–24, 2019, Revised Selected Papers / by Series: Security and Cryptology ; 11897
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.

153.
Intrusion Detection [electronic resource] : A Data Mining Approach / by Series: Cognitive Intelligence and Robotics
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.

154.
Information Security Theory and Practice [electronic resource] : 13th IFIP WG 11.2 International Conference, WISTP 2019, Paris, France, December 11–12, 2019, Proceedings / by Series: Security and Cryptology ; 12024
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.

155.
156.
157.
158.
Cellular Automata and Discrete Complex Systems [electronic resource] : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12286
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.

159.
Concise Guide to Quantum Computing [electronic resource] : Algorithms, Exercises, and Implementations / by Series: Texts in Computer Science
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.
Ransomware Revolution: The Rise of a Prodigious Cyber Threat [electronic resource] / by Series: Advances in Information Security ; 85
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.

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