Your search returned 6990 results.

Sort
Results
2001.
2002.
Case-Based Reasoning Research and Development [electronic resource] : 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8765
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.

2003.
2004.
Information Security Applications [electronic resource] : 14th International Workshop, WISA 2013, Jeju Island, Korea, August 19-21, 2013, Revised Selected Papers / by Series: Security and Cryptology ; 8267
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.

2005.
2006.
Software Engineering for Resilient Systems [electronic resource] : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings / by Series: Programming and Software Engineering ; 8785
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.

2007.
2008.
Formal Aspects of Component Software [electronic resource] : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / by Series: Programming and Software Engineering ; 8348
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.

2009.
2010.
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings / by Series: Programming and Software Engineering ; 8499
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.

2011.
2012.
Mathematical Software – ICMS 2016 [electronic resource] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9725
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.

2013.
Theory and Applications of Satisfiability Testing – SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10491
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.

2014.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9212
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.

2015.
Human-Computer Interaction. Interaction in Context [electronic resource] : 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10902
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.

2016.
2017.
2018.
2019.
2020.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in