Your search returned 37 results.

Results
	21.	Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by Bartocci, Ezio [editor.] Falcone, Yliès [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13065 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	22.	Fundamentals of Software Engineering [electronic resource] : 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers / by Hojjat, Hossein [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12818 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	23.	Performance Evaluation and Benchmarking [electronic resource] : 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12752 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	Search-Based Software Engineering [electronic resource] : 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings / by O'Reilly, Una-May [editor.] Devroey, Xavier [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12914 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	25.	Runtime Verification [electronic resource] : 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings / by Feng, Lu [editor.] Fisman, Dana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12974 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	26.	Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by Drăgoi, Cezara [editor.] Mukherjee, Suvam [editor.] Namjoshi, Kedar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12913 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	27.	Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / by Hou, Zhe [editor.] Ganesh, Vijay [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12971 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	28.	Formal Aspects of Component Software [electronic resource] : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / by Salaün, Gwen [editor.] Wijs, Anton [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13077 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	29.	Formal Methods: Foundations and Applications [electronic resource] : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings / by Campos, Sérgio [editor.] Minea, Marius [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13130 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	30.	NASA Formal Methods [electronic resource] : 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by Dutle, Aaron [editor.] Moscato, Mariano M [editor.] Titolo, Laura [editor.] Muñoz, César A [editor.] Perez, Ivan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12673 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	31.	Formal Methods [electronic resource] : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / by Huisman, Marieke [editor.] Păsăreanu, Corina [editor.] Zhan, Naijun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13047 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	32.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / by Qin, Shengchao [editor.] Woodcock, Jim [editor.] Zhang, Wenhui [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13071 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	33.	Service-Oriented Computing [electronic resource] : 19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings / by Hacid, Hakim [editor.] Kao, Odej [editor.] Mecella, Massimo [editor.] Moha, Naouel [editor.] Paik, Hye-young [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13121 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	34.	Product-Focused Software Process Improvement [electronic resource] : 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings / by Ardito, Luca [editor.] Jedlitschka, Andreas [editor.] Morisio, Maurizio [editor.] Torchiano, Marco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13126 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	35.	Performance Engineering and Stochastic Modeling [electronic resource] : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings / by Ballarini, Paolo [editor.] Castel, Hind [editor.] Dimitriou, Ioannis [editor.] Iacono, Mauro [editor.] Phung-Duc, Tuan [editor.] Walraevens, Joris [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13104 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	36.	Rules and Reasoning [electronic resource] : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings / by Moschoyiannis, Sotiris [editor.] Peñaloza, Rafael [editor.] Vanthienen, Jan [editor.] Soylu, Ahmet [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12851 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	37.	Service-Oriented Computing – ICSOC 2020 Workshops [electronic resource] : AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings / by Hacid, Hakim [editor.] Outay, Fatma [editor.] Paik, Hye-young [editor.] Alloum, Amira [editor.] Petrocchi, Marinella [editor.] Bouadjenek, Mohamed Reda [editor.] Beheshti, Amin [editor.] Liu, Xumin [editor.] Maaradji, Abderrahmane [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12632 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

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