Refine your search

Your search returned 9091 results.

Sort
Results
4141.
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.

4142.
4143.
Theory of Cryptography [electronic resource] : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I / by Series: Security and Cryptology ; 10677
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.

4144.
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.

4145.
Information Theoretic Security [electronic resource] : 10th International Conference, ICITS 2017, Hong Kong, China, November 29 – December 2, 2017, Proceedings / by Series: Security and Cryptology ; 10681
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.

4146.
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.

4147.
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.

4148.
4149.
Membrane Computing [electronic resource] : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10725
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.

4150.
4151.
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.

4152.
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.

4153.
Information Security Theory and Practice [electronic resource] : 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings / by Series: Security and Cryptology ; 10741
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.

4154.
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.

4155.
Parameterized and Exact Computation [electronic resource] : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8246
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

4156.
CONCUR 2012- Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings / by Series: Theoretical Computer Science and General Issues ; 7454
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

4157.
Information Security and Cryptology - ICISC 2015 [electronic resource] : 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers / by Series: Security and Cryptology ; 9558
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.

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