語系
Bowles, Juliana.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
From data to models and back = 10th International Symposium, DataMod 2021, virtual event, December 6-7, 2021 : revised selected papers /
by:
DataMod (International Symposium) (2021 :); Bowles, Juliana.; Broccia, Giovanna.; Pellungrini, Roberto.; SpringerLink (Online service)
(書目-電子資源)
From data to models and back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 : revised selected papers /
by:
DataMod (Symposium) (2020 :); Bowles, Juliana.; Broccia, Giovanna.; Nanni, Mirco.; SpringerLink (Online service)
(書目-電子資源)
Logic-based program synthesis and transformation = 34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
LOPSTR (Symposium) (2024 :); Bowles, Juliana.; Søndergaard, Harald.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Theory of Computation.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Electronic data processing
Data mining
Logic programming
Formal methods (Computer science)
Computer logic
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Artificial Intelligence.
Computer software- Development