31. Architecting dependable systems V Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
32. Rough sets and knowledge technology : third international conference, RSKT 2008, Chengdu, China, May 17-19, 2008 : proceedings Author/Creator: RSKT (Conference) Chengdu, China) 2008 : (3rd Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
33. Evolutionary computation, machine learning, and data mining in bioinformatics : 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008 : proceedings Author/Creator: EvoBIO (Conference) Naples, Italy) 2008 : (6th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
34. Advances in Web based learning--ICWL 2007 : 6th international conference, Edinburgh, UK, August 15-17, 2007 : revised papers Author/Creator: ICWL (Conference) Edinburgh, Scotland) 2007 : (6th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
35. Unconventional computation : 7th international conference, UC 2008, Vienna, Austria, August 25 - 28, 2008, proceedings Author/Creator: UC (Conference) Vienna, Austria) 2008 : (7th Publication/Creation: Berlin ; New York, NY : Springer, [2008] Resource Type: Book Access & Availability: Loading
36. Data management in grid and peer-to-peer systems : First International Conference, Globe 2008, Turin, Italy, September 3, 2008 : proceedings Author/Creator: Globe (Conference : 2008-) Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading
37. Quality of software architectures : models and architectures : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings Author/Creator: International Conference on the Quality of Software Architectures Karlsruhe, Germany) 2008 : (4th Publication/Creation: Berlin : Springer, [2008] Resource Type: Book Access & Availability: Loading
38. Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : revised and invited papers Author/Creator: Asian Symposium on Computer Mathematics Singapore) 2007 : (8th Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
39. Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings Author/Creator: VSTTE (Conference) Toronto, Ont.) 2008 : (2nd Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
40. Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers Author/Creator: International Workshop on Formal Methods for Industrial Critical Systems Berlin, Germany) 2007 : (12th Publication/Creation: Berlin ; New York : Springer, [2008] Resource Type: Book Access & Availability: Loading