 |
|
 Fundamental Approaches to Software EngineeringThis book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held in Barcelona, Spain, in March/April 2004.
The 22 revised full papers and 4 tool presentation papers presented together with an invited paper and the abstract of another invited talk were carefully... | | Higher-Level Hardware SynthesisIn the mid 1960s, when a single chip contained an average of 50 transistors,
Gordon Moore observed that integrated circuits were doubling in complexity
every year. In an influential article published by Electronics Magazine in 1965,
Moore predicted that this trend would continue for the next 10 years. Despite
being criticized... | | Trust Management: Second International Conference, iTrust 2004, Oxford, UKThis book constitutes the refereed proceedings of the Second International Conference on Trust Management, iTrust 2004, held in Oxford, UK, in March/April 2004.
The 21 revised full papers and 6 revised short papers presented together with 3 invited contributions were carefully reviewed and selected from 48 submissions. Besides technical topics... |
|
| | Model Checking SoftwareThis book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.
The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are... | | Pediatric Brain and Spine: An Atlas of MRI and Spectroscopy
This practical MR imaging atlas covers all aspects of pediatric brain and spine imaging including contemporary techniques such as diffusion imaging, fetal imaging and MR spectroscopy. The book consists of 12 chapters, starting with the developing pediatric brain and continuing with metabolic, congenital, genetic, traumatic, inflammatory and... |
|
|
Selected Areas in Cryptography: 10th Annual International Workshop, SAC 2003SAC 2003 was the tenth in a series of annual workshops on Selected Areas in Cryptography. This marked the third time that the workshop had been held at Carleton University in Ottawa with previous workshops being held there in 1995 and 1997. The intent of the SAC workshops is to provide a relaxed atmosphere in which researchers in cryptography can... | | Advanced Web Technologies and ApplicationsThis book constitutes the refereed proceedings of the 6th Asia-Pacific Web Conference, APWeb 2004, held in Hangzhou, China, in April 2004.
The 60 revised full papers, 24 revised short papers, 15 revised poster papers, and 3 revised industrial papers presented together with 3 keynote papers and 3 invited papers were carefully reviewed and... | | Integrated Formal Methods: 4th International Conference, IFM 2004, CanterburyThe fourth conference in the series of international meetings on Integrated Formal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent.
Kent is... |
|
| Result Page: Previous 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 Next |
