Your search returned 16792 results.

Sort
Results
9781.
9782.
Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7153
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.

9783.
Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / by Series: Programming and Software Engineering ; 3945
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.

9784.
Computational Science - ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 3992
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.

9785.
9786.
Privacy Enhancing Technologies [electronic resource] : 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers / by Series: Security and Cryptology ; 3424
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.

9787.
9788.
Sequences, Subsequences, and Consequences [electronic resource] : International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers / by Series: Security and Cryptology ; 4893
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.

9789.
9790.
Human-Computer Interaction: Interaction Techniques and Environments [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6762
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.

9791.
9792.
Quality of Context [electronic resource] : First International Workshop, QuaCon 2009, Stuttgart, Germany, June 25-26, 2009. Revised Papers / by Series: Computer Communication Networks and Telecommunications ; 5786
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.

9793.
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings / by Series: Programming and Software Engineering ; 8174
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.

9794.
Descriptional Complexity of Formal Systems [electronic resource] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7386
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.

9795.
9796.
Distributed Computing [electronic resource] : 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6343
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.

9797.
9798.
Software Engineering and Formal Methods [electronic resource] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10469
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.

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