1
por Kozen, Dexter C., Kozen, Dexter C.
Publicado 2006
Table of Contents: ... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...
Ligazón do recurso
Electrónico eBook
2
Publicado 2008
Table of Contents: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
Ligazón do recurso
Electrónico eBook
3
Publicado 2014
Table of Contents: ...) and the Hypersphere Condition -- Direct Kinematics of an Orthogonal 6PRRS Parallel Manipulator -- The Hidden Robot...
Ligazón do recurso
Electrónico eBook
4
Publicado 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Ligazón do recurso
Electrónico eBook
5
Publicado 2010
Table of Contents: ... Systems -- Stabilization Criterion Based on New Lyapunov Functional Candidate for Networked Control...
Ligazón do recurso
Electrónico eBook