Refine your search

Your search returned 425 results.

Sort
Results
41.
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / by Series: Programming and Software Engineering ; 5002
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.

42.
Research on Modeling and Using Context Over 25 Years [electronic resource] / by Series: SpringerBriefs in Computer Science
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

43.
Model Driven Engineering Languages and Systems [electronic resource] : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings / by Series: Programming and Software Engineering ; 4735
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.

44.
Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by Series: Programming and Software Engineering ; 11119
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

45.
46.
Software Language Engineering [electronic resource] : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / by Series: Programming and Software Engineering ; 8706
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.

47.
48.
49.
50.
51.
52.
53.
54.
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / by Series: Theoretical Computer Science and General Issues ; 8051
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.

55.
56.
57.
Conceptual Modeling [electronic resource] : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8824
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.

58.
Multi-Agent Systems [electronic resource] : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 8953
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.

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