語系
Abate, Alessandro.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Hybrid systems biology = fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Abate, Alessandro.; SpringerLink (Online service); Safranek, David.
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
by:
SpringerLink (Online service); Abate, Alessandro.; Wolf, Verena.; Petrov, Tatjana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings /
by:
Boldo, Sylvie.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Abate, Alessandro.
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
Geeraerts, Gilles.; Abate, Alessandro.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Hybrid Systems Biology = Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers /
by:
Abate, Alessandro.; Safranek, David.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
Marin, Andrea.; SpringerLink (Online service); Abate, Alessandro.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
Abate, Alessandro.; SpringerLink (Online service); Marin, Andrea.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Bioinformatics.
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computational biology
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computer simulation
Machine theory.
Computers.
System analysis
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Formal Languages and Automata Theory.
Mathematics of Computing.
Computer Science.
Computer simulation.
Temporal automata
Computer communication systems.
Probability and Statistics in Computer Science.
Information Systems and Communication Service.
Mathematical statistics.
Data mining.
Simulation and Modeling.
Systems biology
Computer science.
Computational Biology/Bioinformatics.
Data Mining and Knowledge Discovery.
Computer software