Your search returned 382 results.

Sort
Results
221.
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / by Series: Programming and Software Engineering ; 7843
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.

222.
Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers / by Series: Programming and Software Engineering ; 4323
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.

223.
Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / by Series: Programming and Software Engineering ; 6551
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.

224.
225.
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.

226.
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.

227.
228.
Ubiquitous Computing Systems [electronic resource] : 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4836
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.

229.
230.
Dynamic Data-Driven Environmental Systems Science [electronic resource] : First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8964
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.

231.
232.
233.
234.
Agents for Educational Games and Simulations [electronic resource] : International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011, Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 7471
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.

235.
Web Services and Formal Methods [electronic resource] : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers / by Series: Programming and Software Engineering ; 8379
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

236.
Human-Computer Interaction: Users and Contexts [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part III / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9171
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.

237.
FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / by Series: Programming and Software Engineering ; 5850
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.

238.
Adaptive Agents and Multi-Agent Systems II [electronic resource] : Adaptation and Multi-Agent Learning / by Series: Lecture Notes in Artificial Intelligence ; 3394
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.

239.
Software Engineering in Health Care [electronic resource] : 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers / by Series: Programming and Software Engineering ; 9062
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.

240.
The Personal Web [electronic resource] : A Research Agenda / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7855
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.

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