Your search returned 300 results.

Sort
Results
121.
Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9236
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.

122.
Geometric Science of Information [electronic resource] : Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9389
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.

123.
124.
Artificial Life and Computational Intelligence [electronic resource] : First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8955
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.

125.
Applications of Evolutionary Computation [electronic resource] : 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9028
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.

126.
Towards Autonomous Robotic Systems [electronic resource] : 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9287
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.

127.
Algorithms and Discrete Applied Mathematics [electronic resource] : First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8959
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.

128.
129.
Human-Computer Interaction: Design and Evaluation [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9169
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.

130.
131.
Modelling and Simulation for Autonomous Systems [electronic resource] : Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9055
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.

132.
Algorithms and Data Structures [electronic resource] : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9214
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.

133.
134.
135.
Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV / by Series: Theoretical Computer Science and General Issues ; 9492
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.

136.
137.
Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / by Series: Programming and Software Engineering ; 9392
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.

138.
Frontiers of Combining Systems [electronic resource] : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9322
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.

139.
Quantum Interaction [electronic resource] : 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8951
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.

140.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 9042
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.

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