Refine your search

Your search returned 17575 results.

Sort
Results
5801.
5802.
Theory and Application of Satisfiability Testing [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6695
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.

5803.
Transactions on Computational Science XII [electronic resource] : Special Issue on Cyberworlds. by Series: Transactions on Computational Science ; 6670
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.

5804.
Smart Sensing and Context [electronic resource] : 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings / by Series: Computer Communication Networks and Telecommunications ; 6446
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.

5805.
Mobility Aware Technologies and Applications [electronic resource] : First International Workshop, MATA 2004, Florianopolis, Brazil, October 20-22, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3284
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.

5806.
Distributed Computing [electronic resource] : 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8784
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.

5807.
Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 6152
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.

5808.
Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / by Series: Programming and Software Engineering ; 6527
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.

5809.
Pattern Recognition [electronic resource] : 33rd DAGM Symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6835
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.

5810.
5811.
Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings / by Series: Lecture Notes in Computer Science ; 4096
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.

5812.
5813.
5814.
Artificial Intelligence XXXIV [electronic resource] : 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10630
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.

5815.
5816.
5817.
5818.
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings / by Series: Security and Cryptology ; 11348
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.

5819.
Transactions on Computational Science XXXVI [electronic resource] : Special Issue on Cyberworlds and Cybersecurity / by Series: Transactions on Computational Science ; 12060
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

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