Results
                                    
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    21.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan. by Series: Lecture Notes in Computer Science ; 5311
Material type:   Computer file; Format: 
                    electronic
                  
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
 
                            In:
                        Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 C3 2008. 
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    22.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I / edited by Robert Meersman, Zahir Tari, Pilar Herrero. by Series: Lecture Notes in Computer Science ; 4277
Material type:   Computer file; Format: 
                    electronic
                  
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
 
                            In:
                        Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 M447 2006. 
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    23.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    24.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    25.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    26.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    27.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    28.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    29.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Ambient Intelligence [electronic resource] : European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings / edited by Emile Aarts, James L. Crowley, Boris Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert. by Series: Lecture Notes in Computer Science ; 5355
Material type:   Computer file; Format: 
                    electronic
                  
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
 
                            In:
                        Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A48 A17 2008. 
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    30.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    31.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    32.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Parallel and Distributed Processing and Applications [electronic resource] : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings / edited by Minyi Guo, Laurence T. Yang, Beniamino Martino, Hans P. Zima, Jack Dongarra, Feilong Tang. by Series: Lecture Notes in Computer Science ; 4330
Edition: 1a ed. 
Material type:   Computer file; Format: 
                    electronic
                  
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
 
                            In:
                        Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A43 G86 2006. 
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    33.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    34.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    35.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / edited by Wee Siong Ng, Beng-Chin Ooi, Aris M. Ouksel, Claudio Sartori. by Series: Lecture Notes in Computer Science ; 3367
Material type:   Computer file; Format: 
                    electronic
                  
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
 
                            In:
                        Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 N49 2005	. 
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    36.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    37.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    38.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro. by Series: Lecture Notes in Computer Science ; 5016
Material type:   Computer file; Format: 
                    electronic
                  
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
 
                            In:
                        Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B47637 2008. 
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    39.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    40.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                    
                                                
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Information Security [electronic resource] : 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / edited by Tzong-Chen Wu, Chin-Laung Lei, Vincent Rijmen, Der-Tsai Lee. by Series: Lecture Notes in Computer Science ; 5222
Edition: 1a ed. 
Material type:   Computer file; Format: 
                    electronic
                  
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
 
                            In:
                        Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 W88 2008. 
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             |