Your search returned 611 results.

Sort
Results
381.
382.
383.
384.
385.
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.

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

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

388.
Ergonomics and Health Aspects of Work with Computers [electronic resource] : International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4566
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.

389.
390.
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.

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

392.
393.
Fun and Games [electronic resource] : Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings / by Series: Programming and Software Engineering ; 5294
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.

394.
395.
396.
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.

397.
Cooperative Design, Visualization, and Engineering [electronic resource] : 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9320
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.

398.
399.
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.

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