Your search returned 10 results.

Not what you expected? Check for suggestions

Results
			New trends towards Mediterranean tourism sustainability / Luís Miguel Rosalino, Alexandra Silva and António Abreu, editors. by Rosalino, Luís M Silva, Alexandra Abreu, António Series: Hospitality, tourism and marketing studies Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Hauppauge, NY : Nova Science Publisher's, Incorporated, c2012 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Foundations of probabilistic programming / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva. by Barthe, Gilles, 1967- [editor.] Katoen, Joost-Pieter [editor.] Silva, Alexandra [editor.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2021 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino. by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12759 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 resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino. by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12760 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 resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II by Silva, Alexandra [edt] Leino, K. Rustan M [edt] Silva, Alexandra [oth] Leino, K. Rustan M [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I by Silva, Alexandra [edt] Leino, K. Rustan M [edt] Silva, Alexandra [oth] Leino, K. Rustan M [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II by Silva, Alexandra [edt] Leino, K. Rustan M [edt] Silva, Alexandra [oth] Leino, K. Rustan M [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I by Silva, Alexandra [edt] Leino, K. Rustan M [edt] Silva, Alexandra [oth] Leino, K. Rustan M [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II by Silva, Alexandra [edt] Leino, K. Rustan M [edt] Leino, K. Rustan M [oth] Silva, Alexandra [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Springer Nature 2021 Online resources: Open Access: OAPEN Library, download the publication Open Access: OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I by Silva, Alexandra [edt] Leino, K. Rustan M [edt] Leino, K. Rustan M [oth] Silva, Alexandra [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Springer Nature 2021 Online resources: Open Access: OAPEN Library, download the publication Open Access: OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)