Theories of programming : the life and works of Tony Hoare
                          
                               
                                                                            Year of Publication 2021
                         
                                            
                   
      
      
                                                                                
                                     
                      Full text
                                        
              
              Electronic
        eBook
          
              
          Processing metabolomics and proteomics data with open software : a practical guide
                          
                               
                                                                            Year of Publication 2020
                         
                                            
                   
      
      
                                                                                
                                     
                      Full text
                                        
              
              Electronic
        eBook
          
              
          Smarter energy : from smart metering to the smart grid
                          
                               
                                                                            Year of Publication 2016
                         
                                            
                   
      
      
                                                                                
                                     
                      Full text
                                        
              
              Electronic
        eBook