Your search returned 1905 results.

Sort
Results
921.
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers / by Series: Programming and Software Engineering ; 5421
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.

922.
Theory and Practice of Natural Computing [electronic resource] : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9477
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.

923.
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / by Series: Programming and Software Engineering ; 4670
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.

924.
925.
Ambient Assisted Living and Home Care [electronic resource] : 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7657
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.

926.
Future Internet Testing [electronic resource] : First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8432
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.

927.
928.
Web Information System Engineering -- WISE 2011 [electronic resource] : 12th International Conference, Sydney, Australia, October 13-14, 2011, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6997
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.

929.
Algorithms - ESA 2007 [electronic resource] : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4698
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.

930.
Personal Wireless Communications [electronic resource] : IFIP TC6 11th International Conference, PWC 2006, Albacete, Spain, September 20-22, 2006, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 4217
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.

931.
Logic Programs, Norms and Action [electronic resource] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / by Series: Lecture Notes in Artificial Intelligence ; 7360
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.

932.
Rules on the Web: Research and Applications [electronic resource] : 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings / by Series: Programming and Software Engineering ; 7438
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.

933.
934.
935.
Conceptual Modeling [electronic resource] : 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7532
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.

936.
Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7342
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.

937.
Task Models and Diagrams for Users Interface Design [electronic resource] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers / by Series: Programming and Software Engineering ; 4385
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.

938.
939.
Interactive Systems. Design, Specification, and Verification [electronic resource] : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings / by Series: Programming and Software Engineering ; 5136
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.

940.
Web Reasoning and Rule Systems [electronic resource] : Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5837
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