Refine your search

Your search returned 2672 results.

Sort
Results
1701.
STACS 2006 [electronic resource] : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3884
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.

1702.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004, Revised Papers / by Series: Lecture Notes in Computer Science ; 3353
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.

1703.
1704.
Computational Methods in Systems Biology [electronic resource] : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012, Proceedings / by Series: Lecture Notes in Bioinformatics ; 7605
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.

1705.
Transactions on Computational Science VI [electronic resource]. by Series: Transactions on Computational Science ; 5730
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.

1706.
Advances in Cryptology – ASIACRYPT 2016 [electronic resource] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I / by Series: Security and Cryptology ; 10031
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

1707.
1708.
Formal Grammar [electronic resource] : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 / by Series: Theoretical Computer Science and General Issues ; 7395
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.

1709.
String Processing and Information Retrieval [electronic resource] : 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings / by Series: Theoretical Computer Science and General Issues ; 5721
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.

1710.
1711.
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 9134
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.

1712.
Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 5405
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.

1713.
Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / by Series: Theoretical Computer Science and General Issues ; 5363
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.

1714.
1715.
OpenMP in a New Era of Parallelism [electronic resource] : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings / by Series: Programming and Software Engineering ; 5004
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.

1716.
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7393
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.

1717.
Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5674
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.

1718.
Topics in Cryptology - CT-RSA 2012 [electronic resource] : The Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012, Proceedings / by Series: Security and Cryptology ; 7178
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.

1719.
Algorithmic Learning Theory [electronic resource] : 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5254
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.

1720.
Developments in Language Theory [electronic resource] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9840
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

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