Your search returned 352 results.

Sort
Results
101.
Automated Deduction - CADE-25 [electronic resource] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9195
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.

102.
Secure Mobile Ad-hoc Networks and Sensors [electronic resource] : First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 4074
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.

103.
LATIN 2012: Theoretical Informatics [electronic resource] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7256
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.

104.
Search Computing [electronic resource] : Challenges and Directions / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5950
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.

105.
Advances in Swarm Intelligence [electronic resource] : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6146
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.

106.
Security Protocols [electronic resource] : 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers / by Series: Security and Cryptology ; 5964
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.

107.
Graph Drawing and Network Visualization [electronic resource] : 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 9411
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.

108.
Algorithmic Decision Theory [electronic resource] : 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10576
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.

109.
110.
Algorithms and Models for the Web Graph [electronic resource] : 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8882
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.

111.
Swarm Intelligence Based Optimization [electronic resource] : First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8472
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.

112.
113.
Artificial Life and Computational Intelligence [electronic resource] : First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8955
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.

114.
Web and Internet Economics [electronic resource] : 13th International Conference, WINE 2017, Bangalore, India, December 17–20, 2017, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10660
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.

115.
116.
Security Protocols XIX [electronic resource] : 19th International Workshop, Cambridge, UK, March 28-30, 2011, Revised Selected Papers / by Series: Security and Cryptology ; 7114
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.

117.
Selected Areas in Cryptography [electronic resource] : 10th Annual International Workshop, SAC 2003, Ottawa, Canada, August 14-15, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 3006
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

118.
Advances in Swarm Intelligence [electronic resource] : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 7332
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.

119.
Applications of Evolutionary Computation [electronic resource] : 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9028
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.

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