Your search returned 430 results.

Sort
Results
181.
PRICAI 2010: Trends in Artificial Intelligence [electronic resource] : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30-September 2, 2010. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6230
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.

182.
Algorithms in Bioinformatics [electronic resource] : 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings / by Series: Lecture Notes in Bioinformatics ; 4175
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.

183.
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6625
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.

184.
185.
Software Engineering and Formal Methods [electronic resource] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10469
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.

186.
187.
Distributed Computing and Internet Technology [electronic resource] : 4th International Conference, ICDCIT 2007, Bangalore, India, December, 17-20, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4882
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.

188.
Large-Scale Scientific Computing [electronic resource] : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers / by Series: Theoretical Computer Science and General Issues ; 5910
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.

189.
MICAI 2008: Advances in Artificial Intelligence [electronic resource] : 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5317
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.

190.
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4010
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.

191.
192.
CONCUR 2006 - Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 / by Series: Theoretical Computer Science and General Issues ; 4137
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.

193.
Theory of Quantum Computation, Communication and Cryptography [electronic resource] : 4th Workshop, TQC 2009, Waterloo, Canada, May 11-13. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 5906
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.

194.
Large-Scale Scientific Computing [electronic resource] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7116
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.

195.
Language and Automata Theory and Applications [electronic resource] : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10168
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.

196.
Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6853
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.

197.
Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3717
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.

198.
Evolvable Systems: From Biology to Hardware [electronic resource] : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5216
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.

199.
Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / by Series: Programming and Software Engineering ; 3771
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.

200.
Algorithmic Aspects in Information and Management [electronic resource] : 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6124
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.

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