Refine your search

Your search returned 425 results.

Sort
Results
261.
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5325
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.

262.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10419
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.

263.
Parallel Computing Technologies [electronic resource] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7979
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.

264.
265.
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.

266.
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / by Series: Programming and Software Engineering ; 7745
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.

267.
Computational Methods in Systems Biology [electronic resource] : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012, Proceedings / by Series: Lecture Notes in Bioinformatics ; 7605
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.

268.
269.
Functional Imaging and Modeling of the Heart [electronic resource] : 7th International Conference, FIMH 2013, London, UK, June 20-22,2013, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7945
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.

270.
271.
Quantitative Evaluation of Systems [electronic resource] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10503
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.

272.
Membrane Computing [electronic resource] : 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / by Series: Theoretical Computer Science and General Issues ; 4361
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.

273.
274.
275.
Articulated Motion and Deformable Objects [electronic resource] : 4th International Conference, AMDO 2006, Port d'Andratx, Mallorca, Spain, July 11-14, 2006, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4069
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.

276.
PRICAI 2016: Trends in Artificial Intelligence [electronic resource] : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9810
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.

277.
278.
279.
Functional Imaging and Modeling of the Heart [electronic resource] : 5th International Conference, FIMH 2009 Nice, France, June 3-5, 2009 Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5528
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.

280.
Modeling Decisions for Artificial Intelligence [electronic resource] : First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3131
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.

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