Your search returned 6990 results.

Sort
Results
441.
442.
Formal Methods – The Next 30 Years [electronic resource] : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by Series: Programming and Software Engineering ; 11800
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.

443.
Information and Software Technologies [electronic resource] : 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings / by Series: Communications in Computer and Information Science ; 1078
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.

444.
Artificial Intelligence [electronic resource] : 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures / by Series: Lecture Notes in Artificial Intelligence ; 11866
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.

445.
446.
Handbook of Memristor Networks [electronic resource] / 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.

447.
448.
Advanced Data Mining and Applications [electronic resource] : 15th International Conference, ADMA 2019, Dalian, China, November 21–23, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11888
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.

449.
Quantum Interaction [electronic resource] : 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11690
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.

450.
Advances in Cryptology – ASIACRYPT 2019 [electronic resource] : 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I / by Series: Security and Cryptology ; 11921
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.

451.
Machine Ethics [electronic resource] : From Machine Morals to the Machinery of Morality / by Series: Studies in Applied Philosophy, Epistemology and Rational Ethics ; 53
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.

452.
Guide to Deep Learning Basics [electronic resource] : Logical, Historical and Philosophical Perspectives / by
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.

453.
454.
Fractal Dimensions of Networks [electronic resource] / by
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.

455.
456.
457.
Formal Methods for Industrial Critical Systems [electronic resource] : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / by Series: Programming and Software Engineering ; 12327
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.

458.
Computer Vision – ECCV 2020 [electronic resource] : 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part XIX / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12364
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.

459.
460.
Theoretical Aspects of Computing – ICTAC 2021 [electronic resource] : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12819
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