Principles of Program Analysis
		                		
								
								
								   
								   
								         
								         Flemming Nielson, 
								         
								         Hanne R Nielson
								
								 
								
								
									Buy new from $51.64
		                		
		                		 
								
								
									eBook from $16.50
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Decision Procedures: An...
		                		
								
								
								   
								   
								         
								         Daniel Kroening, 
								         
								         Ofer Strichman
								
								 
								
								
									Buy new from $51.64
		                		
		                		 
								
								
									eBook from $16.50
		                		
		                		 
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Programmable Logic...
		                		
								
								
								   
								   
								         
								         Dag H Hanssen
								
								 
								
								
									Buy new from $110.95
		                		
		                		 
								
								
									eBook from $105.00
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Principles of CMOS VLSI...
		                		
								
								
								   
								   
								         
								         Neil H E Weste, 
								         
								         Karman Eshragian
								
								 
								
								
									Buy new from $48.98
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Introduction to Logic Design
		                		
								
								
								   
								   
								         
								         Professor Alan B Marcovitz
								
								 
								
								
									Buy new from $57.20
		                		
		                		 
								
								
									eBook from $60.18
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Computer Organization: Basic...
		                		
								
								
								   
								   
								         
								         James Gil de Lamadrid
								
								 
								
								
									Buy new from $75.48
		                		
		                		 
								
								
									eBook from $57.75
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Practical Design Using...
		                		
								
								
								   
								   
								         
								         David Pellerin, 
								         
								         Michael Holley
								
								 
								
								
									Buy new from $178.14
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Parallel Algorithms
		                		
								
								
								   
								   
								         
								         Henri Casanova, 
								         
								         Arnaud Legrand
								
								 
								
								
									Buy new from $76.80
		                		
		                		 
								
								
									eBook from $35.20
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			DMN Method and Style: 3rd...
		                		
								
								
								   
								   
								         
								         Bruce Silver
								
								 
								
								
									Buy new from $38.60
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Digital Logic and State...
		                		
								
								
								   
								   
								         
								         David J. Comer
								
								 
								
								
									Buy new from $86.41
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Specification of Software...
		                		
								
								
								   
								   
								         
								         V.S. Alagar, 
								         
								         K. Periyasamy
								
								 
								
								
									Buy new from $51.65
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Johan Van Benthem on Logic...
		                		
								
								
								   
								   
								         
								         Alexandru Baltag (Editor), 
								         
								         Sonja Smets (Editor)
								
								 
								
								
									Buy new from $206.66
		                		
		                		 
								
								
									eBook from $62.70
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Logic in Games
		                		
								
								
								   
								   
								         
								         Johan Van Benthem
								
								 
								
								
									Buy new from $48.68
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Digital Systems: Principles...
		                		
								
								
								   
								   
								         
								         Ronald J Tocci
								
								 
								
								
									Buy new from $53.23
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			An Introduction to Parallel...
		                		
								
								
								   
								   
								         
								         Peter Pacheco
								
								 
								
								
									Buy new from $49.81
		                		
		                		 
								
								
									eBook from $23.99
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Low-Power CMOS VLSI Circuit...
		                		
								
								
								   
								   
								         
								         Kaushik Roy, 
								         
								         Sharat Prasad
								
								 
								
								
									Buy new from $82.77
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Artificial Intelligence and...
		                		
								
								
								   
								   
								         
								         Leszek Rutkowski (Editor), 
								         
								         Rafal Scherer (Editor)
								
								 
								
								
									Buy new from $66.30
		                		
		                		 
								
								
									eBook from $29.70
		                		
		                		 
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			A Practical Introduction to...
		                		
								
								
								   
								   
								         
								         Daniel Page
								
								 
								
								
									Buy new from $51.65
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			The Art of Scalability:...
		                		
								
								
								   
								   
								         
								         Martin Abbott, 
								         
								         Michael Fisher
								
								 
								
								
									Buy new from $38.64
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Dmn Method and Style. 2nd...
		                		
								
								
								   
								   
								         
								         Bruce Silver
								
								 
								
								
									Buy new from $94.94
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Developing Solutions for...
		                		
								
								
								   
								   
								         
								         Paul Ivey, 
								         
								         Alex Ivanov
								
								 
								
								
									Buy new from $38.64
		                		
		                		 
								
								
									eBook from $35.99
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Quality of Software...
		                		
								
								
								   
								   
								         
								         Professor Steffen Becker (Editor), 
								         
								         Frantisek Plasil (Editor)
								
								 
								
								
									Buy new from $28.21
		                		
		                		 
								
								
									eBook from $16.50
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Task Models and Diagrams for...
		                		
								
								
								   
								   
								         
								         David England (Editor), 
								         
								         Philippe Palanque (Editor)
								
								 
								
								
									Buy new from $51.65
		                		
		                		 
								
								
									eBook from $16.50
		                		
		                		 
								
								
								
		                	 | 
		                
						
						
							
							
		                	
		                	
			                
			                
			                	 
		                	
		                	
		                		
		                			Neuro-Symbolic AI: Design...
		                		
								
								
								   
								   
								         
								         Alexiei Dingli, 
								         
								         David Farrugia
								
								 
								
								
									Buy new from $34.34
		                		
		                		 
								
								
									eBook from $31.99
		                		
		                		 
								
								
								
		                	 |