| 
			1 | 
		
			
									
						Engineering haptic devices Hamburg : Universitätsbibliothek der Technischen Universität Hamburg, 2023
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			2 | 
		
			
									
						Towards Efficient Resource Allocation for Embedded Systems Hasler, Mattis. - Dresden : Technische Universität Dresden, 2023
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			3 | 
		
			
									
						Konzept für die semantische Interoperabilität zwischen Informationsmodellen Miny, Torben. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			4 | 
		
			
									
						Personalisierte eHomes Armaç, Ibrahim. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			5 | 
		
			
									
						Softwareunterstützung für adaptive eHome-Systeme Retkowitz, Daniel. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			6 | 
		
			
									
						Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems Wenckstern, Michael von. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			7 | 
		
			
									
						Evaluating demand response opportunities for data centers Klingert, Sonja. - Mannheim : Universitätsbibliothek Mannheim, 2021
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			8 | 
		
			
									
						Organic computing Kassel : kassel university press c/o Universität Kassel - Universitätsbibliothek, 2021
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			9 | 
		
			
									
						Formalization of logical calculi in Isabelle/HOL Fleury, Mathias. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020
					
							 | 
									
			
								
									  
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			10 | 
		
			
									
						HPI Future SOC Lab – Proceedings 2017 Zhang, Shuhao. - Potsdam : Universität Potsdam, 2020
					
							 | 
									
			
								
									  
								
			 |