語系
Martins, Manuel A.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Molecular logic and computational synthetic biology = first International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018 : revised selected papers /
by:
MLCSB (Symposium) (2018 :); Chaves, Madalena.; Martins, Manuel A.; SpringerLink (Online service)
(書目-電子資源)
Dynamic logic = new trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /
by:
DaLi (International Workshop) (2020 :); Martins, Manuel A.; Sedlar, Igor.; SpringerLink (Online service)
(書目-電子資源)
Recent trends in algebraic development techniques = 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers /
by:
WADT (Workshop) (2022 :); Madeira, Alexandre.; Martins, Manuel A.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software engineering
Synthetic biology
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computer logic
Computer science- Mathematics
Abstract data types (Computer science)
Computer Science Logic and Foundations of Programming.
Numeric Computing.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Communication Networks.
Computer software- Development
Computational biology