Refine your search

Your search returned 9265 results.

Sort
Results
361.
Formal Aspects of Component Software [electronic resource] : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers / by Series: Programming and Software Engineering ; 10231
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.

362.
Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings / by Series: Programming and Software Engineering ; 4807
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.

363.
Middleware 2012 [electronic resource] : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings / by Series: Programming and Software Engineering ; 7662
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.

364.
365.
366.
Information and Communication Technologies [electronic resource] : 18th EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7479
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.

367.
Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / by Series: Programming and Software Engineering ; 3395
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.

368.
Security in Pervasive Computing [electronic resource] : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2802
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.

369.
370.
Knowledge Science, Engineering and Management [electronic resource] : Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5914
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.

371.
372.
Intelligent Virtual Agents [electronic resource] : 6th International Conference, IVA 2006, Marina Del Rey, CA; USA, August 21-23, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4133
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.

373.
Brain Informatics and Health [electronic resource] : International Conference, BIH 2014, Warsaw, Poland, August 11-14, 2014.Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8609
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.

374.
From Animals to Animats 12 [electronic resource] : 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7426
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.

375.
376.
377.
378.
379.
380.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in