Refine your search
Availability
-
Authors
-
Item types
-
Locations
-
Series
-
Topics
- AHP
- ANP
- Chinese medical text
- Computer science
- MADM
- MCDA
- MCDM
- MODM
- OpenMP C/C++
- PROMETHEE
- artificial intelligence
- computer software selection and evaluation
- formal logic
- formal methods
- formal specification
- program compilers
- programming languages
- semantics
- software engineering
- verification
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages