Your search returned 11 results.

Results
	1.	Reversible Computation [electronic resource] : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / by Lanese, Ivan [editor.] Rawski, Mariusz [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12227 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)
	2.	Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / by Hooker, John [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11008 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)
	3.	Reliable Software Technologies – Ada-Europe 2018 [electronic resource] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / by Casimiro, António [editor.] Ferreira, Pedro M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10873 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)
	4.	Automated Technology for Verification and Analysis [electronic resource] : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings / by Hung, Dang Van [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12302 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)
	5.	Model and Data Engineering [electronic resource] : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings / by Attiogbé, Christian [editor.] Ben Yahia, Sadok [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12732 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)
	6.	Advances in Conceptual Modeling [electronic resource] : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings / by Reinhartz-Berger, Iris [editor.] Sadiq, Shazia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13012 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)
	7.	Services Computing – SCC 2021 [electronic resource] : 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings / by Katangur, Ajay [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12995 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Performance Evaluation and Benchmarking [electronic resource] : Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5895 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Applied Algorithms [electronic resource] : First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings / by Gupta, Prosenjit [editor.] Zaroliagis, Christos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8321 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)
	10.	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)
	11.	Fields of Logic and Computation III [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / by Blass, Andreas [editor.] Cégielski, Patrick [editor.] Dershowitz, Nachum [editor.] Droste, Manfred [editor.] Finkbeiner, Bernd [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12180 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)

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