Languages
Cortesi, Agostino.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
Proceedings of International Conference on Computational Intelligence and Data Engineering = ICCIDE 2022 /
by:
International Conference on Computational Intelligence and Data Engineering ((2022)); Chaki, Nabendu.; Devarakonda, Nagaraju.; Cortesi, Agostino.; SpringerLink (Online service)
(Electronic resources)
Verification, model checking and abstract interpretation = third international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papers /
by:
Cortesi, Agostino.; SpringerLink (Online service); VMCAI 2002 ((2002 :)
(Language materials, printed)
Proceedings of International Conference on Computational Intelligence and Data Engineering = ICCIDE 2017 /
by:
International Conference on Computational Intelligence & Data Engineering (2017 :); Chaki, Nabendu.; Cortesi, Agostino.; Devarakonda, Nagaraju.; SpringerLink (Online service)
(Electronic resources)
Static analysis = 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings /
by:
Cortesi, Agostino.; File, Gilberto.; SpringerLink (Online service); SAS'99 ((1999 :)
(Language materials, printed)
Computer information systems and industrial management = 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012 : proceedings /
by:
Cortesi, Agostino.; SpringerLink (Online service)
(Electronic resources)
Hyper-lattice algebraic model for data warehousing
by:
Sen, Soumya.; Cortesi, Agostino.; Chaki, Nabendu.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Communications Engineering, Networks.
Data Structures, Cryptology and Information Theory.
System analysis- Congresses.
Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.
Data mining
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Data Engineering.
Computer programming
Programming languages (Electronic computers)
Information Storage and Retrieval.
Computer networks- Security measures
Database management
Data warehousing.
Computational Intelligence.
Data Mining and Knowledge Discovery.
Big Data.
Order, Lattices, Ordered Algebraic Structures.
Computational intelligence
Artificial Intelligence.
Computer networks
Computer Science.
Computer Communication Networks.
Engineering.
Computer programs- Verification