Refine your search

Your search returned 7609 results.

Sort
Results
5421.
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / by Series: Programming and Software Engineering ; 4218
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.

5422.
Shared Memory Parallel Programming with Open MP [electronic resource] : 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 / by Series: Theoretical Computer Science and General Issues ; 3349
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.

5423.
Web and Wireless Geographical Information Systems [electronic resource] : 7th International Symposium, W2GIS 2007, Cardiff, UK, November 28-29, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4857
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.

5424.
5425.
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6265
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.

5426.
5427.
Progress in Cryptology - INDOCRYPT 2010 [electronic resource] : 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010, Proceedings / by Series: Security and Cryptology ; 6498
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.

5428.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7737
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.

5429.
Software Engineering [electronic resource] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / by Series: Programming and Software Engineering ; 5413
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.

5430.
Intelligent Virtual Agents [electronic resource] : 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5208
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.

5431.
Modeling and Using Context [electronic resource] : 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10257
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.

5432.
Progress in Cryptology - INDOCRYPT 2006 [electronic resource] : 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006, Proceedings / by Series: Security and Cryptology ; 4329
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.

5433.
Service-Oriented Computing [electronic resource] : 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings / by Series: Programming and Software Engineering ; 6470
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.

5434.
Security Protocols [electronic resource] : 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers / by Series: Security and Cryptology ; 5087
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.

5435.
Distributed Computing and Internet Technology [electronic resource] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5966
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.

5436.
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops [electronic resource] : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers / by Series: Programming and Software Engineering ; 6275
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.

5437.
Software Composition [electronic resource] : 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers / by Series: Programming and Software Engineering ; 4089
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.

5438.
5439.
Traffic Monitoring and Analysis [electronic resource] : First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5537
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.

5440.
ECOOP 2010 -- Object-Oriented Programming [electronic resource] : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / by Series: Programming and Software Engineering ; 6183
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.

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