Bonsangue, Marcello M.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Theoretical aspects of computing - ICTAC 2024 = 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024 : proceedings /
by:
SpringerLink (Online service); Anutariya, Chutiporn.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bonsangue, Marcello M.
(Language materials, printed)
Data science and artificial intelligence = first International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023 : proceedings /
by:
Bonsangue, Marcello M.; Workshop on the Preservation of Stability under Discretization ((2001 :); Anutariya, Chutiporn.; SpringerLink (Online service)
(Language materials, printed)
Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
SpringerLink (Online service); Madelaine, Eric.; Boer, Frank S de.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bonsangue, Marcello M.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Artificial intelligence
Software Engineering/Programming and Operating Systems.
Artificial Intelligence.
Operating Systems.
Machine Learning.
Object-oriented programming (Computer science)
Natural Language Processing (NLP)
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer Vision.
Logics and Meanings of Programs.
Computer science
Computer Science Logic and Foundations of Programming.
Data Science.