Refine your search

Your search returned 7478 results.

Sort
Results
3601.
Reachability Problems [electronic resource] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / by Series: Theoretical Computer Science and General Issues ; 7550
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.

3602.
Large-Scale Scientific Computing [electronic resource] : 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8353
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.

3603.
Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems [electronic resource] : First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5796
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.

3604.
Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings / by Series: Programming and Software Engineering ; 4184
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.

3605.
Database Theory - ICDT 2005 [electronic resource] : 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings / by Series: Lecture Notes in Computer Science ; 3363
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.

3606.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6022
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.

3607.
PRICAI 2004: Trends in Artificial Intelligence [electronic resource] : 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3157
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3608.
Algorithmic Game Theory [electronic resource] : Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5814
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.

3609.
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / by Series: Programming and Software Engineering ; 7857
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.

3610.
Transactions on Computational Collective Intelligence VI [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 7190
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.

3611.
Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 5438
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.

3612.
Data Management in a Connected World [electronic resource] : Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3551
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.

3613.
3614.
3615.
RoboCup 2009: Robot Soccer World Cup XIII [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 5949
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.

3616.
Artificial Neural Networks - ICANN 2006 [electronic resource] : 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 4132
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.

3617.
Theory and Applications of Models of Computation [electronic resource] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / by Series: Theoretical Computer Science and General Issues ; 5532
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.

3618.
Modelling -- Foundation and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings / by Series: Programming and Software Engineering ; 6698
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.

3619.
Information Systems Security [electronic resource] : 7th International Conference, ICISS 2011, Kolkata, India, December 15-19, 2011, Proceedings / by Series: Security and Cryptology ; 7093
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.

3620.
Information Security and Cryptology [electronic resource] : 6th International Conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010, Revised Selected Papers / by Series: Security and Cryptology ; 6584
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.

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