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.
The main academic full-text databases are open archives or link-resolution services, although others operate under different models such as mirroring or hybrid publishers. . Such services typically provide access to full text and full-text search, but also metadata about items for which no full text is availa
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.
Practitioners within and outside the field study the application and the usage of knowledge in organizations in addition to the interaction between people, organizations, and any existing information systems with the aim of creating, replacing, improving, or understanding the information systems. Historically, information science is associated ...
Computer Science is a peer-reviewed scientific journal published by the AGH University of Science and Technology (Kraków Poland) and edited by faculty members of the Departments of Computer Science and Automatics. The journal was established in 1999 and since beginning of 2012 is published quarterly. The editor-in-chief is Jacek Kitowski.
Journal of Computer and System Sciences; Journal of Computer-Mediated Communication; Journal of Computing Sciences in Colleges; Journal of Cryptology; Journal of Database Management; Journal of Experimental and Theoretical Artificial Intelligence; Journal of Formalized Reasoning; Journal of Functional Programming; Journal of Global Information ...