Paule peter (222 résultats)

VII, 113p. 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.

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

Etat : New.

Etat : New.

2 Bände. X/254, X/279 S., Originalbroschur (publisher's paper covers), Bibliotheksexemplar von guter Erhaltung/fine exlibrary, keine Unterstreichungen oder Anmerkungen/no underlinings or remarks, (Linguistische Arbeiten 133/134), Sprache: deutsch.

2 Bände. X/254, X/279 S., Originalbroschur (publisher's paper covers), Bibliotheksexemplar von guter Erhaltung/fine exlibrary, keine Unterstreichungen oder Anmerkungen/no underlinings or remarks, (Linguistische Arbeiten 133/134), Sprache: deutsch.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New. pp. 120.

Etat : Gut. 533 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7951 9783319424316 Sprache: Englisch Gewicht in Gramm: 900.

Paperback. Etat : Brand New. reprint edition. 124 pages. 9.30x6.20x0.28 inches. In Stock.

Hardcover. Etat : Brand New. 113 pages. 9.25x6.25x0.50 inches. In Stock.

Etat : New.

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger's successor as director of the Research Institute for Symbolic Computation.…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger's successor as director of the Research Institute for Symbolic Computation.…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016.The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.…

Etat : New.

Gebundene Ausgabe. Etat : Neu. This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger's successor as director of the Research Institute for Symbolic Computation. Sprache: Englisch Gewicht in Gramm: 308.…

Taschenbuch. Etat : Neu. Mathematical Software - ICMS 2016 | 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings | Gert-Martin Greuel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiv | Englisch | 2016 | Springer | EAN 9783319424316 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Etat : Neu. Mathematics, Computer Science and Logic - A Never Ending Story | The Bruno Buchberger Festschrift | Peter Paule | Taschenbuch | vii | Englisch | 2016 | Springer | EAN 9783319346823 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 480 | Sprache: Englisch | Produktart: Bücher | George Andrews is one of the most influential figures in number theory and combinatorics. In the theory of partitions and q-hypergeometric series and in the study of Ramanujan's work, he is the unquestioned leader. To suitably honor him during his 70th birthday year, an International Conference on Combinatory Analysis was held at The Pennsylvania State University during December 5-7, 2008. Three issues of the Ramanujan Journal comprising Volume 23 were published in 2010 as the refereed proceedings of that conference. The Ramanujan Journal was proud to bring out that volume honoring one of its Founding Editors. In view of the great interest that the mathematical community has in the influential work of Andrews, it was decided to republish Volume 23 of The Ramanujan Journal in this book form, so that the refereed proceedings are more readily available for those who do not subscribe to the journal but wish to possess this volume. As a fitting tribute to George Andrews, many speakers from the conference contributed research papers to this volume which deals with a broad range of areas that signify the research interests of George Andrews. In reproducing Volume 23 of The Ramanujan Journal in this book form, we have included two papers¿one by Hei-Chi Chan and Shaun Cooper, and another by Ole Warnaar¿which were intended for Volume 23 of The Ramanujan Journal, but appeared in other issues.The enormous productivity of George Andrews remains unabated in spite of the passage of time. His immensely fertile mind continues to pour forth seminal ideas year after year. He has two research papers in this volume. May his eternal youthfulness and his magnificent research output continue to inspire and influence researchers in the years ahead.…

Etat : Hervorragend. Zustand: Hervorragend | Seiten: 480 | Sprache: Englisch | Produktart: Bücher | George Andrews is one of the most influential figures in number theory and combinatorics. In the theory of partitions and q-hypergeometric series and in the study of Ramanujan's work, he is the unquestioned leader. To suitably honor him during his 70th birthday year, an International Conference on Combinatory Analysis was held at The Pennsylvania State University during December 5-7, 2008. Three issues of the Ramanujan Journal comprising Volume 23 were published in 2010 as the refereed proceedings of that conference. The Ramanujan Journal was proud to bring out that volume honoring one of its Founding Editors. In view of the great interest that the mathematical community has in the influential work of Andrews, it was decided to republish Volume 23 of The Ramanujan Journal in this book form, so that the refereed proceedings are more readily available for those who do not subscribe to the journal but wish to possess this volume. As a fitting tribute to George Andrews, many speakers from the conference contributed research papers to this volume which deals with a broad range of areas that signify the research interests of George Andrews. In reproducing Volume 23 of The Ramanujan Journal in this book form, we have included two papers¿one by Hei-Chi Chan and Shaun Cooper, and another by Ole Warnaar¿which were intended for Volume 23 of The Ramanujan Journal, but appeared in other issues.The enormous productivity of George Andrews remains unabated in spite of the passage of time. His immensely fertile mind continues to pour forth seminal ideas year after year. He has two research papers in this volume. May his eternal youthfulness and his magnificent research output continue to inspire and influence researchers in the years ahead.…

Etat : As New. Unread book in perfect condition.