书籍列表

Recursively enumerable sets and degrees:a study of computable functions and computably generated sets 封面
Recursively enumerable sets...

作者：Soare;R. I.
Proof theory 封面
Proof theory

作者：Schütte;K.
Using sophisticated models in resolution theorem proving 封面
Using sophisticated models ...

作者：Sandford;David M.
Mathematical logic 封面
Mathematical logic

作者：Monk;J. Donald
The Merging of disciplines:new directions in pure 封面
The Merging of disciplines:...

作者：
Perturbation methods 封面
Perturbation methods

作者：Rand;R. H.;Armbru...
Systems and optimization:proceedings of the Twente workshop 封面
Systems and optimization:pr...

作者：
The Structure of attractors in dynamical systems:proceedings 封面
The Structure of attractors...

作者：
Real time control of large scale systems:proceedings of the first European workshop 封面
Real time control of large ...

作者：
Analysis of periodically time-varying systems 封面
Analysis of periodically ti...

作者：Richards;J. A.
State models of dynamic systems:a case study approach 封面
State models of dynamic sys...

作者：McClamroch;N. H.
Global modelling:proceedings of the IFIP-WG 7/1 Working Conference 封面
Global modelling:proceeding...

作者：Krevinac;S.;(Slob...
返回首页