Your search returned 7426 results.

Sort
Results
2541.
Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by Series: Programming and Software Engineering ; 3672
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.

2542.
2543.
Software Engineering for Multi-Agent Systems III [electronic resource] : Research Issues and Practical Applications / by Series: Programming and Software Engineering ; 3390
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.

2544.
Algorithmic Game Theory [electronic resource] : First International Symposium, SAGT 2008, Paderborn, Germany, April 30 - May 2, 2008, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4997
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.

2545.
Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / by Series: Programming and Software Engineering ; 6405
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.

2546.
2547.
Algorithmic Aspects in Information and Management [electronic resource] : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5564
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.

2548.
Fuzzy Logic and Applications [electronic resource] : 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5571
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.

2549.
Service-Oriented Computing [electronic resource] : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings / by Series: Programming and Software Engineering ; 7636
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.

2550.
Human Centered Design [electronic resource] : First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5619
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.

2551.
Constructive Side-Channel Analysis and Secure Design [electronic resource] : Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings / by Series: Security and Cryptology ; 7275
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.

2552.
2553.
Multidisciplinary Information Retrieval [electronic resource] : Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6653
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.

2554.
Semantics in Data and Knowledge Bases [electronic resource] : 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6834
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.

2555.
Applied Cryptography and Network Security [electronic resource] : 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009, Proceedings / by Series: Security and Cryptology ; 5536
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.

2556.
2557.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / by Series: Theoretical Computer Science and General Issues ; 5873
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.

2558.
Languages Alive [electronic resource] : Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday / by Series: Theoretical Computer Science and General Issues ; 7300
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.

2559.
Transactions on Computational Systems Biology IX [electronic resource] / by Series: Transactions on Computational Systems Biology ; 5121
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.

2560.
Algorithms - ESA 2015 [electronic resource] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9294
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

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