Search results
Results from the WOW.Com Content Network
The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used in computer science". The notion attempts to "formalize the informal" concept of logical system.
An electronic archive for self-archive papers in Psychology, Neuroscience, Linguistics, Computer Science, Philosophy, Biology, and Medicine. Contains over 2000 free articles. Not updated since 2017. Free University of Southampton: The Collection of Computer Science Bibliographies: Computer science
Formal Aspects of Computing (FAC) is a peer-reviewed Gold Open Access journal published by Association for Computing Machinery (ACM) and BCS (the British Computer Society, the Chartered Institute for IT). The journal is closely associated with Formal Methods Europe.
Theoretical computer science journals (2 C, ... Dynamic Data Driven Applications Systems; E. ... Institution (computer science)
The sample journals include Annual Review of Financial Economics, Aslib Journal of Information Management, Australian Journal of Management and, International Journal of Management, Economics and Social Sciences. [3] Inspec was started in 1967 as an outgrowth of the Science Abstracts service.
IET Software is a peer-reviewed scientific journal on software engineering and related issues, published by the Institution of Engineering and Technology (IET) in the United Kingdom. [2] The journal was previously published under the following titles: Software & Microsystems (1982–1986, Online ISSN 2053-9096, Print ISSN 0261-3182) [3]
The journal focuses on electrical engineering and computer science. According to the Journal Citation Reports, the journal has a 2017 impact factor of 9.107, ranking it sixth in the category "Engineering, Electrical & Electronic." [1] In 2018, it became fifth with an enhanced impact factor of 10.694. [2]
The Journal of the ACM is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official journal of the Association for Computing Machinery. [2] Its current editor-in-chief is Venkatesan Guruswami.