Order Total (1 Item Items):
Shipping Destination:
Stefan Berghofer (17 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (17)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (12)
- As New, Fine or Near Fine (4)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (17)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (10)
- Not Print on Demand (14)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Georg Lukàcs. Verdinglichung und Klassenbewusstsein. Autorenkollektiv.
Published by Berlin : Verlag für d. Studium d. Arbeiterbewegung, 1975
ISBN 10: 3879750564 ISBN 13: 9783879750566
Language: German
Seller: Fundus-Online GbR Borkert Schwarz Zerfaß, Berlin, Germany
Seller rating 5 out of 5 stars
£ 11.59
Convert currency£ 7.79 shipping from Germany to United KingdomQuantity: 1 available
Add to basketOriginalbroschur. Condition: Sehr gut. 201 S. Einband berieben und fleckig. Papierbedingt gebräunt. - DAS KONSTITUENS DES WISSENSCHAFTLICHEN SOZIALISMUS Charakterisierung der Marxschen Methode -- Formulierung des wissenschaftlichen Sozialismus -- KONSTITUTIONSPROZESS DES KLASSENBEWUSSTSEINS Marxsche Theorie als wissenschaftliche Einsicht -- LUKACS' Unterscheidung von Alltagsbewußtsein und Klassenbewußtsein des Proletariats -- Rückwirkung des wissenschaftlichen Sozialismus auf den Konstitutionsprozeß des Klassenbewußtseins -- Entwicklung von Klasseninstinkt zu Klassenbewußtsein -- ZUSAMMENHANG VON ÖKONOMISCHEN FORMBESTIMMUNGEN, SOZIALEN BEZIEHUNGEN UND BEWUSSTSEINSFORMEN Mystifikation der gesellschaftlichen Verhältnisse -- Auflösungsprozeß des mystifizierten Bewußtseins -- THEORIE DER REVOLUTION Beschleunigung des revolutionären Prozesses -- Ideologische Krise -- Programm der Rückwirkung -- Konzeption revolutionärer Taktik Zusammenfassung -- WIEDERGEWINNUNG DES REVOLUTIONÄREN GEHALTS DES MARXISMUS DURCH ROSA LUXEMBURG UND LENIN. - Mitglieder des Autorenkollektivs: Joachim Bischoff, Walter Breum, Ulrich Felsberg, Hans-Robert Gath, Birgit Hentrich, Walter Hering, Ullrich Kaminiski, Peter Kolling, Bernhard Müller, Franz Sandforth, Manfred Schick, Urs Schoepflin, Dusan Tesic, Gisela Torbohm, Thomas Weden. ISBN 3879750564 Sprache: Deutsch Gewicht in Gramm: 550.
-
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science, 5674)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Modeling And Retrieval of Context : Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Modeling And Retrieval of Context : Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 55.52
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
Language: English
£ 47.69
Convert currency£ 12.11 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
-
£ 45.97
Convert currency£ 14.74 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 41.78
Convert currency£ 22.11 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 52.34
Convert currency£ 14.74 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings: Vol 5674
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
Language: English
Paperback. Condition: Brand New. 1st edition. 517 pages. 9.13x6.06x1.18 inches. In Stock.
-
Theorem Proving in Higher Order Logics
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2009, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 47.69
Convert currency£ 30.30 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.
-
Modeling and Retrieval of Context
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540335870 ISBN 13: 9783540335870
Language: English
£ 57.13
Convert currency£ 21.63 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Post-proceedings of the Second International Workshop on Modeling and Retrieval of Context, MRC 2005, held in Edinburgh, UKPresents 9 revised full papers presented include extended versions of some of the papers presented at the MRC 2005 workshop.
-
£ 36.80
Convert currency£ 55.32 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
£ 45.58
Convert currency£ 55.32 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Paperback. Condition: Like New. Like New. book.
-
Theorem Proving in Higher Order Logics
Published by Springer Berlin Heidelberg Aug 2009, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 47.69
Convert currency£ 9.52 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers. 532 pp. Englisch.
-
Theorem Proving in Higher Order Logics
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
Language: English
£ 43.13
Convert currency£ 21.63 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool pres.
-
£ 70.59
Convert currency£ 6.88 shipping from Germany to United KingdomQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 166.
