Theories of programming : the life and works of Tony Hoare
                          
                               
                                                                            Year of Publication 2021
                         
                                            
                   
      
      
                                                                                
                                     
                      Full text
                                        
              
              Electronic
        eBook
          
              
          Software engineering for embedded systems : methods, practical techniques, and applications
                          
                               
                                                                            Year of Publication 2013
                         
                                            
                   
      
      
                                                                                
                                     
                      Full text
                                        
              
              Electronic
        eBook
          
              
          Device-to-device-based proximity service : architecture, issues, and applications
                                      
                                            Wang, Yufeng (Computer scientist),                              Vasilakos, Athanasios,                              Jin, Q. 1962-,                              Zhu, Hongbo (Computer scientist)                              
Year of Publication 2017
                         
                                            
                   
      
      
                                                                                
                                     
                      Full text
                                        
              Year of Publication 2017
              Electronic
        eBook
          
              
          Acoustic emission testing : basics for research - applications in engineering
                          
                               
                                                                            Year of Publication 2022
                         
                                            
                   
      
      
                                                                                
                                     
                      Full text
                                        
              
              Electronic
        eBook