Your search returned 8340 results.

Sort
Results
5761.
5762.
5763.
Implementation and Application of Automata [electronic resource] : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10329
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.

5764.
Multi-Agent-Based Simulation XV [electronic resource] : International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 9002
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.

5765.
5766.
Trust, Privacy, and Security in Digital Business [electronic resource] : 11th International Conference, TrustBus 2014, Munich, Germany, September 2-3, 2014. Proceedings / by Series: Security and Cryptology ; 8647
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.

5767.
Search Based Software Engineering [electronic resource] : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / by Series: Programming and Software Engineering ; 9962
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.

5768.
Computers and Games [electronic resource] : 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10068
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.

5769.
5770.
Languages and Compilers for Parallel Computing [electronic resource] : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 10136
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.

5771.
Frontiers in Algorithmics [electronic resource] : 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8497
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.

5772.
AI 2017: Advances in Artificial Intelligence [electronic resource] : 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19–20, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10400
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.

5773.
5774.
5775.
Tests and Proofs [electronic resource] : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / by Series: Programming and Software Engineering ; 10375
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.

5776.
5777.
Formal Methods and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / by Series: Programming and Software Engineering ; 9407
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.

5778.
Modelling and Simulation for Autonomous Systems [electronic resource] : Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9991
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.

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