Your search returned 8339 results.

Sort
Results
141.
e-Democracy [electronic resource] : Toward a New Model of (Inter)active Society / 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.

142.
143.
144.
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.

145.
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.

146.
Early Computing in Britain [electronic resource] : Ferranti Ltd. and Government Funding, 1948 — 1958 / by Series: History of Computing
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.
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.

149.
150.
HCI International 2019 – Late Breaking Papers [electronic resource] : 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11786
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.

151.
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.

152.
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.

153.
154.
Software Technology: Methods and Tools [electronic resource] : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings / by Series: Programming and Software Engineering ; 11771
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.

155.
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.

156.
157.
158.
159.
160.
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.

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