Refine your search
- Availability
-
Authors
- Alagar, V.S.
- Almeida, José Bacelar
- Anderson, Thomas
- Bailey, Brian
- Brayton, Robert K.
- Carro, Luigi
- Crossley, John Newsome
- DasGupta, Pallab
- Dowek, Gilles
- Frade, Maria João
- Gabbar, Hossam A.
- Gabbay, D.M.
- Gabbay, Dov M.
- Goncharov, Sergei S.
- Guenthner, F.
- Kastensmidt, Fernanda Lima
- Lee, Kent
- Lim, Sung Kyu
- Lysaght, Patrick
- SpringerLink (Online service)
- Show more
- Show less
- Item types
- Locations
- Series
-
Topics
- ALGEBRA
- ALGORITHM ANALYSIS AND PROBLEM COMPLEXITY.
- CIRCUITS AND SYSTEMS.
- COMPUTER AIDED DESIGN.
- COMPUTER-AIDED ENGINEERING (CAD, CAE) AND DESIGN.
- COMPUTER SCIENCE.
- COMPUTER SOFTWARE.
- DATA PROCESSING.
- ELECTRONIC AND COMPUTER ENGINEERING.
- ELECTRONICS.
- ELECTRONICS AND MICROELECTRONICS, INSTRUMENTATION.
- ENGINEERING.
- ENGINEERING DESIGN.
- LOGIC DESIGN.
- LOGICS AND MEANINGS OF PROGRAMS.
- LOGIC, SYMBOLIC AND MATHEMATICAL.
- MATHEMATICAL LOGIC AND FORMAL LANGUAGES.
- PROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS.
- SOFTWARE ENGINEERING.
- SYSTEMS ENGINEERING.
- Show more
- Show less
- Collections
- Holding libraries
- Home libraries
- Languages