The ACM Digital Library contains bibliographic information and the full-text of articles published in ACM (Association for Computing Machinery) journals, magazines, and conference proceedings. Tables of contents from journals and magazines are available from issues dated 1954+. Tables of contents from conference proceedings are available since 1970. Tables of contents for ACM Newsletters published since 1985 are provided.
If you already have the title of the journal/magazine or conference proceedings, proceed to the search box for each type of material by clicking on it in the right-hand “browse the digital library” category.
If you are not certain of the type of material or the author, use basic "Search: The ACM Digital Library" box on the main page. Check with a librarian if your search is more complex than what the basic search will accomplish.
Document types
Cross-computing tools and techniques
Printed circuit boards
Communication hardware, interfaces and storage
Integrated circuits
Very large scale integration design
Power and energy
Electronic design automation
Hardware validation
Hardware test
Robustness
Emerging technologies
Architectures
Embedded and cyber-physical systems
Real-time systems
Dependable and fault-tolerant systems and networks
Network architectures
Network protocols
Network components
Network algorithms
Network performance evaluation
Network properties
Network services
Network types
Software organization and properties
Software notations and tools
Software creation and management
Models of computation
Formal languages and automata theory
Computational complexity and cryptography
Logic
Design and analysis of algorithms
Randomness, geometry and discrete structures
Theory and algorithms for application domains
Semantics and reasoning
Discrete mathematics
Probability and statistics
Mathematical software
Information theory
Mathematical analysis
Continuous mathematics
Data management systems
Information storage systems
Information systems applications
World Wide Web
Information retrieval
Cryptography
Formal methods and theory of security
Security services
Intrusion/anomaly detection and malware mitigation
Security in hardware
Systems security
Network security
Database and storage security
Software and application security
Human and societal aspects of security and privacy
Human computer interaction (HCI)
Interaction design
Collaborative and social computing
Ubiquitous and mobile computing
Visualization
Accessibility
Symbolic and algebraic manipulation
Parallel computing methodologies
Artificial intelligence
Machine learning
Modeling and simulation
Computer graphics
Distributed computing methodologies
Concurrent computing methodologies
Electronic commerce
Enterprise computing
Physical sciences and engineering
Life and medical sciences
Law, social and behavioral sciences
Computer forensics
Arts and humanities
Computers in other domains
Operations research
Education
Document management and text processing
Professional topics
Computing / technology policy
User characteristics
Companies
Organizations
People in computing
Technologies