Refine your search

Your search returned 8302 results.

Sort
Results
941.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12288
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.

942.
Transactions on Computational Collective Intelligence XXXV [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 12330
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

943.
944.
945.
Informatics in Schools. Engaging Learners in Computational Thinking [electronic resource] : 13th International Conference, ISSEP 2020, Tallinn, Estonia, November 16–18, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12518
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.

946.
Formal Methods – Fun for Everybody [electronic resource] : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1301
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.

947.
948.
949.
Advanced Driver Assistance Systems and Autonomous Vehicles [electronic resource] : From Fundamentals to Applications / 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.

950.
951.
Principles and Practice of Constraint Programming [electronic resource] : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings / by Series: Programming and Software Engineering ; 8656
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

952.
953.
Algorithms and Data Structures [electronic resource] : 15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10389
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

954.
955.
956.
PRICAI 2018: Trends in Artificial Intelligence [electronic resource] : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 11013
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.

957.
Symposium on Real-Time and Hybrid Systems [electronic resource] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / by Series: Theoretical Computer Science and General Issues ; 11180
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.

958.
959.
Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 11302
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.

960.
Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V / by Series: Theoretical Computer Science and General Issues ; 11305
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.

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