Order Total (1 Item Items):
Shipping Destination:
Kerber Robert (25 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (25)
- 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 (18)
- As New, Fine or Near Fine (2)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
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 (13)
- Not Print on Demand (21)
Language (3)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Soft cover. Condition: New. ISBN: 9783540730835.
-
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Condition: New. pp. 426.
-
Condition: New. pp. 426 Illus.
-
Condition: New. pp. 426.
-
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... (Lecture Notes in Computer Science, 4573)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.76
US$ 16.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.21
US$ 20.81 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, Mkm 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540730834 ISBN 13: 9783540730835
US$ 94.90
US$ 16.79 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 1st edition. 407 pages. 9.00x6.00x1.00 inches. In Stock.
-
Das Angestelltenversicherungsgesetz in der Fassung der II. Novelle . Nach dem Stande vom 1. Jänner 1929 . Nach dem Stande vom 15. März 1931 (Bd. II). Unter Mitwirkung von Eugen Spann und Artur Rudolph. 2 Bände.
Published by Wien, Staatsdruckerei, 1929-1931., 1931
Seller: Antiquariat MEINDL & SULZMANN OG, Wien - Vienna, Austria
Seller rating 5 out of 5 stars
8°. XVI, 690 SS.; XI, 734 SS. OLn. mit goldgepr. Rtitel (im Schnitt etw. fleckig, geringe Gebrauchsspuren). "Handausgabe österreichischer Gesetze und Verordnungen Heft 239 / I und II".
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary eld of research in the intersection of mathematics, computer science, library s- ence, and scienti c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities and separate foci, there is a signi cant overlap in the interests in building mechanized mathem- ical assistants. For this reason it was decided to collocate the two events in 2007 for the rst time, at RISC in Hagenberg, Austria. The number and quality of the submissions show that this was a good decision. While the proceedings are shared, the submission process was separate. The responsibility for acc- tance/rejection rests completely with the two separate Program Committees. By this collocation we made a contribution against the fragmentation of communities which work on di erent aspects of di erent independent branches, traditional branches (e.g., computer algebra and theorem proving), as well as newly emerging ones (on user interfaces, knowledge management, theory exp- ration, etc.). This will also facilitate the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, c- puter scientists, and engineers in their every-day business.
-
Taschenbuch. Condition: Neu. Towards Mechanized Mathematical Assistants | 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings | Manuel Kauers (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540730835 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
International EditionUS$ 137.49
US$ 8.05 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Baloh and Honrubia's Clinical Neurophysiology of the Vestibular System, Fourth Edition (Contemporary Neurology Series)
Book 7 of 20: Contemporary NeurologyLanguage: English
Published by Oxford University Press, 2010
ISBN 10: 019538783X ISBN 13: 9780195387834
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 275.35
US$ 16.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Clinical Neurophysiology of the Vestibular System
Book 7 of 20: Contemporary NeurologyLanguage: English
Published by Oxford University Press, 2010
ISBN 10: 019538783X ISBN 13: 9780195387834
Condition: New.
-
Clinical Neurophysiology of the Vestibular System
Book 7 of 20: Contemporary NeurologyLanguage: English
Published by Oxford University Press, 2010
ISBN 10: 019538783X ISBN 13: 9780195387834
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 275.34
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Clinical Neurophysiology of the Vestibular System
Book 7 of 20: Contemporary NeurologyLanguage: English
Published by Oxford University Press, 2010
ISBN 10: 019538783X ISBN 13: 9780195387834
Condition: As New. Unread book in perfect condition.
-
Clinical Neurophysiology of the Vestibular System
Book 7 of 20: Contemporary NeurologyLanguage: English
Published by Oxford University Press, 2010
ISBN 10: 019538783X ISBN 13: 9780195387834
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 308.37
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 427.78
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Brand New. 4th edition. 455 pages. 10.00x7.00x1.00 inches. In Stock.
-
Die österreichische Kranken- und Unfallversicherung : nach dem Stande vom 30.09- 1926; mit Entscheidungen des Verwaltungsgerichtshofes, Nebengesetzen, Durchführungsvorschriften und den sonstigen Materialien / hrsg. von Robert Kerber.(=Handausgabe österreichischer Gesetze und Verordnungen ; 233)
Published by Verl. der Österr. Staatsdruckerei, Wien, 1927
Seller: ANTIQUARIAT.WIEN Fine Books & Prints, Wien, Austria
Seller rating 5 out of 5 stars
original Leinenband, kl.-8°, XVI, 949 Seiten; Exemplar gestempelt de 665 Buch.
-
Hölderlins Verhältnis zu Homer. (=Sonderdruck aus Philologus; Band LXXX; Heft 1)
Language: German
Published by Dieterich Leipzig, 1924
Pappe. Condition: Gut. 66 Literaturgeschichte Literatur Hölderlin Gedichte Dichtungen Dichter Antike Guter Zustand. Bibl.-Ex. Bibliothekseinband. Einband mit leichten Gebrauchsspuren. Papier alterungsbedingt vergilbt. ha1055604 Sprache: Deutsch Gewicht in Gramm: 150.
-
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Über den AutorGerhard Moser lebt und arbeitet in Innsbruck. Er schreibt Bücher - zuletzt die Reflexion über Erinnerung und Verlust Vom Sterben (ISBN 978-3-200-00607-2) und den literarischen Stadtführer Unsichtbares.
-
Towards Mechanized Mathematical Assistants
Language: English
Published by Springer Berlin Heidelberg Jun 2007, 2007
ISBN 10: 3540730834 ISBN 13: 9783540730835
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation. 424 pp. Englisch.
-
Towards Mechanized Mathematical Assistants
Language: English
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 3540730834 ISBN 13: 9783540730835
Kartoniert / Broschiert. Condition: 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 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenb.
-
Towards Mechanized Mathematical Assistants
Language: English
Published by Springer, Springer Jun 2007, 2007
ISBN 10: 3540730834 ISBN 13: 9783540730835
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary eld of research in the intersection of mathematics, computer science, library s- ence, and scienti c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities and separate foci, there is a signi cant overlap in the interests in building mechanized mathem- ical assistants. For this reason it was decided to collocate the two events in 2007 for the rst time, at RISC in Hagenberg, Austria. The number and quality of the submissions show that this was a good decision. While the proceedings are shared, the submission process was separate. The responsibility for acc- tance/rejection rests completely with the two separate Program Committees. By this collocation we made a contribution against the fragmentation of communities which work on di erent aspects of di erent independent branches, traditional branches (e.g., computer algebra and theorem proving), as well as newly emerging ones (on user interfaces, knowledge management, theory exp- ration, etc.). This will also facilitate the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, c- puter scientists, and engineers in their every-day business.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 424 pp. Englisch.
