主题词：architecture verification and validation,artificial intelligence,computational complexity and cryptography,design and analysis of algorithms,distributed computing methodologies,embedded systems,formal languages and automata theory,formal logic,machine learning,logic,model checking,modeling and simulation,models of computation,randomness, geometry and discrete structures,semantics and reasoning,software engineering,symbolic and algebraic manipulation,theory and algorithms for application domains
问图书管理员
馆际互借
查看订购单位