Your search returned 16792 results.

Sort
Results
10921.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9323
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.

10922.
10923.
10924.
Hybrid Learning [electronic resource] : Third International Conference, ICHL 2010, Beijing, China, August 16-18, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6248
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.

10925.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings / by Series: Programming and Software Engineering ; 10153
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.

10926.
Web Technologies and Applications [electronic resource] : 16th Asia-Pacific Web Conference, APWeb 2014, Changsha, China, September 5-7, 2014. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8709
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.

10927.
10928.
Advances in Cryptology – CRYPTO 2013 [electronic resource] : 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II / by Series: Security and Cryptology ; 8043
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

10929.
Intelligent Data Engineering and Automated Learning - IDEAL 2005 [electronic resource] : 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3578
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.

10930.
Theory and Practice of Natural Computing [electronic resource] : 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10071
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.

10931.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9026
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.

10932.
Datalog Reloaded [electronic resource] : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6702
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

10933.
Parameterized and Exact Computation [electronic resource] : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5018
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

10934.
Pattern Recognition [electronic resource] : 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3663
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.

10935.
Reliable Software Technologies – Ada-Europe 2017 [electronic resource] : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / by Series: Programming and Software Engineering ; 10300
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.

10936.
Advances in Web-based Learning - ICWL 2011 [electronic resource] : 10th International Conference, Hong Kong, China, December 8-10, 2011. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7048
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

10937.
Image Analysis and Processing – ICIAP 2005 [electronic resource] : 13th International Conference, Cagliari, Italy, September 6-8, 2005, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3617
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.

10938.
Algorithmic Game Theory [electronic resource] : 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9347
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

10939.
Agent Based Simulation for a Sustainable Society and Multiagent Smart Computing [electronic resource] : International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7580
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.

10940.
Computing and Combinatorics [electronic resource] : 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4112
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.

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