Artículos | Formales

Center for Automation Research (CfAR) at the University of Maryland

Center for Automation Research — One of 16 Centers and Labs in the University of Maryland Institute for Advanced Computer Studies

Center for Computational Research - University at Buffalo

Explore New York"s flagship. The University at Buffalo, the top public university in the state, combines superior academics with true affordability.

CiteSeer

index of computer and information science papers, publications, and research.

Collection of Computer Science Bibliographies

Description, The Collection lists over 800,000 references, primarily to journal articles, conference papers and technical reports in computer science.

Finite Model Theory

Finite structures are usually disregarded in classical model theory. But finiteness often matters (for adequate modelling), and restriction

George Mason University - School of Computational Sciences

George Mason UniversitySchool of Computational Sciences

HCI Bibliography

features abstracted validated bibliographic entries, along with a variety of reference materials.

Mathematics and Computer Science

We conduct world-class research in computer science, computational mathematics and statistics, mathematical modeling, algorithms and software, and computer

METAe: The Metadata Engine Project

developing an application software focusing on the automated extraction of metadata from digitised books and journals.

Referencing - Computer Science - LibGuides at University of Bristol

This library guide is designed to support learning, teaching, and research in Computer Science. The tabs at the top of this page take you through to particular types of resources and support.