Your search returned 1082 results.

Sort
Results
681.
Algorithm Theory -- SWAT 2012 [electronic resource] : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7357
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.

682.
683.
Theory and Applications of Satisfiability Testing - SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7962
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.

684.
Multi-Agent-Based Simulation XII [electronic resource] : International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7124
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.

685.
Algorithmic Aspects in Information and Management [electronic resource] : Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4041
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.

686.
Advances in Natural Computation [electronic resource] : First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 3611
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.

687.
Computational Geometry and Graph Theory [electronic resource] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4535
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.

688.
Principles and Practice of Constraint Programming [electronic resource] : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / by Series: Programming and Software Engineering ; 10416
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.

689.
Integer Programming and Combinatorial Optimization [electronic resource] : 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10328
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.

690.
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.

691.
692.
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.

693.
Automated Deduction -- CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7898
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.

694.
695.
696.
697.
Genetic Programming [electronic resource] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April, 15-17, 2009 Proceedings / by Series: Theoretical Computer Science and General Issues ; 5481
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.

698.
Artificial Immune Systems [electronic resource] : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4163
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.

699.
700.
Algorithmic Learning Theory [electronic resource] : 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4264
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.

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