Nicola, Rocco.
Overview
            | Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
          
                  
                    Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
                  
                  by: 
                  Degano, Pierpaolo.; Nicola, Rocco.; SpringerLink (Online service); Meseguer, Jose.
                  (Language materials, printed)
                  
                  
                
                
          Subjects
          
            
              
                Software Engineering.
              
            
              
                Artificial Intelligence (incl. Robotics)
              
            
              
                Rewriting systems (Computer science)
              
            
              
                Algorithm Analysis and Problem Complexity.
              
            
              
                Symbolic and Algebraic Manipulation.
              
            
              
                Software engineering.
              
            
              
                Logics and Meanings of Programs.
              
            
              
                Mathematical Logic and Formal Languages.
              
            
              
                Computer simulation.
              
            
              
                Computer software
              
            
              
                Multitasking (Computer science)
              
            
              
                Computer programming.
              
            
              
                Computer Science.