Your search returned 6 results.

Results
	1.	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)
	2.	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)
	3.	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)
	4.	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)
	5.	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)
	6.	Programming Languages and Systems: 27th European Symposium on Programming, ESOP 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 Ahmed, Amal [auth] Series: Theoretical Computer Science and General Issues Series ; v.10801 Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2018 Online access: Download Description Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 T44 v.10801. Lists: Faculty Informational Technology. Found in Open Library: Add to cart (remove)

Report a problem