Following fields are empty!


1
Search
2
Select
3
Submit
157
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.


*

APL quote quad

ISSN: 0163-6006

Ada letters

ISSN: 1094-3641

Asterisk

ISSN: 0731-1001

Collected Algorithms of the ACM

ISSN: 0149-1989
Loading data ...

Communication Design Quarterly Review

ISSN: 2166-1200eISSN: 2166-1200

Communication design quarterly review

ISSN: 2166-1642

Communications of the ACM

ISSN: 0001-0782eISSN: 1557-7317

The composer still composes but also gets to take a programming-enabled journey of musical discovery.

Loading data ...

Computer personnel/ACM SIGCPR computer personnel

ISSN: 0160-2497

Computing Reviews

ISSN: 0010-4884eISSN: 1530-6585
Loading data ...

Connect

ISSN: 2168-135X

Crossroads

ISSN: 1528-4972eISSN: 1528-4980

Data Base for Advances in Information Systems

ISSN: 1532-0936eISSN: 1532-0936

Digital Government: Research and Practice

ISSN: 2639-0175

Digital Threats: Research and Practice

ISSN: 2576-5337

Distributed Ledger Technologies: Research and Practice

eISSN: 2769-6472
Loading data ...

Distributed ledger technologies

ISSN: 2769-6480

ELearn magazine

eISSN: 1535-394X
Loading data ...

Energy informatics review

ISSN: 2770-5331

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

Loading data ...

Fortran forum

ISSN: 1061-7264