Refine your search

Your search returned 7031 results.

Sort
Results
3941.
3942.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4246
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.

3943.
Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings / by Series: Programming and Software Engineering ; 5825
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.

3944.
Hybrid Systems: Computation and Control [electronic resource] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5469
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.

3945.
Engineering Societies in the Agents World IV [electronic resource] : 4th International Workshop, ESAW 2003, London, UK, October 29-31, 2003, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 3071
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.

3946.
3947.
RoboCup 2011: Robot Soccer World Cup XV [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 7416
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.

3948.
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support [electronic resource] : Results of the IMPROVE Project / by Series: Programming and Software Engineering ; 4970
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.

3949.
Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6647
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.

3950.
Smart Sensing and Context [electronic resource] : 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5741
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.

3951.
Networking -- ICN 2005 [electronic resource] : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part II / by Series: Computer Communication Networks and Telecommunications ; 3421
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.

3952.
Scaling Topic Maps [electronic resource] : Third International Conference on Topic Map Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4999
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.

3953.
Cloud Computing [electronic resource] : First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5931
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.

3954.
3955.
Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4328
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.

3956.
3957.
3958.
Parallel Computing Technologies [electronic resource] : 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3606
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.

3959.
Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / by Series: Programming and Software Engineering ; 6038
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.

3960.
Programming Languages and Systems [electronic resource] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings / by Series: Programming and Software Engineering ; 5904
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.

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