Refine your search

Your search returned 17575 results.

Sort
Results
1001.
1002.
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.

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

1004.
Document Analysis and Recognition [electronic resource] : 4th Workshop, DAR 2018, Held in Conjunction with ICVGIP 2018, Hyderabad, India, December 18, 2018, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1020
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.

1005.
SQL & NoSQL Databases [electronic resource] : Models, Languages, Consistency Options and Architectures for Big Data Management / by
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2019 In: Springer Nature eBook
Availability: No items available.

1006.
Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability [electronic resource] : Communications of NII Shonan Meetings / by
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.

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

1008.
1009.
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.

1010.
1011.
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.

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

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

1014.
1015.
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.

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

1017.
1018.
1019.
1020.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in