Results
                                    
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 281. | 
                                                
On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania. by 
Series: Lecture Notes in Computer Science ; 7044Meersman, RobertDillon, TharamHerrero, PilarKumar, AkhilReichert, ManfredQing, LiOoi, Beng-ChinDamiani, ErnestoSchmidt, Douglas CWhite, JulesHauswirth, ManfredHitzler, PascalMohania, MukeshSpringerLink (Online service) 
Material type:  Computer file; Format: 
                    electronic
                
		available online   
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
                        Springer eBooks 
Availability: No items available.
 | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 282. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 283. | 
                                                
Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. by Series: Lecture Notes in Computer Science ; 6898
Material type:  Computer file; Format: 
                    electronic
                
		available online   
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
                        Springer eBooks 
Availability: No items available.
 | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 284. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 285. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 286. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 287. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 288. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 289. | 
                                                
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings / edited by Xavier Défago, Franck Petit, Vincent Villain. by Series: Lecture Notes in Computer Science ; 6976
Material type:  Computer file; Format: 
                    electronic
                
		available online   
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
                        Springer eBooks 
Availability: No items available.
 | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 290. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 291. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 292. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 293. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 294. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 295. | 
                                                
Modern Approaches in Applied Intelligence [electronic resource] : 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part I / edited by Kishan G. Mehrotra, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Moonis Ali. by Series: Lecture Notes in Computer Science ; 6703
Material type:  Computer file; Format: 
                    electronic
                
		available online   
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
                        Springer eBooks 
Availability: No items available.
 | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 296. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 297. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 298. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 299. |  | 
                                    
                                        
                                            
                                            
                                                
                                            
                                            |  | 300. | 
                                                
Database and Expert Systems Applications [electronic resource] : 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings, Part I / edited by Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou. by Series: Lecture Notes in Computer Science ; 6860
Material type:  Computer file; Format: 
                    electronic
                
		available online   
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
                        Springer eBooks 
Availability: No items available.
 |