Martins, Manuel A.
概要
| 作品: | 3 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Molecular Logic and Computational Synthetic Biology = First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers /
by:
SpringerLink (Online service); Martins, Manuel A.; Chaves, Madalena.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Molecular logic and computational synthetic biology = first International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018 : revised selected papers /
by:
SpringerLink (Online service); Martins, Manuel A.; Chaves, Madalena.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Dynamic Logic. New Trends and Applications = Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers /
by:
SpringerLink (Online service); Martins, Manuel A.; Sedlár, Igor.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
SpringerLink (Online service); Martins, Manuel A.; Madeira, Alexandre.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Artificial Intelligence.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Numerical analysis.
Computer Communication Networks.
Formal Languages and Automata Theory.
Abstract data types (Computer science)
Synthetic biology
Computational biology
Programming Techniques.
Mathematical Logic and Formal Languages.
Numeric Computing.
Algorithms.
Computer science
Computer software
Computer Science Logic and Foundations of Programming.
Computer communication systems.