Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Hybrid systems biology : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014 : revised selected papers / Oded Maler, Ádám Halász, Thao Dang, Carla Piazza (Eds.). by HSB (Workshop) (2nd : 2013 : Taormina, Italy) Maler, O. (Oded) [editor.] Halász, Ádám [editor.] Dang, Thao [editor.] Piazza, Carla [editor.] HSB (Workshop) (3rd : 2014 : Vienna, Austria) Series: Lecture notes in computer science. Lecture notes in bioinformatics ; ; 7699. \| LNCS sublibrary. SL 8, Bioinformatics. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: [Cham] : Springer, [2015]Copyright date: ©2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings / Thao Dang, Volker Stolz (eds.). by RV (Conference) (22nd : 2022 : Tʻbilisi, Georgia : Online) Dang, Thao [editor.] Stolz, V. (Volker) [editor.] Series: Lecture notes in computer science ; 13498. \| Lecture notes in computer science. Formal methods. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2022]Copyright date: ©2022 Other title: RV 2022 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search