Your search returned 10 results.

Not what you expected? Check for suggestions

Results
			Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II by Vojnar, Tomáš [edt] Zhang, Lijun [edt] Vojnar, Tomáš [oth] Zhang, Lijun [oth] Material type: Article Language: English Publication details: Springer Nature 2019 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)
			Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I by Vojnar, Tomáš [edt] Zhang, Lijun [edt] Vojnar, Tomáš [oth] Zhang, Lijun [oth] Material type: Article Language: English Publication details: Springer Nature 2019 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)
			Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I by Vojnar, Tomáš [edt] Zhang, Lijun [edt] Vojnar, Tomáš [oth] Zhang, Lijun [oth] Material type: Article Language: English Publication details: Springer Nature 2019 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)
			Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II by Vojnar, Tomáš [edt] Zhang, Lijun [edt] Vojnar, Tomáš [oth] Zhang, Lijun [oth] Material type: Article Language: English Publication details: Springer Nature 2019 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)
			Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I by Vojnar, Tomï¿½š [edt] Vojnar, Tomï¿½š [oth] Zhang, Lijun [edt] Zhang, Lijun [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Springer Nature 2019 Online resources: Open Access: OAPEN Library: description of the publication Open Access: OAPEN Library, download the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II by Vojnar, Tomï¿½š [edt] Vojnar, Tomï¿½š [oth] Zhang, Lijun [edt] Zhang, Lijun [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Springer Nature 2019 Online resources: Open Access: OAPEN Library: description of the publication Open Access: OAPEN Library, download the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Noise, vibration and harshness of electric and hybrid vehicles / Lijun Zhang, Dejian Meng, Gang Chen. by Zhang, Lijun [author] Meng, Dejian [author.] Chen, Gang (Mechanical engineer) [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: [United States] : SAE International, [2020]Copyright date: ©2020 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Diffusion foundations. Vol. 15 : modeling of diffusion and diffusion-controlled phase transformations in alloys : special topic volume with invited peer reviewed papers only / edited by Lijun Zhang. by Zhang, Lijun [editor.] Series: Diffusion foundations ; v. 15. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Zurich : Trans Tech Publications, Ltd., [2018]Copyright date: ©2018 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II / edited by Tomáš Vojnar, Lijun Zhang. by Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11428 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 resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I / edited by Tomáš Vojnar, Lijun Zhang. by Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11427 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 resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)