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.
IET Computer Vision; IET Computers & Digital Techniques; IET Control Theory & Applications; IET Cyber-Physical Systems: Theory & Applications; IET Cyber-Systems and Robotics; IET Electric Power Applications; IET Electrical Systems in Transportation; IET Energy Systems Integration; IET Generation, Transmission & Distribution; IET Image Processing
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.
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
A computer(-based) information system is essentially an IS using computer technology to carry out some or all of its planned tasks. The basic components of computer-based information systems are: Hardware are the devices like the monitor, processor, printer, and keyboard, all of which work together to accept, process, show data, and information.
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]
Innovations in Systems and Software Engineering: A NASA Journal is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media on behalf of NASA .
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.