Your search returned 5 results.

Not what you expected? Check for suggestions

Results
	1.	Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers / Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.). by SOFL+MSVL (Workshop) (6th : 2016 : Tokyo, Japan) Liu, Shaoying, 1960- [editor.] Duan, Zhenhua [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] Series: Lecture notes in computer science ; 10189. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: SOFL+MSVL 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan. by SOFL+MSVL (Workshop) (7th : 2017 : Xi'an, China) Tian, Cong [editor.] Nagoya, Fumiko [editor.] Liu, Shaoying, 1960- [editor.] Duan, Zhenhua [editor.] Series: Lecture notes in computer science ; 10795. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers / Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.). by SOFL+MSVL (Workshop) (8th : 2018 : Gold Coast, Qld.) Duan, Zhenhua [editor.] Liu, Shaoying, 1960- [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] Series: Lecture notes in computer science ; 11392. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019 Other title: SOFL+MSVL 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Computing and combinatorics : 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, proceedings / Ding-Zhu Du, Zhenhua Duan, Cong Tian (Eds.). by Du, Dingzhu [editor.] Duan, Zhenhua [editor.] Tian, Cong [editor.] Series: Lecture notes in computer science ; 11653. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2019] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers / Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (eds.). by SOFL+MSVL (Workshop) (9th : 2019 : Shenzhen, China) Miao, Huaikou, 1953- Tian, Cong Liu, Shaoying, 1960- Duan, Zhenhua Series: Lecture notes in computer science ; 12028. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2020 Other title: SOFL+MSVL 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha