Your search returned 1521 results.

Sort
Results
181.
182.
183.
Adaptive and Intelligent Systems [electronic resource] : Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-9, 2014. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8779
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.

184.
From Reactive Systems to Cyber-Physical Systems [electronic resource] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / by Series: Theoretical Computer Science and General Issues ; 11500
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.

185.
Data Mining and Big Data [electronic resource] : 5th International Conference, DMBD 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings / by Series: Communications in Computer and Information Science ; 1234
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.

186.
Artificial Intelligence Logic and Applications [electronic resource] : The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings / by Series: Communications in Computer and Information Science ; 1657
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.

187.
Security Standardisation Research [electronic resource] : Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings / by Series: Security and Cryptology ; 9497
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

188.
Towards Autonomous Robotic Systems [electronic resource] : 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9716
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

189.
Controlled Natural Language [electronic resource] : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9767
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

190.
191.
192.
Intelligent Computer Mathematics [electronic resource] : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12236
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.

193.
Research in Computational Molecular Biology [electronic resource] : 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings / by Series: Lecture Notes in Bioinformatics ; 13278
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.

194.
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10499
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.

195.
Software Engineering for Resilient Systems [electronic resource] : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings / by Series: Programming and Software Engineering ; 10479
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.

196.
197.
198.
Artificial Neural Networks - ICANN 2006 [electronic resource] : 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 4131
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

199.
Knowledge and Information Visualization [electronic resource] : Searching for Synergies / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3426
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

200.
Algorithms and Architectures for Parallel Processing [electronic resource] : ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11338
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