Martins, Manuel A.
Overview
| Works: | 3 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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 :)
(Language materials, printed)
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.
(Language materials, printed)
, [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 :)
(Language materials, printed)
Subjects
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