Formenti, Enrico.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(1998 :); Bournez, Olivier.; Formenti, Enrico.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Computational intelligence methods for bioinformatics and biostatistics10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013 : revised selected papers /
by:
(1998 :); Formenti, Enrico.; SpringerLink (Online service); Tagliaferri, Roberto.; Wit, Ernst.
(書目-電子資源)
主題
Image Processing and Computer Vision.
Software Engineering.
Pattern Recognition.
Logic in AI.
Mathematics of Computing.
Biometry
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer systems
Computer Science Logic and Foundations of Programming.
Data Mining and Knowledge Discovery.
Computational intelligence
Computer science
Formal Languages and Automata Theory.
Computer Science.
Decidability (Mathematical logic)
Design and Analysis of Algorithms.
Bioinformatics
Computational Biology/Bioinformatics.