Your search returned 6990 results.

Sort
Results
5661.
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 9780
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.

5662.
5663.
5664.
5665.
Bioinformatics Research and Applications [electronic resource] : 12th International Symposium, ISBRA 2016, Minsk, Belarus, June 5-8, 2016, Proceedings / by Series: Lecture Notes in Bioinformatics ; 9683
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.

5666.
Membrane Computing [electronic resource] : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 9504
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.

5667.
5668.
Information Security and Cryptology -- ICISC 2013 [electronic resource] : 16th International Conference, Seoul, Korea, November 27-29, 2013, Revised Selected Papers / by Series: Security and Cryptology ; 8565
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.

5669.
Approximation and Online Algorithms [electronic resource] : 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8952
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.

5670.
5671.
5672.
5673.
AI 2015: Advances in Artificial Intelligence [electronic resource] : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9457
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.

5674.
Advances in Natural Language Processing [electronic resource] : 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8686
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.

5675.
Speech and Computer [electronic resource] : 18th International Conference, SPECOM 2016, Budapest, Hungary, August 23-27, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9811
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.

5676.
5677.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / by Series: Programming and Software Engineering ; 9619
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.

5678.
5679.
5680.
Numerical Analysis and Its Applications [electronic resource] : 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10187
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.

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