Search

Your search returned 6 results.

Not what you expected? Check for suggestions

Results
		Mathematical frameworks for component software : models for analysis and synthesis / [edited by] Zhiming Liu, He Jifeng. by He, Jifeng, 1943- \| Liu, Zhiming, 1961-. Series: Series on component-based software development ; v. 2.Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Hackensack, NJ : World Scientific, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Place hold Log in to add tags
		Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.). by SETSS (International school) (2nd : 2016 : Chongqing, China) \| Bowen, J. P. (Jonathan Peter), 1956- [editor.] \| Liu, Zhiming, 1961- [editor.] \| Zhang, Zili (Senior lecturer) [editor.]. Series: Serienbezeichnung \| Lecture notes in computer science ; 10215. \| LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: SETSS 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Place hold Log in to add tags
		Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.). by SETSS (International school) (3rd : 2017 : Chongqing, China) \| Bowen, J. P. (Jonathan Peter), 1956- [editor.] \| Liu, Zhiming, 1961- [editor.] \| Zhang, Zili (Senior lecturer) [editor.]. Series: Serienbezeichnung \| Lecture notes in computer science ; 11174. \| LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: SETSS 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Place hold Log in to add tags
		Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.). by SETSS (International school) (4th : 2018 : Chongqing, China) \| Bowen, J. P. (Jonathan Peter), 1956- [editor.] \| Liu, Zhiming, 1961- [editor.] \| Zhang, Zili [editor.]. Series: Serienbezeichnung \| Lecture notes in computer science ; 11430. \| LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019Other title: SETSS 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Place hold Log in to add tags
		Engineering trustworthy software systems : 5th international school, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.). by SETSS (International school) (5rd : 2019 : Chongqing, China) \| Bowen, J. P. (Jonathan Peter), 1956- [editor.] \| Liu, Zhiming, 1961- [editor.] \| Zhang, Zili (Senior lecturer) [editor.]. Series: Serienbezeichnung \| Lecture notes in computer science ; 12154. \| LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Other title: SETSS 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Place hold Log in to add tags
		Engineering trustworthy software systems : 5th international school, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.). by SETSS (International school) (5rd : 2019 : Chongqing, China) \| Bowen, J. P. (Jonathan Peter), 1956- [editor.] \| Liu, Zhiming, 1961- [editor.] \| Zhang, Zili (Senior lecturer) [editor.]. Series: Serienbezeichnung \| Lecture notes in computer science ; 12154. \| LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Other title: SETSS 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Place hold Log in to add tags

Powered by Koha