Mathematics - Data processing.
概要
            | 作品: | 28 作品在 16 項出版品 16 種語言 | |
|---|---|---|
書目資訊
          
                      
                        Computational methods in nonlinear analysis = efficient algorithms, fixed point theory and applications /
                      
                      by: 
                      
                      (書目-語言資料,印刷品)
                      
                    
                      
                        An introduction to SAGE programming : = with applications to SAGE interacts for mathematics /
                      
                      by: 
                      
                      (書目-語言資料,印刷品)
                      
                    
                      
                        Generalized Jeffrey conditionalization = a Frequentist Semantics of Partial Conditionalization /
                      
                      by: 
                      
                      (書目-語言資料,印刷品)
                      
                    
                      
                        Proof and computation II = from proof theory and univalent mathematics to program extraction and verification /
                      
                      by: 
                      
                      (書目-語言資料,印刷品)
                      
                    
                  
                  
                      更多
                    
                    
                      較少的
                    
                  主題