Refine your search

Your search returned 9103 results.

Sort
Results
1001.
1002.
Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / by Series: Programming and Software Engineering ; 11294
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.

1003.
1004.
1005.
Software Challenges to Exascale Computing [electronic resource] : Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings / by Series: Communications in Computer and Information Science ; 964
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.

1006.
1007.
Computer Science – Theory and Applications [electronic resource] : 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11532
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.
Advances in Neural Networks – ISNN 2019 [electronic resource] : 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 11554
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.

1009.
Recent Trends in Algebraic Development Techniques [electronic resource] : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11563
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.
The Internet of Things in the Industrial Sector [electronic resource] : Security and Device Connectivity, Smart Environments, and Industry 4.0 / by Series: Computer Communications and Networks
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.
Hybrid Systems Biology [electronic resource] : 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers / by Series: Lecture Notes in Bioinformatics ; 11705
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.
Data Science Careers, Training, and Hiring [electronic resource] : A Comprehensive Guide to the Data Ecosystem: How to Build a Successful Data Science Career, Program, or Unit / by Series: SpringerBriefs in Computer Science
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.
Trusted Computing and Information Security [electronic resource] : 13th Chinese Conference, CTCIS 2019, Shanghai, China, October 24–27, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1149
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.

1016.
Fundamentals of Computation Theory [electronic resource] : 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12867
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.

1017.
Information and Communications Security [electronic resource] : 24th International Conference, ICICS 2022, Canterbury, UK, September 5–8, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13407
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1018.
Advanced Blockchain Technology [electronic resource] : Frameworks and Enterprise-Level Practices / by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1019.
Databases Theory and Applications [electronic resource] : 33rd Australasian Database Conference, ADC 2022, Sydney, NSW, Australia, September 2–4, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13459
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1020.
Trends in Functional Programming [electronic resource] : 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13401
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

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