EUR 53,43
Anzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Zustand: New. 194 pp., Paperback, brand new! still in shrink wrap. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
EUR 69,49
Anzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642160735 ISBN 13: 9783642160738
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 89,20
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 184 pages. 9.00x6.00x0.50 inches. In Stock.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642160735 ISBN 13: 9783642160738
Anbieter: moluna, Greven, Deutschland
Zustand: New. ThisvolumecontainstheworkshopproceedingsofARSPA-WITS2010,the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, held during March 27 28, 2010 in Paphos (Cyprus). ARSPA-WITS2010o?eredaforumfordiscussingn.
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2010
ISBN 10: 3642160735 ISBN 13: 9783642160738
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - ThisvolumecontainstheworkshopproceedingsofARSPA-WITS2010,theJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, held during March 27 28, 2010 in Paphos (Cyprus). ARSPA-WITS2010o eredaforumfordiscussingnewresultsintheoriesofc- putersecurity,openquestionsandfundamentalconcernsaboutexistingtheorie s, and issues related to the development and application of automated reas- ing techniques and tools for the formal speci cation and analysis of security protocols. There were 28 submissions. All the submissions were thoroughly evaluated on the basis of at least three referee reports, and an electronic Program C- mittee meeting was held by using the EasyChair on-line conference system. The committee decided to accept the 11 papers included in this volume. The authors were giventhe opportunity to revise their paper in light of the feedback received during the workshop. The workshop program was enriched by two invited talks by Flemming Nielson and Catuscia Palamidessi, whose titles and abstracts are also included in this volume. April 2010 Alessandro Armando Gavin Lowe Conference Organization Program Chairs Alessandro Armando Università di Genova, Italy (Co-chair) Gavin Lowe Oxford University, UK (Co-chair) Program Committee Lujo Bauer CMU, USA Yannick Chevalier Université Toulouse III, France Luca Compagna SAP Research, France Cas Cremers ETHZ, Switzerland Jorge Cuellar Siemens, Germany Pierpaolo Degano Università di Pisa, Italy Sandro Etalle Technical University of Eindhoven and University of Twente, The Netherlands Riccardo Focardi Università di Venezia, Italy Dieter Gollman Technische Universität Hamburg-Harburg, Germany Joshua Guttman MITRE, USA Jan Jürjens TU Dortmund and Fraunhofer ISST, Germany Gavin Lowe Oxford University, UK (Co-chair) Catherine Meadows Naval Research Laboratory, USA John Mitchell Stanford University, USA.
Anbieter: Gates Past Books Inc., NY, NY, USA
Erstausgabe
Soft cover. Zustand: As New. 1st Edition. London: Starfire Publishing Ltd, 1996. AS NEW / UNREAD (see scan). First Edition. Soft Cover. As New. Illus. by Austin Osman Spare, Robert Taylor, Paul Lowe, Lindsey Calvert, Andrew D. Chumbley, Peter Smith, Carina van der Snee, Vonn Stropp. 4to size - 11½" tall. Oversized Safely, Securely Packed.
Verlag: The Maclean Publishing Company, Limited, Toronto, 1940
Erstausgabe
Single Issue Magazine. Zustand: Fair. Price, Norman; Eldridge, Harold; LaSalle, Charles; Summers, Gloyne (illustrator). First Edition. 48 pages. Features: Nice colour ad for International Trucks inside front cover features a pop (beverage) truck at work; Supita (fiction); Design for a new Dominion - The Rowell-Sirois Report is charged with significance for every individual Canadina living today and for his children and his grandchildren after him - with photo of the Dominion-Provincial Relations Committee; Sam Small's Better Half (fiction); Gerard Cote - Canadian Marathon Champ - article with photo; Twilight for Neville Chamberlain; Check Rein (fiction); Treasure in Iron - article and photos of the Steep Rock Mine near Atikokan, Ontario; Murder Off Stage (fiction); A Century in Steam - the story of the first transatlantic steamship to dock at a Canadian port on June 1st, 1840; Nice full-page ad for RCA Victor audio products; Gifts for the Bride; Full-page Dodge truck ad. Front cover nearly loose. Back cover badly chipped and loose. Above-average wear. A worthy reference copy.
Verlag: London: Printed by W. Lane, 1803, 1803
Anbieter: Peter Harrington. ABA/ ILAB., London, Vereinigtes Königreich
Erstausgabe
EUR 1.487,37
Anzahl: 1 verfügbar
In den WarenkorbFirst edition of this rare pamphlet, recorded in only three institutions on WorldCat. A rather enigmatic figure in the history of British astronomy, Lowe established an observatory at his home in Paradise Row, Islington. Writing out of concern about "erroneous or imperfect" methods currently circulating (p. 3), he describes a method based on "the observed increase of the Moon's right ascension in passing from the first to the second meridian, and the increase of the Sun's and Moon's right ascension in twelve hours' apparent time" (p. 3). Lowe (c.1743-1815) was known to his friends as "a gentleman eminently skilled in the mathematics and in the knowledge of theoretical and practical astronomy" (Firminger, p. 102). He patronized leading makers of astronomical instruments, housing a fine collection in Paradise Row. For example, he commissioned Edward Troughton to make the Troughton Transit Circle, later used to much affect by the British astronomer John Lee (1783-1866), after whom it is sometimes referred. Copies can be found at the Caird Library of the National Maritime Museum, University College London, and Bryn Athyn College. Thomas Firminger, "On the Compensation Mercurial Pendulum of Mr. Gavin Lowe", Philosophical Magazine and Journal, vol. 54, 1819. Octavo (210 x 127 mm), pp. 8. Woodcut diagram in text. Disbound, with sewing holes visible. Spine folds fragile, lightly browned: a very good copy.