Refine your search

Your search returned 7609 results.

Sort
Results
4261.
4262.
Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings / by Series: Programming and Software Engineering ; 6144
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.

4263.
RoboCup 2008: Robot Soccer World Cup XII [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 5399
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.

4264.
4265.
Pairing-Based Cryptography - Pairing 2010 [electronic resource] : 4th International Conference, Yamanaka Hot Spring, Japan, December 13-15, 2010, Proceedings / by Series: Security and Cryptology ; 6487
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.

4266.
Cryptology and Network Security [electronic resource] : 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings / by Series: Security and Cryptology ; 5888
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.

4267.
4268.
Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings / by Series: Security and Cryptology ; 5965
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.

4269.
Reliable Software Technology – Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / by Series: Programming and Software Engineering ; 3555
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.

4270.
AI 2017: Advances in Artificial Intelligence [electronic resource] : 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19–20, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10400
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.

4271.
Parallel Computing Technologies [electronic resource] : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4671
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.

4272.
Software Product Lines: Going Beyond [electronic resource] : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings / by Series: Programming and Software Engineering ; 6287
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.

4273.
Discovery Science [electronic resource] : 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009 / by Series: Lecture Notes in Artificial Intelligence ; 5808
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.

4274.
Architecting Dependable Systems VI [electronic resource] / by Series: Programming and Software Engineering ; 5835
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.

4275.
4276.
4277.
Security Protocols XVIII [electronic resource] : 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers / by Series: Security and Cryptology ; 7061
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.

4278.
Algorithms - ESA 2010 [electronic resource] : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6346
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.

4279.
Electronic Government [electronic resource] : 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3591
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.

4280.
Tests and Proofs [electronic resource] : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / by Series: Programming and Software Engineering ; 10375
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.

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