Bonsangue, Marcello M.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Methods for Components and Objects7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(1998 :); Boer, Frank S de.; Bonsangue, Marcello M.; Madelaine, Eric.; SpringerLink (Online service)
(書目-電子資源)
Coalgebraic methods in computer science12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /
by:
(1998 :); Bonsangue, Marcello M.; SpringerLink (Online service)
(書目-電子資源)
Data science and artificial intelligencefirst International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023 : proceedings /
by:
(1998 :); Anutariya, Chutiporn.; Bonsangue, Marcello M.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial intelligence
Data Science.
Computer Vision.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Operating Systems.
Computer software
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer science
Artificial Intelligence.
Machine Learning.
Computer Science.
Probability and Statistics in Computer Science.
Object-oriented programming (Computer science)