Languages
Bowles, Juliana.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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