語系
Pighizzini, Giovanni.
概要
作品: | 1 作品在 6 項出版品 1 種語言 |
---|
書目資訊
Descriptional complexity of formal systems19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings /
by:
(1998 :); Campeanu, Cezar.; Pighizzini, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Mathematical foundations of computer science 201540th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part II /
by:
(1998 :); Italiano, Giuseppe F.; Pighizzini, Giovanni.; Sannella, Donald T.; SpringerLink (Online service)
(書目-電子資源)
Descriptional complexity of formal systems13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /
by:
(1998 :); Holzer, Markus.; Kutrib, Martin.; Pighizzini, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Descriptional complexity of formal systems22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020 : proceedings /
by:
(1998 :); Jiraskova, Galina.; Pighizzini, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Mathematical foundations of computer science 201540th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part I /
by:
(1998 :); Italiano, Giuseppe F.; Pighizzini, Giovanni.; Sannella, Donald T.; SpringerLink (Online service)
(書目-電子資源)
Descriptional complexity of formal systems20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings /
by:
(1998 :); Konstantinidis, Stavros.; Pighizzini, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Machine theory
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Language Translation and Linguistics.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Data Structures.
Database Management.
Formal methods (Computer science)
Formal languages
Numeric Computing.
Computer science
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.