Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
View Other Search Results
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Phillips, Andrew. editor.
Format:
Electronic Resources
Alıntı:
; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; applications
Yazar
Brijder, Robert. editor. (orcid)0000-0002-8912-1735
Format:
Electronic Resources
Alıntı:
correction -- Software tools for analysis, simulation, and design -- Synthetic biology and in vitro evolution
Yazar
Hodicky, Jan. editor.
Format:
Electronic Resources
Alıntı:
Tools for Algorithm Development and Validation Applied to Unmanned Systems -- Computer Models of Sensor
Yazar
Chen, Qingfeng. editor.
Format:
Electronic Resources
Alıntı:
This book is organized into thirteen chapters that range over the relevant approaches and tools in
Yazar
Halldórsson, Magnús M. editor.
Format:
Electronic Resources
Alıntı:
and Welfare -- Batched Point Location in SINR Diagrams via Algebraic Tools -- On the Randomized