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