Refine your search

Your search returned 3659 results.

Sort
Results
1261.
Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4783
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.

1262.
Advances in Artificial Life [electronic resource] : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5778
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.

1263.
Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 4428
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.

1264.
Computer Vision – ACCV 2016 Workshops [electronic resource] : ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part I / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10116
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.

1265.
Algorithms and Data Structures [electronic resource] : 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings / by Series: Theoretical Computer Science and General Issues ; 5664
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.

1266.
LATIN 2010: Theoretical Informatics [electronic resource] : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6034
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.

1267.
Advances in Computation and Intelligence [electronic resource] : Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4683
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.

1268.
Graph Drawing [electronic resource] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 5417
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.

1269.
Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5213
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.

1270.
Verified Software. Theories, Tools, and Experiments [electronic resource] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by Series: Programming and Software Engineering ; 9971
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

1271.
Mathematics and Computation in Music [electronic resource] : 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9110
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.

1272.
STACS 2005 [electronic resource] : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3404
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.

1273.
1274.
Data Mining for Biomedical Applications [electronic resource] : PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006, Proceedings / by Series: Lecture Notes in Bioinformatics ; 3916
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.

1275.
Combinatorics on Words [electronic resource] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9304
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.

1276.
1277.
Fun with Algorithms [electronic resource] : 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4475
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.

1278.
Intelligent Agents and Multi-Agent Systems [electronic resource] : 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 3371
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.

1279.
1280.
AI 2004: Advances in Artificial Intelligence [electronic resource] : 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3339
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.

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