Refine your search

Your search returned 8228 results.

Sort
Results
5841.
Scalable Uncertainty Management [electronic resource] : 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9310
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.

5842.
5843.
Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings / by Series: Security and Cryptology ; 7159
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.

5844.
Advances in Cryptology -- ASIACRYPT 2014 [electronic resource] : 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I / by Series: Security and Cryptology ; 8873
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

5845.
Modelling Foundations and Applications [electronic resource] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / by Series: Programming and Software Engineering ; 9153
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.

5846.
Knowledge Management for Health Care Procedures [electronic resource] : ECAI 2008 Workshop K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5626
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

5847.
5848.
5849.
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / by Series: Programming and Software Engineering ; 9338
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.

5850.
Experimental Algorithms [electronic resource] : 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8504
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.

5851.
Trusting Agents for Trusting Electronic Societies [electronic resource] : Theory and Applications in HCI and E-Commerce / by Series: Lecture Notes in Artificial Intelligence ; 3577
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

5852.
5853.
Theory and Practice of Model Transformation [electronic resource] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / by Series: Programming and Software Engineering ; 10374
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.

5854.
5855.
Advances in Computer Systems Architecture [electronic resource] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4697
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

5856.
Information Security and Cryptology [electronic resource] : 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers / by Series: Security and Cryptology ; 5487
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

5857.
Controlled Natural Language [electronic resource] : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 5972
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

5858.
Trustworthy Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6084
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

5859.
Technologies for Advanced Heterogeneous Networks II [electronic resource] : Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 4311
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

5860.
Datalog in Academia and Industry [electronic resource] : Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7494
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.

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