Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Results
Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

by ICTAC (Colloquium) (10th : 2013 : Shanghai, China) | Liu, Zhiming, 1961- [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8049. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

by International Training School on Software Engineering (2013 : Shanghai, China) | Liu, Zhiming, 1961- [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | ICTAC (Colloquium) (10th : 2013 : Shanghai, China).

Series: Serienbezeichnung | Lecture notes in computer science ; 8050. | Lecture notes in computer science. Tutorial. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers / José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue (eds.).

by FACS (Symposium) (10th : 2013 : Nanchang, China) | Fiadeiro, José Luiz, 1961- [editor.] | Liu, Zhiming, 1961- [editor.] | Xue, Jinyun [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8348. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: FACS 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

by Liu, Zhiming, 1961- [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | He, Jifeng, 1943- [honouree.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8051. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin : Springer, 2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha