Your search returned 16 results.

Results
	1.	Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings by Russo, Alessandra [edt] Schürr, Andy [edt] Russo, Alessandra [oth] Schürr, Andy [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)
	2.	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 by Baier, Christel [edt] Dal Lago, Ugo [edt] Baier, Christel [oth] Dal Lago, Ugo [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: 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)
	4.	Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings by Yokota, Rio [edt] Wu, Weigang [edt] Yokota, Rio [oth] Wu, Weigang [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)
	5.	Programming Languages and Systems 31st European Symposium on Programming, ESOP 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 Sergey, Ilya [edt] Sergey, Ilya [oth] Series: Lecture Notes in Computer Science ; v.13240 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.13240. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	6.	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 I 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)
	7.	Linguistics for the Age of AI by McShane, Marjorie [auth] Nirenburg, Sergei [auth] Series: The MIT Press Material type: Article; Format: available online Language: English Publication details: Cambridge The MIT Press 2021 Online access: Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 T44 . 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.	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)
	10.	Knowledge Graphs and Big Data Processing by Janev, Valentina [edt] Graux, Damien [edt] Jabeen, Hajira [edt] Sallinger, Emanuel [edt] Janev, Valentina [oth] Graux, Damien [oth] Jabeen, Hajira [oth] Sallinger, Emanuel [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 2020 Online access: Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.4 L45. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	11.	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)
	12.	Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings by Berthold, Michael [edt] Feelders, Ad [edt] Krempl, Georg [edt] Berthold, Michael [oth] Feelders, Ad [oth] Krempl, Georg [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: Cham Springer Nature 2020 Online access: Download 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)
	13.	Advanced Topics in Systems Safety and Security by Pricop, Emil [edt] Stamatescu, Grigore [edt] Fattahi, Jaouhar [edt] Pricop, Emil [oth] Stamatescu, Grigore [oth] Fattahi, Jaouhar [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.056 A20. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)
	14.	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)
	15.	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)
	16.	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)

Report a problem