Buchberger bruno (54 Ergebnisse)

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

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

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

Broschiert. Zustand: Gut. 281 S. : graph. Darst. ; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 450.

ix, 332 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

XI, 670 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2178. Sprache: Englisch. …

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

Softcover/Paperback. Zustand: Gut. XI, 315 S. : graph. Darst. gutes und sauberes Exemplar (leicht nachgedunkelt) Sprache: Deutsch Gewicht in Gramm: 540.

Zustand: Good. Minor wear, clean and unmarked.

Zustand: New. In English.

Softcover. Zustand: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 68 GRO 9780521632980 Sprache: Englisch Gewicht in Gramm: 550.…

Softcover. Zustand: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 68 GRO 9780521632980 Sprache: Englisch Gewicht in Gramm: 550.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

kartoniert kartoniert. Zustand: Sehr gut. 552 Seiten, mit Abbildungen, Zust: Gutes Exemplar. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 746.…

Zustand: very good. Berlin : Springer, 1981. Paperback. 315 pp. - Das vorliegende Skriptum ist der erste Teil einer 4-semestrigen Vorlesung in Mathematik fur Informatiker, die seit WS 79/80 an der Universitat Linz neu aufgebaut wird. Die Autoren wurden bei. der Strukturierung des Gesamtzyklus und insbesondere bei der Konzeption dieses ersten Teils von folgenden Grundgedanken geleitet: 1. Mathematik ist die Technik des rationalen Problemlosens. Der Vorgang des Problemlosens in seiner Ganzheit, beginnend bei der Analyse des meist nur sehr diffus gestellten Problems bis zur ubersichtlichen Präsentation des fertigen Losungsverfahrens und der Ergebnisse sollte deshalb im Mittelpunkt der Mathematik- ausbi1dung stehen. 2. Die Schulung der vielen sehr verschiedenen intellektuellen und psychischen Fahigkeiten, die das Losen eines Problems vom Problemloser erfordert (Geduld im Zuhoren: Fähigkeit, gezielte Fragen zu stellen: Sehen von Strukturen in unstrukturierten Realitaten: Prazision im Ausd uck: Verstehen und Formulieren von Sachverhalten in be1iebigen Notationen: Kreativitat und Flexibilität: Fahigkeit zur Nutzbarrnachung vorhandener Informationen: Abstraktionsvermogen und Fahigkeit zur Anschaulichkeit etc. etc.) fallt bei einer Ausbildung in Mathematik nicht selbstverstandlich als Nebenprodukt abo Vie1mehr muB der Aspekt, daß es in der Mathematikausbildung um die Schulung aller zum Vorgang des Problemlosens notwendigen Fahigkeiten geht, sowohl vom Lehrer als auch vom Studierenden von Anfang an in bewußter Weise verfolgt werden. Condition : very good copy. ISBN 9783540111504. Keywords : MATHEMATICS.…

Hardcover. Zustand: Sehr gut. 1. auflage. oktav hardcover. bis sehr gut erhalten. ungelesen, gebundene ausgabe, pappband, gelbe vorsätze, 160 seiten mit einigen grafischen darstellungen im text. format 22 x 13,5 cm.

Paperback. Zustand: Brand New. reprint edition. 346 pages. 9.25x6.10x0.82 inches. In Stock.

Broschiert Broschiert. Zustand: Sehr gut. Second edition. VI, 283 Seiten, Zust: Gutes Exemplar. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 474.…

kartoniert kartoniert. Zustand: Gut. Softcover. 274 Seiten, Zust: Gutes Exemplar. Buchrücken und Cover nachgedunkelt, leicht beschmutzt. Frontcover und die ersten 18 Seiten mit leichtem Knick, Buchecke hinten bestoßen. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 478.…

Hardcover. Zustand: Brand New. 2015 edition. 348 pages. 9.25x6.10x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computer algebra: Past and future.- MACSYMA: Capabilities and applications to problems in engineering and the sciences.- A preview of the next IBM-PC version of muMATH.- Current developments in LISP.- Computer algebra as a research tool in physics.- Symbolic computation and chemistry.- Computational geometry: Selected algorithms and paradigms.- Algebraic and symbolic computation in digital signal processing, coding and cryptography.- Computer algebra and practical analysis.- A new arithmetic for scientific computation with exact evaluation of expressions.- Algorithmic methods in automatic programming.- Proof theory and the synthesis of programs: Potential and limitations.- Constructions: A higher order proof system for mechanizing mathematics.- Scientific computation: The integration of symbolic, numeric and graphic computation.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - AISC 2004, the 7th International Conference on Arti cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat KarlsruheandJohnCa- bell of University College London with the initial title Arti cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective mathematical and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro le of the series, and will gure in the call for papersfor AISC 2006,whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e ect that emerged because we were concerned to select the best relevant papers that were o ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC,asexpressedbythe1998quotation above,to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Regular Contributions.- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics.- MKM from Book to Computer: A Case Study.- From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls.- Managing Digital Mathematical Discourse.- NAG Library Documentation.- On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions.- Problems and Solutions for Markup for Mathematical Examples and Exercises.- An Annotated Corpus and a Grammar Model of Theorem Description.- A Query Language for a Metadata Framework about Mathematical Resources.- Information Retrieval in MML.- An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG-Environment.- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.- On the Integrity of a Repository of Formalized Mathematics.- A Theoretical Analysis of Hierarchical Proofs.- Comparing Mathematical Provers.- Translating Mizar for First Order Theorem Provers.- Invited Talk.- The Mathematical Semantic Web.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 348 | Sprache: Englisch | Produktart: Bücher | The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain. …