Your search returned 10 results.

Results
	1.	Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings by Bouyer, Patricia [edt] Schröder, Lutz [edt] Bouyer, Patricia [oth] Schröder, Lutz [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2022 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	2.	Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 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 by Kiefer, Stefan [edt] Tasson, Christine [edt] Kiefer, Stefan [oth] Tasson, Christine [oth] Series: Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	3.	Fundamental Approaches to Software Engineering 24th International Conference, FASE 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 by Guerra, Esther [edt] Stoelinga, Mariëlle [edt] Guerra, Esther [oth] Stoelinga, Mariëlle [oth] Series: Material type: Article; Format: available online Language: English Publication details: Springer Nature 2021 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	4.	Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings by Müller, Peter [edt] Müller, Peter [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2020 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	5.	Benefit/Cost-Driven Software Development With Benefit Points and Size Points by Hannay, Jo Erskine [auth] Series: Simula SpringerBriefs on Computing Material type: Article; Format: available online Publication details: Springer Nature 2021 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 S61. Found in Open Library: Add to cart (remove)
	6.	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)
	7.	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)
	8.	Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I by Biere, Armin [edt] Parker, David [edt] Biere, Armin [oth] Parker, David [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2020 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	9.	Bayes Factors for Forensic Decision Analyses with R by Bozza, Silvia [auth] Taroni, Franco [auth] Biedermann, Alex [auth] Series: Springer Texts in Statistics Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2022 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 S79. Found in Open Library: Add to cart (remove)
	10.	Innovative Learning Environments in STEM Higher Education Opportunities, Challenges, and Looking Forward by Ryoo, Jungwoo [edt] Winkelmann, Kurt [edt] Ryoo, Jungwoo [oth] Winkelmann, Kurt [oth] Series: SpringerBriefs in Statistics 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.4 S79. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)

Report a problem