Your search returned 19 results.

Results
	1.	Evolving OpenMP for Evolving Architectures [electronic resource] : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings / by de Supinski, Bronis R [editor.] Valero-Lara, Pedro [editor.] Martorell, Xavier [editor.] Mateo Bellido, Sergi [editor.] Labarta, Jesus [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11128 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Search Based Software Engineering [electronic resource] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / by Menzies, Tim [editor.] Petke, Justyna [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10452 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity [electronic resource] : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers / by Pophale, Swaroop [editor.] Imam, Neena [editor.] Aderholdt, Ferrol [editor.] Gorentla Venkata, Manjunath [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11283 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Programming and Performance Visualization Tools [electronic resource] : International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers / by Bhatele, Abhinav [editor.] Boehme, David [editor.] Levine, Joshua A [editor.] Malony, Allen D [editor.] Schulz, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11027 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Software Architecture [electronic resource] : 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings / by Bures, Tomas [editor.] Duchien, Laurence [editor.] Inverardi, Paola [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11681 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Reversible Computation [electronic resource] : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / by Kari, Jarkko [editor.] Ulidowski, Irek [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11106 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Formal Methods: Foundations and Applications [electronic resource] : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / by Carvalho, Gustavo [editor.] Stolz, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12475 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings / by Namjoshi, Kedar [editor.] Yoneda, Tomohiro [editor.] Higashino, Teruo [editor.] Okamura, Yoshio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4762 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 [electronic resource] : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / by Fonseca i Casas, Pau [editor.] Sancho, Maria-Ribera [editor.] Sherratt, Edel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11753 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence [electronic resource] : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers / by Gorentla Venkata, Manjunath [editor.] Imam, Neena [editor.] Pophale, Swaroop [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10679 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Reversible Computation [electronic resource] : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings / by Phillips, Iain [editor.] Rahaman, Hafizur [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10301 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Reversible Computation [electronic resource] : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / by Krivine, Jean [editor.] Stefani, Jean-Bernard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9138 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Reversible Computation [electronic resource] : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings / by Yamashita, Shigeru [editor.] Minato, Shin-ichi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8507 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Tests and Proofs [electronic resource] : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / by Gabmeyer, Sebastian [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10375 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers / by Glück, Robert [editor.] Yokoyama, Tetsuo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7581 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings / by Peled, Doron A [editor.] Tsay, Yih-Kuen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3707 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / by Dueck, Gerhard W [editor.] Miller, D. Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7948 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Theory and Practice of Model Transformation [electronic resource] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / by Guerra, Esther [editor.] van den Brand, Mark [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10374 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / by Graf, Susanne [editor.] Zhang, Wenhui [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4218 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 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