| 
			1 | 
		
			
									
						Die ALGOL-Verschwörung Bauer, Friedrich L.. - Kiel : Inst. für Informatik und Praktische Mathematik, 1994
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			2 | 
		
			
									
						Kryptologie Bauer, Friedrich L.. - Berlin : Springer, 1994, 2., verb. Aufl.
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			3 | 
		
			
									
						Kryptologie Bauer, Friedrich L.. - Berlin : Springer, 1993
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			4 | 
		
			
									
						Logic and algebra of specification Berlin : Springer, 1993
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			5 | 
		
			
									
						Elementare Aussagenlogik Bauer, Friedrich L.. - Berlin : Springer, 1991
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			6 | 
		
			
									
						Informatik und Mathematik Berlin : Springer, 1991
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			7 | 
		
			
									
						Logic, algebra, and computation Berlin : Springer, 1991
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			8 | 
		
			
									
						"Eine Bemerkung zu Koechers Reihen für die Eulersche Konstante" Bauer, Friedrich L.. - München : Verl. der Bayerischen Akad. d. Wiss., 1989
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			9 | 
		
			
									
						Methodik des Programmierens Passau : Fak. für Mathematik u. Informatik, Univ. c/o S. Putz, 1989
					
							 | 
									
			
								
															  
																  
										
								
			 | 
		
		
			
			 
			
					    					 
							
			 | 
			10 | 
		
			
									
						Formal program construction by transformations computer aided, intuition guided programming München : Bibliothek d. Fak. für Mathematik u. Informatik, TUM, 1988
					
							 | 
									
			
								
															  
																  
										
								
			 |