Your search returned 16 results.

Results
	1.	Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II by Shoham, Sharon [edt] Vizel, Yakir [edt] Shoham, Sharon [oth] Vizel, Yakir [oth] Series: Lecture Notes in Computer Science ; v.13372 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 L45 v.13372. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	2.	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 by Beyer, Dirk [edt] Huisman, Marieke [edt] Beyer, Dirk [oth] Huisman, Marieke [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2018 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.	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)
	4.	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)
	5.	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)
	6.	Human Computer Interaction for Intelligent Systems by Pleva, Matúš [edt] Liao, Yuan-Fu [edt] Bours, Patrick [edt] Pleva, Matúš [oth] Liao, Yuan-Fu [oth] Bours, Patrick [oth] Material type: Article; Format: available online Language: English Publication details: Basel MDPI - Multidisciplinary Digital Publishing Institute 2023 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.8 H91. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	7.	A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday by Chen, Jian-Jia [edt] Chen, Jian-Jia [oth] 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 A10. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	8.	Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I by Fisman, Dana [edt] Rosu, Grigore [edt] Fisman, Dana [oth] Rosu, Grigore [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)
	9.	Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems by Carreira, Paulo [edt] Amaral, Vasco [edt] Vangheluwe, Hans [edt] Carreira, Paulo [oth] Amaral, Vasco [oth] Vangheluwe, Hans [oth] Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2020 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1). Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	10.	Numerical and Symbolic Computation Developments and Applications by Loja, Maria Amélia Ramos [edt] Barbosa, Joaquim Infante [edt] Loja, Maria Amélia Ramos [oth] Barbosa, Joaquim Infante [oth] Material type: Article; Format: available online Language: English Publication details: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2020 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.02 N92. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	11.	Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II by Fisman, Dana [edt] Rosu, Grigore [edt] Fisman, Dana [oth] Rosu, Grigore [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)
	12.	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)
	13.	Fundamental Approaches to Software Engineering 25th International Conference, FASE 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 Johnsen, Einar Broch [edt] Wimmer, Manuel [edt] Johnsen, Einar Broch [oth] Wimmer, Manuel [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)
	14.	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)
	15.	Trustworthiness in Mobile Cyber Physical Systems by Kang, Kyungtae [edt] Son, Junggab [edt] Suh, Hyo-Joong [edt] Kang, Kyungtae [oth] Son, Junggab [oth] Suh, Hyo-Joong [oth] Material type: Article; Format: available online Language: English Publication details: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2021 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 T88. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	16.	Mathematical Modeling and Simulation in Mechanics and Dynamic Systems by Scutaru, Maria Luminița [edt] Pruncu, Catalin I [edt] Scutaru, Maria Luminița [oth] Pruncu, Catalin I [oth] Material type: Article; Format: available online Language: English Publication details: Basel MDPI - Multidisciplinary Digital Publishing Institute 2022 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.94 M39. Found in Open Library: Add to cart (remove)

Report a problem