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

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

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

8
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
by Weitz, Stefan
Published 2014
Bibliomotion, Books + media
Table of Contents: ...What search will see -- How search will act -- What search will do -- What search will be -- What...

18
by Elphinstone, Howard Warburton
Published 1887
W. Maxwell & Son

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

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