Your search returned 6 results.

Results
	1.	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)
	2.	Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers by Cochez, Michael [edt] Croitoru, Madalina [edt] Marquis, Pierre [edt] Rudolph, Sebastian [edt] Cochez, Michael [oth] Croitoru, Madalina [oth] Marquis, Pierre [oth] Rudolph, Sebastian [oth] Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence ; v.12640 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.12640. Lists: Faculty Informational Technology. 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.	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)
	5.	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)
	6.	The Once-Only Principle The TOOP Project by Krimmer, Robert [edt] Prentza, Andriana [edt] Mamrot, Szymon [edt] Krimmer, Robert [oth] Prentza, Andriana [oth] Mamrot, Szymon [oth] Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI 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.418 L45. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)

Report a problem