Following fields are empty!


1
Search
2
Select
3
Submit
48546
Journals

Request Journal

Please fill in the form to request a new journal to be added. We will review your request and add it to the Journal Guide as soon as possible.


*

Forma

ISSN: 2013-7761eISSN: 2013-7761
DOAJ Logo

Forma Breve

ISSN: 1645-927XeISSN: 2183-4709
DOAJ Logo

Forma Civitatis

ISSN: 2748-2812eISSN: 2748-3134

Forma y Función

ISSN: 0120-338XeISSN: 2256-5469
DOAJ Logo

Formación Médica Continuada en Atención Primaria

eISSN: 1134-2072

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

Formal Aspects of Computing

ISSN: 0934-5043eISSN: 1433-299X

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

ISSN: 0925-9856eISSN: 1572-8102

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.

Formalized Mathematics

ISSN: 1426-2630eISSN: 1898-9934

Formation Emploi

ISSN: 0759-6340eISSN: 2107-0946

Formazione & insegnamento: European Journal of Research on Education and Teaching

ISSN: 1973-4778eISSN: 2279-7505
DOAJ Logo

Formação

ISSN: 1517-543XeISSN: 2178-7298
DOAJ Logo

Formação Docente (Associação Nacional de Pós-Graduação e Pesquisa em Educação)

eISSN: 2176-4360
DOAJ Logo

Formosa Journal of Applied Sciences

eISSN: 2962-6447

Formosa Journal of Computer and Information Science

eISSN: 2830-3040

Formosa Journal of Multidisciplinary Research

eISSN: 2829-8896

Formosa Journal of Science and Technology

eISSN: 2964-6804

Formosa Journal of Social Sciences

eISSN: 2830-0246

Formosa Journal of Sustainable Research

eISSN: 2830-6228

Formosan Journal of Surgery

ISSN: 1682-606XeISSN: 2213-5413
DOAJ Logo

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).

Fornvannen

ISSN: 0015-7813eISSN: 1404-9430