語系
Cortesi, Agostino.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
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)
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
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)
(書目-電子資源)
Hyper-lattice algebraic model for data warehousing
by:
Sen, Soumya.; Cortesi, Agostino.; Chaki, Nabendu.; SpringerLink (Online service)
(書目-電子資源)
主題
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