語系
Pighizzini, Giovanni.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Descriptional Complexity of Formal Systems = 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings /
by:
Jirásková, Galina.; Pighizzini, Giovanni.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Descriptional complexity of formal systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings /
by:
Konstantinidis, Stavros.; SpringerLink (Online service); Pighizzini, Giovanni.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
SOFSEM 2019: Theory and Practice of Computer Science = 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings /
by:
Catania, Barbara.; Královič, Rastislav.; SpringerLink (Online service); Pighizzini, Giovanni.; Nawrocki, Jerzy.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part I /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Italiano, Giuseppe F.; Pighizzini, Giovanni.; SpringerLink (Online service); Sannella, Donald T.
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings /
by:
SpringerLink (Online service); Pighizzini, Giovanni.; Konstantinidis, Stavros.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
by:
Pighizzini, Giovanni.; SpringerLink (Online service); Sannella, Donald T.; Italiano, Giuseppe F.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part II /
by:
Pighizzini, Giovanni.; SpringerLink (Online service); Sannella, Donald T.; Italiano, Giuseppe F.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
by:
Italiano, Giuseppe F.; SpringerLink (Online service); Pighizzini, Giovanni.; Sannella, Donald T.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Descriptional complexity of formal systems = 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings /
by:
Pighizzini, Giovanni.; SpringerLink (Online service); Campeanu, Cezar.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /
by:
Kutrib, Martin.; Holzer, Markus.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Pighizzini, Giovanni.
(書目-語言資料,印刷品)
主題
Algorithm Analysis and Problem Complexity.
Language Translation and Linguistics.
Data Structures.
Computer communication systems.
Numeric Computing.
Computation by Abstract Devices.
Computer science—Mathematics.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP).
Logics and Meanings of Programs.
Natural language processing (Computer science).
Database management.
Discrete Mathematics in Computer Science.
Artificial Intelligence.
Numerical analysis.
Computer Communication Networks.
Software engineering.
Computer science
Formal languages
Data structures (Computer science).
Formal methods (Computer science)
Machine theory
Software Engineering.
Software Engineering/Programming and Operating Systems.
Artificial intelligence.
Algorithms.
Database Management.
Computer logic.
Computer Science.
Mathematical logic.
Math Applications in Computer Science.