Languages
          
        
        
      Pighizzini, Giovanni.
Overview
            | Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    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)
                  (Language materials, printed)
                  , [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 :)
                  (Language materials, printed)
                  
                  
                
                  
                    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.
                  (Language materials, printed)
                  , [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.
                  (Language materials, printed)
                  
                  
                
                  
                    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.
                  (Language materials, printed)
                  , [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.
                  (Language materials, printed)
                  , [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 :)
                  (Language materials, printed)
                  
                  
                
                  
                    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.
                  (Language materials, printed)
                  , [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 :)
                  (Language materials, printed)
                  
                  
                
                  
                    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.
                  (Language materials, printed)
                  
                  
                
                
          Subjects
          
            
              
                Software Engineering.
              
            
              
                Mathematical logic.
              
            
              
                Formal methods (Computer science)
              
            
              
                Computer science—Mathematics.
              
            
              
                Software Engineering/Programming and Operating Systems.
              
            
              
                Algorithm Analysis and Problem Complexity.
              
            
              
                Math Applications in Computer Science.
              
            
              
                Computer logic.
              
            
              
                Numerical analysis.
              
            
              
                Artificial intelligence.
              
            
              
                Computer Communication Networks.
              
            
              
                Software engineering.
              
            
              
                Language Translation and Linguistics.
              
            
              
                Natural language processing (Computer science).
              
            
              
                Data Structures.
              
            
              
                Data structures (Computer science).
              
            
              
                Computer Science.
              
            
              
                Logics and Meanings of Programs.
              
            
              
                Mathematical Logic and Formal Languages.
              
            
              
                Computer science
              
            
              
                Algorithms.
              
            
              
                Computation by Abstract Devices.
              
            
              
                Database Management.
              
            
              
                Computer communication systems.
              
            
              
                Formal languages
              
            
              
                Database management.
              
            
              
                Artificial Intelligence.
              
            
              
                Natural Language Processing (NLP).
              
            
              
                Discrete Mathematics in Computer Science.
              
            
              
                Machine theory
              
            
              
                Numeric Computing.