Quantcast

Computer science Reference Libraries

Page 1 of about 3 Articles
Information and Computation
2012-07-13 19:30:11

Information and Computation is a computer journal established in 1957 under the name Information and Control and published monthly by Elsevier Academic Press. As of July 2012, the editor-in-chief is A.R. Meyer (Lab. for Computer Science, Massachusetts Institute of Technology, Cambridge, USA). The journal welcomes original papers in all areas of theoretical computer science and computational...

Journal of the Association for Computing Machinery
2012-05-15 08:19:42

The Journal of the Association for Computing Machinery (JACM) is the official journal of the Association for Computing Machinery (ACM). It was established in 1954 and is published bi monthly by the ACM. As of May 2012, the editor-in-chief is Victor Vianu (University of California, San Diego). It is peer-reviewed and covers computer science and science in general, especially theoretical...

Formal Aspects of Computing
2012-04-25 18:46:59

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers the area of formal methods and associated topics in computer science. The journal is associated with BCS-FACS (The British Computer Society Formal Aspects of Computing Science Specialist Group). FAC's editors-in-chief are Jim Woodcock and Cliff Jones. The main goal...

Word of the Day
vermicular
  • Like a worm in form or movement; vermiform; tortuous or sinuous; also, writhing or wriggling.
  • Like the track or trace of a worm; appearing as if worm-eaten; vermiculate.
  • Marked with fine, close-set, wavy or tortuous lines of color; vermiculated.
  • A form of rusticated masonry which is so wrought as to appear thickly indented with worm-tracks.
This word ultimately comes from the Latin 'vermis,' worm.
Related