The following pages link to V. A. Sokolov (Q395106):
Displaying 29 items.
- Using the concept of natural geometry in the nonlinear electrodynamics of the vacuum (Q395107) (← links)
- Nonperturbative QED vacuum birefringence (Q683001) (← links)
- Modeling, specification, and verification of automaton programs (Q839994) (← links)
- Application of the trace assertion method to the specification, design, and verification of automaton programs (Q840086) (← links)
- (Q3023539) (← links)
- (Q3043827) (← links)
- (Q3732098) (← links)
- (Q3749408) (← links)
- (Q3756588) (← links)
- (Q3796037) (← links)
- (Q3921205) (← links)
- (Q4242497) (← links)
- (Q4517369) (← links)
- (Q4778634) (← links)
- Modeling and traffic analysis of the adaptive rate transport protocol (Q4788317) (← links)
- On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions (Q5060069) (← links)
- On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions (Q5060082) (← links)
- Boris Abramovich Trakhtenbrot (Q5074416) (← links)
- (Q5394328) (← links)
- Nonlinear vacuum electrodynamics influence on the spacetime structure and massive particles orbits properties in Einstein–Born–Infeld theory (Q5507485) (← links)
- (Q5645407) (← links)
- (Q5676204) (← links)
- (Q5676205) (← links)
- (Q5677458) (← links)
- (Q5695636) (← links)
- (Q5799799) (← links)
- An Effective Algorithm for Collision Resolution in Security Policy Rules (Q5866320) (← links)
- Boundedness problems for Minsky counter machines (Q5892524) (← links)
- Boundedness problems for Minsky counter machines (Q5917948) (← links)
