Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
EUR 22,80
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. 249 pp., PAPERBACK EDITION, previous owner's name to title page, else very good. - 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.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
EUR 15,90
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-02805 3764330228 Sprache: Englisch Gewicht in Gramm: 550.
Verlag: Boston ; Basel ; Stuttgart : Birkhäuser, 1980
ISBN 10: 3764330228 ISBN 13: 9783764330224
Sprache: Englisch
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
EUR 24,20
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbkart. Zustand: Gut. 249 S. ; 23 cm BUECHERREIEXEMPLAR !!!!Das Buch befindet sich in einem dem Alter endsprechendem guten , gelesenen Zustand.Die Seiten und der Einband sind intakt.BuchrueckenEckenKanten koennen leichte Gebrauchsspuren aufweisen.DIESES BUCH KANN EINEN ODER MEHRERE DER NACHFOLGENDEN MAENGEL AUFWEISEN:NameWidmung im Einband oder auf der ersten Seite, Namens-Etikett auf dem Buchcover, Bücherreiexemplar, Buechereiaufkleber am Buch, sowie Buecherei- oder Schulstempel auf der ersten Seite, Textmarkierungen Sprache: Englisch Gewicht in Gramm: 469.
Anbieter: Antiquariat Silvanus - Inhaber Johannes Schaefer, Ahrbrück, Deutschland
EUR 23,50
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorb249 S., 3764330228 Sprache: Englisch Gewicht in Gramm: 340 8°, Original-Karton (Softcover), Bibliotheks-Exemplar (ordnungsgemäß entwidmet) mit Rückenschild, Stempel auf Titel, insgesamt gutes und innen sauberes Exemplar,
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,33
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,33
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Studibuch, Stuttgart, Deutschland
EUR 12,24
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Gut. 372 Seiten; 9783540664635.3 Gewicht in Gramm: 1.
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title : Theorem ProvinginHigherOrderLogics:EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 58,39
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Counting Singularities of Quadratic Forms on Vector Bundles.- Groupe de Jauge ¿argi et Connexions Stables.- Les Fibres Uniformes de Rang au Plus n sur n( ) Sont Ceux Qu¿on Croit.- Type de Scindage G¿ralis¿our les Fibr¿Stables.- On the Classification of Algebraic Space Curves.- On the Classification of Stable Rank-r Vector Bundles over the Projective Plane.- Stabilit¿t Amplitude sur 2( ).- Zur Berechnung von Yang-Mills Potentialen Durch Holomorphe Vektorb¿ndel.
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 29,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.