Your search returned 16792 results.

Sort
Results
9241.
Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4313
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.

9242.
New Directions in Logic, Language, and Computation [electronic resource] : ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7415
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.

9243.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 8404
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.

9244.
String Processing and Information Retrieval [electronic resource] : 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings / by Series: Theoretical Computer Science and General Issues ; 5280
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.

9245.
Programming Languages [electronic resource] : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings / by Series: Programming and Software Engineering ; 9325
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

9246.
Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008 Revised Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5337
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.

9247.
Mining Intelligence and Knowledge Exploration [electronic resource] : Third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9468
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

9248.
9249.
Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings / by Series: Programming and Software Engineering ; 5140
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.

9250.
Intelligent Information and Database Systems [electronic resource] : 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 7197
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.

9251.
9252.
Logic, Language, and Computation [electronic resource] : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4363
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.

9253.
Argumentation in Multi-Agent Systems [electronic resource] : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 6057
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.

9254.
Information Security Applications [electronic resource] : 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers / by Series: Security and Cryptology ; 6513
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.

9255.
Agents for Games and Simulations II [electronic resource] : Trends in Techniques, Concepts and Design / by Series: Lecture Notes in Artificial Intelligence ; 6525
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.

9256.
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4183
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.

9257.
9258.
9259.
Combinatorics on Words [electronic resource] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10432
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.

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