Your search returned 7426 results.

Sort
Results
5461.
Coordination, Organizations, Intitutions, and Norms in Agent Systems VIII [electronic resource] : COIN 2012 International Workshops, COIN@AAMAS Valencia, Spain, June 2012, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7756
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.

5462.
Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings / by Series: Programming and Software Engineering ; 4589
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.

5463.
5464.
5465.
5466.
Diagrammatic Representation and Inference [electronic resource] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7352
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.

5467.
5468.
5469.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8318
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.

5470.
Diagrammatic Representation and Inference [electronic resource] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6170
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.

5471.
5472.
Passive and Active Network Measurement [electronic resource] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5448
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.

5473.
Information Security [electronic resource] : 12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings / by Series: Security and Cryptology ; 5735
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.

5474.
Scientific Engineering of Distributed Java Applications. [electronic resource] : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2952
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.

5475.
Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Series: Lecture Notes in Computer Science ; 2925
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.

5476.
Topics in Cryptology - CT-RSA 2010 [electronic resource] : The 10th Cryptographers' Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings / by Series: Lecture Notes in Computer Science ; 5985
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.

5477.
Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / by Series: Programming and Software Engineering ; 4444
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.

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