Languages
          
        
        
      Barkatou, Moulay.
Overview
            | Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    Algebraic and algorithmic aspects of differential and integral operators = 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012  : selected and invited papers /
                  
                  by: 
                  Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Barkatou, Moulay.
                  (Language materials, printed)
                  
                  
                
                
          Subjects
          
            
              
                Computer software.
              
            
              
                Algebra
              
            
              
                Discrete Mathematics in Computer Science.
              
            
              
                Algorithm Analysis and Problem Complexity.
              
            
              
                Computational complexity.
              
            
              
                Symbolic and Algebraic Manipulation.
              
            
              
                Logics and Meanings of Programs.
              
            
              
                Mathematical Logic and Formal Languages.
              
            
              
                Computer science.
              
            
              
                Differential equations, Partial.
              
            
              
                Logic design.