Results
|
|
|
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. by Enea, Constantin | Lal, Akash. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|
|
|
|
|
|
|
|
The Fiber-Optic Gyroscope, Third Edition. by Lefevre, Herve C. Edition: 3rd ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Norwood : Artech House, 2022Copyright date: �2022Online access: Click to View Availability: No items available.
|
