The Library of Congress > Linked Data Service
  Label Dataset Type Subdivision Identifier
1. Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 Verification of infinite-state systems with applications to security

BIBFRAME Instances
Instance 14168969
2. NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 : Timișoara, Romania)

LC Name Authority File (LCNAF)
ConferenceName
SimpleType
Name
Authority
nb2006011721
Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, NATO ; VISSAS
3. Hale, Jack K. An introduction to infinite dimensional dynamical systems--geometric theory

BIBFRAME Instances
Instance 4242219
4. Saperstone, Stephen H. Semidynamical systems in infinite dimensional spaces

BIBFRAME Instances
Instance 2315342
5. Živković, Tomislav P. (Tomislav Predavač) Exact treatment of finite-dimensional and infinite-dimensional quantum systems

BIBFRAME Instances
Instance 21572764
6. Temam, Roger Infinite-dimensional dynamical systems in mechanics and physics

BIBFRAME Instances
Instance 691419
7. Curtain, Ruth F. An introduction to infinite-dimensional linear systems theory

BIBFRAME Instances
Instance 2086043
8. Antoine, Jean Pierre Quantization and infinite-dimensional systems

BIBFRAME Instances
Instance 4908523
9. Carvalho, Alexandre Nolasco de Attractors for infinite-dimensional non-autonomous dynamical systems

BIBFRAME Instances
Instance 17412792
10. Kesten, Harry, 1931- Percolation theory and ergodic theory of infinite particle systems

BIBFRAME Instances
Instance 4785596
11. Descloux, A. Delay tables for finite- and infinite-source systems

BIBFRAME Instances
Instance 750661
12. Quantum spin systems on infinite lattices

BIBFRAME Instances
Instance 19457760
13. Temam, Roger Infinite-dimensional dynamical systems in mechanics and physics

BIBFRAME Instances
Instance 4787374
14. Jacob, Birgit Linear port-hamiltonian systems on infinite-dimensional spaces

BIBFRAME Instances
Instance 17310655
15. Živković, Tomislav P. (Tomislav Predavač) Exact treatment of finite-dimensional and infinite-dimensional quantum systems

BIBFRAME Instances
Instance 16177073
16. Verification of infinite-state systems with applications to security

BIBFRAME Works
Work
Text
Monograph
14168969
17. Curtain, Ruth F. Analysis and optimization of systems

BIBFRAME Instances
Instance 2978856
18. Hackworth, Robert D. Mathematical systems

BIBFRAME Instances
Instance 1235503


Do you need assistance with your search?