Your search returned 6 results.

Results
	1.	Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II by Lahiri, Shuvendu K [edt] Wang, Chao [edt] Lahiri, Shuvendu K [oth] Wang, Chao [oth] Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; v.12225 Material type: Article; Format: available online Language: English Publication details: Springer Nature 2020 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.12225. Found in Open Library: Add to cart (remove)
	2.	Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I by Groote, Jan Friso [edt] Larsen, Kim Guldstrand [edt] Groote, Jan Friso [oth] Larsen, Kim Guldstrand [oth] Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; v.12651 Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.12651. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	3.	Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II by Groote, Jan Friso [edt] Larsen, Kim Guldstrand [edt] Groote, Jan Friso [oth] Larsen, Kim Guldstrand [oth] Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; v.12652 Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.12652. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	4.	Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 by Ulidowski, Irek [edt] Lanese, Ivan [edt] Schultz, Ulrik Pagh [edt] Ferreira, Carla [edt] Ulidowski, Irek [oth] Lanese, Ivan [oth] Schultz, Ulrik Pagh [oth] Ferreira, Carla [oth] Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues Material type: Article; Format: available online Language: English Publication details: Springer Nature 2020 Online access: Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	5.	Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings by Panda, Dhabaleswar K [edt] Panda, Dhabaleswar K [oth] Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues Material type: Article; Format: available online Language: English Publication details: Springer Nature 2020 Online access: Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	6.	Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I by Lahiri, Shuvendu K [edt] Wang, Chao [edt] Lahiri, Shuvendu K [oth] Wang, Chao [oth] Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; v.12224 Material type: Article; Format: available online Language: English Publication details: Springer Nature 2020 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.12224. Found in Open Library: Add to cart (remove)

Report a problem