Languages
          
        
        
      Lau, Kung-Kiu.
Overview
            | Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    Service-oriented and cloud computing = Second European Conference, ESOCC 2013, Malaga, Spain, September 11-13, 2013 : proceedings /
                  
                  by: 
                  Lamersdorf, Winfried.; SpringerLink (Online service); Lau, Kung-Kiu.; Workshop on the Preservation of Stability under Discretization ((2001 :); Pimentel, Ernesto.
                  (Language materials, printed)
                  
                  
                
                  
                    Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
                  
                  by: 
                  Workshop on the Preservation of Stability under Discretization ((2001 :); Lau, Kung-Kiu.; SpringerLink (Online service); Banach, Richard.
                  (Language materials, printed)
                  
                  
                
                
          Subjects
          
            
              
                Software Engineering.
              
            
              
                Management of Computing and Information Systems.
              
            
              
                Formal methods (Computer science)
              
            
              
                Systems and Data Security.
              
            
              
                Programming Languages, Compilers, Interpreters.
              
            
              
                Cloud computing
              
            
              
                Logics and Meanings of Programs.
              
            
              
                Service-oriented architecture (Computer science)
              
            
              
                Database Management.
              
            
              
                Information Storage and Retrieval.
              
            
              
                Business Information Systems.
              
            
              
                Software engineering
              
            
              
                Computer Science.