Cortesi, Agostino.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Proceedings of International Conference on Computational Intelligence and Data Engineering = ICCIDE 2022 /
by:
Chaki, Nabendu.; Devarakonda, Nagaraju.; Cortesi, Agostino.; SpringerLink (Online service); International Conference on Computational Intelligence and Data Engineering ((2022))
(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)
Space data management
by:
Cortesi, Agostino.; SpringerLink (Online service); Outer space
(Electronic resources)
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.
Space sciences- Remote sensing.
Data Analysis and Big Data.
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.
Space Studies.
Science and Technology Studies.
Order, Lattices, Ordered Algebraic Structures.
Computational intelligence
Artificial Intelligence.
Space sciences- Data processing.
Computer networks
Computer Science.
Computer Communication Networks.
Engineering.
Outer space- Research.
Computer programs- Verification