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 Gasperini, Massimo
Published 2006
Firenze University Press

11
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...

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

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