Website Search
Find information on spaces, staff, and services.
Related Topics
- Electronic data processing
- Computers
- Programming languages (Electronic computers)
- Management
- Machine theory
- Software maintenance
- Compiling (Electronic computers)
- Computer science
- Software engineering
- Artificial intelligence
- Computational complexity
- Computer architecture
- Computer arithmetic and logic units
- Computer engineering
- Computer networks
- Computer programs
- ERLANG (Computer program language)
- Floating-point arithmetic
- Formal languages
- Operating systems (Computers)
- UNIX (Computer file)
- CAD/CAM systems
- Computer arithmetic
- Computer software
Places
Time Periods
Content Types
Search Results
50 results sort by
-
Journals, Magazines, NewspapersProceedings
-
Journals, Magazines, Newspapers
Proceedings
-
Journals, Magazines, Newspapers
Proceedings
-
-
Journals, Magazines, Newspapers
Proceedings
Proceedings (IEEE International Working Conference on Source Code Analysis and Manipulation : Online) -
Journals, Magazines, Newspapers
Record
-
Journals, Magazines, Newspapers
Proceedings of the ... USENIX conference
-
Journals, Magazines, Newspapers
Mathematics of program construction
-
Journals, Magazines, Newspapers
Static analysis : ... International Static Analysis Symposium, SAS ... : proceedings
-
Journals, Magazines, Newspapers
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM