Refine your search

Your search returned 7478 results.

Sort
Results
2901.
2902.
Logic and Its Applications [electronic resource] : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10119
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

2903.
Quantitative Evaluation of Systems [electronic resource] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8054
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.

2904.
2905.
2906.
Computational Science -- ICCS 2005 [electronic resource] : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 3515
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.

2907.
Bioinformatics in Personalized Medicine [electronic resource] : 10th Spanish Symposium, JBI 2010, Torremolinos, Spain, October 27-29, 2010. Revised Selected Papers / by Series: Lecture Notes in Bioinformatics ; 6620
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.

2908.
Model Checking Software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5578
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.

2909.
Learning in the Synergy of Multiple Disciplines [electronic resource] : 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29--October 2, 2009 Proceedings / by Series: Programming and Software Engineering ; 5794
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.

2910.
Algorithms and Data Structures [electronic resource] : 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3608
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.

2911.
Arithmetic of Finite Fields [electronic resource] : Second International Workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5130
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.

2912.
2913.
Learning and Intelligent Optimization [electronic resource] : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7219
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.

2914.
Rough Set and Knowledge Technology [electronic resource] : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6954
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.

2915.
Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3634
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.

2916.
Development in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / by Series: Theoretical Computer Science and General Issues ; 6795
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.

2917.
ECOOP - Object-Oriented Programming [electronic resource] : 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings / by Series: Programming and Software Engineering ; 4609
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.

2918.
Provable Security [electronic resource] : 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings / by Series: Security and Cryptology ; 6980
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.

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