El programa acreditado específicamente diseñado para ofrecer al especialista en medicina familiar y comunitaria y a los médicos de atención primaria los avances científico-técnicos más relevantes en todos sus ámbitos de actuación. Indexado en IME, IBECS y SCOPUS.10 números acreditados al año1 curso acreditado5 protocolos acreditadosCD-ROM recopilatorio4 suplementos de AtenciónCD-ROM multimedia formativo Primaria Basada en la EvidenciaPara más información, consulte http://www.elsevier.es/fmc
This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research.  Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.
The term 'formal methods' has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method. Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions. However, the most profound and lasting influence of the formal app
Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.
The Formosan Journal of Surgery (FJS) is the official international peer-reviewed publication of the Taiwan Surgical Association. The Journal began life in January 1968, when it was called the Taiwan Journal of Surgery, which dealt with all surgical subspecialties, including thoracic surgery, cardiovascular surgery, digestive surgery, neurosurgery, endocrine surgery, pediatric surgery, plastic surgery, and orthopedic surgery.The Journal welcomes clinical as well as basic research papers on both medical and surgical aspects of various diseases (mainly surgical) from all over the world. It is published every 2 months by Elsevier, with a circulation of about 5400 copies per issue, and is indexed in the ScienceDirect, SCOPUS, Academic Citation Index (ACI) and Taiwan Academic Online (TAO).