Martins, Manuel A.
概要
| 作品: | 2 作品在 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.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Numerical analysis.
Computer Communication Networks.
Formal Languages and Automata Theory.
Computational biology
Programming Techniques.
Mathematical Logic and Formal Languages.
Algorithms.
Computer science
Computer communication systems.
Artificial Intelligence.
Abstract data types (Computer science)
Synthetic biology
Numeric Computing.
Computer Science Logic and Foundations of Programming.
Computer software