Refine your search

Your search returned 9091 results.

Sort
Results
5521.
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4010
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.

5522.
5523.
Computational Science – ICCS 2008 [electronic resource] : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 5101
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.

5524.
Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings / by Series: Programming and Software Engineering ; 4680
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.

5525.
Logics in Artificial Intelligence [electronic resource] : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6341
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.

5526.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / by Series: Theoretical Computer Science and General Issues ; 7734
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.

5527.
Cryptology and Network Security [electronic resource] : 7th International Conference, CANS 2008, Hong-Kong, China, December 2-4, 2008. Proceedings / by Series: Security and Cryptology ; 5339
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.

5528.
5529.
Critical Information Infrastructures Security [electronic resource] : First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006 / by Series: Computer Communication Networks and Telecommunications ; 4347
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.

5530.
Advances in Cryptology – CRYPTO 2016 [electronic resource] : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I / by Series: Security and Cryptology ; 9814
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

5531.
Database and Expert Systems Applications [electronic resource] : 17th International Conference, DEXA 2006, Krakow, Poland, September 4-8, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4080
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.

5532.
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by Series: Programming and Software Engineering ; 4171
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.

5533.
Transactions on Computational Science XXI [electronic resource] : Special Issue on Innovations in Nature-Inspired Computing and Applications / by Series: Transactions on Computational Science ; 8160
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.

5534.
5535.
Smart Card Research and Advanced Applications [electronic resource] : 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers / by Series: Security and Cryptology ; 9514
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.

5536.
CONCUR 2006 - Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 / by Series: Theoretical Computer Science and General Issues ; 4137
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.

5537.
Information and Communications Security [electronic resource] : 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings / by Series: Security and Cryptology ; 4307
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.

5538.
Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5834
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.

5539.
Web and Internet Economics [electronic resource] : 10th International Conference, WINE 2014, Beijing, China, December 14-17, 2014, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8877
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.

5540.
Progress in Cryptology -- AFRICACRYPT 2011 [electronic resource] : 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011, Proceedings / by Series: Security and Cryptology ; 6737
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.

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