1
Published 1993
Springer London
Table of Contents: ... Verification of Concurrent Systems with TLA -- The DECspec Project: Tools for Larch/C -- Formal Verification...

2
Published 1809
Printed for H.M.S.O

3
by Hart, John
Published 1839
J. Weale
Subjects: ...Oblique arches...

4
by Guttag, John V., Horning, James J.
Published 1993
Springer New York
Table of Contents: ... An Introduction to Larch -- 3.1 Two-tiered specifications -- 3.2 LSL, the Larch Shared Language -- 3.3 Interface...

5
by Nicholson, Peter
Published 1846
Groombridge & Sons
Subjects: ...Oblique arches...

6
by Nicholson, Peter
Published 1839
John Weale
Subjects: ...Oblique arches...

7
by Le Turc
Published 1781
de l'imprimerie de G. Bigg, dans le Strand. et se trouve chez l'auteur, No. 13. Margaret Street, Cavendish Square
Subjects: ...Arches / Early works to 1800...

9
by Smith, Samuel
Published 1719
printed for James Knapton, at the Crown in St. Paul's Church-Yard

10
by Banumathy, S. P.
Published 2024
Henry Stewart Talks
Table of Contents: ...Contents: Components and types of foot arches -- Functions of the foot -- Bones of the foot...

11
Published 1999
Springer Vienna
Table of Contents: ...Safety and Performance of Arch Dams (J. O. Pedro) -- Models and Methods of Analysis (M. Fanelli...

12
by Gasperini, Massimo
Published 2006
Firenze University Press

13
Published 2007
OECD Publishing

14
by Tschermak, NA., Fenaroli, NA.
Published 1935
Springer Vienna
Table of Contents: .... Mischholzarten und wichtigste Waldtypen -- 16. Erreichbares Alter, Urwaldreste -- 17. Formen der Lärche -- 18...

15
Published 1820
Printed for H.M.S.O

17
Published 2013
Springer Vienna
...-effectors, similar to a human hand using various tools. Therefore, architectural research into robotics...

18
by Karnovsky, Igor A.
Published 2012
Springer New York
Table of Contents: ...-Hinged Arches -- 3.  Redundant Arches -- Part II:Stability Analysis -- 4. Elastic Stability of Arches...

19
Published 2020
Springer International Publishing
Table of Contents: ...Keynote lectures -- Heritage arch bridges -- Analytic and numerical studies of arch structures...

20
Published 1735