Your search returned 16 results.

Not what you expected? Check for suggestions

Results
	1.	Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman. [E-Book] by Beyer, Dirk [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10806 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	2.	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 / edited by Tomáš Vojnar, Lijun Zhang. [E-Book] 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 access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	3.	Supercomputing Frontiers [electronic resource] : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / edited by Rio Yokota, Weigang Wu. by Yokota, Rio [editor.] Wu, Weigang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10776 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	4.	Structured Object-Oriented Formal Language and Method Book : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya. by Duan, Zhenhua Duan, Zhenhua [editor.] Liu, Shaoying [editor.] Nagoya, Fumiko [editor.] Tian, Cong [editor.] Series: Theoretical Computer Science and General Issues ; 11392 Edition: 1st ed. 2019. Material type: Text; Literary form: Not fiction Availability: Items available for loan: COMSATS University Wah Campus (1)Call number: 005.1 DUA 23697. Place hold Add to cart (remove)
	5.	Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed. [E-Book] by Ahmed, Amal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10801 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	6.	Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Heike Wehrheim, Jordi Cabot. [E-Book] by Wehrheim, Heike [editor.] Cabot, Jordi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12076 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	7.	Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings / edited by Christel Baier, Ugo Dal Lago. [E-Book] by Baier, Christel [editor.] Dal Lago, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10803 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	8.	Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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 / edited by Mikołaj Bojańczyk, Alex Simpson. [E-Book] by Bojańczyk, Mikołaj [editor.] Simpson, Alex [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11425 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	9.	Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher. [E-Book] by Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10981 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	10.	Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. [E-Book] by Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10982 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	11.	Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran. [E-Book] by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11561 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	12.	Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I / edited by Shuvendu K. Lahiri, Chao Wang. [E-Book] by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12224 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	13.	Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. [E-Book] by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12225 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	14.	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 access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	15.	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 access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	16.	Brain-Inspired Computing [electronic resource] : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers / edited by Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov. by Amunts, Katrin [editor.] Grandinetti, Lucio [editor.] Lippert, Thomas [editor.] Petkov, Nicolai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12339 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 E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)