Refine your search

Your search returned 8301 results.

Sort
Results
3961.
Computational and Corpus-Based Phraseology [electronic resource] : Second International Conference, Europhras 2017, London, UK, November 13-14, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10596
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.

3962.
3963.
3964.
3965.
Theory of Cryptography [electronic resource] : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II / by Series: Security and Cryptology ; 10678
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.

3966.
Advances in Conceptual Modeling [electronic resource] : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10651
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.

3967.
3968.
3969.
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 10642
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.

3970.
3971.
Intelligent Human Computer Interaction [electronic resource] : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10688
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.

3972.
3973.
Verified Software. Theories, Tools, and Experiments [electronic resource] : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers / by Series: Programming and Software Engineering ; 10712
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.

3974.
3975.
3976.
Language Technologies for the Challenges of the Digital Age [electronic resource] : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10713
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.

3977.
WALCOM: Algorithms and Computation [electronic resource] : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10755
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.

3978.
3979.
Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10895
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.

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