Windsteiger wolfgang (23 Ergebnisse)

Paperback. Zustand: Brand New. 2009 edition. 160 pages. German language. 9.37x6.69x0.55 inches. In Stock.

Zustand: New. In German.

Paperback. Zustand: Brand New. 150 pages. German language. 9.45x6.69x0.39 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. Auch Band 2 von "Algorithmische Methoden" beantwortet Fragen der Analysis und linearen Algebra unter Verwendung der Softwarepakete Matlab und Mathematica. Im Vordergrund: die Objekte am Rechner, Grundoperationen an diesen Objekten und typische Fragen " Series: Mathematik Kompakt. Num Pages: 160 pages, bibliography. BIC Classification: PBC; PBF; PBK; PBW. Category: (G) General (US: Trade). Dimension: 239 x 168 x 10. Weight in Grams: 340. . 2011. Paperback / so. . . . . Books ship from the US and Ireland.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.…

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

Paperback. Zustand: Brand New. 2013 edition. 399 pages. 9.06x5.98x0.94 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 407 pages. 9.00x6.00x1.00 inches. In Stock.

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

Taschenbuch. Zustand: Neu. Intelligent Computer Mathematics | MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings | Jacques Carette (u. a.) | Taschenbuch | xvi | Englisch | 2013 | Springer | EAN 9783642393198 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

kartoniert kartoniert. Zustand: Sehr gut. VI, 159 Seiten, Zust: Gutes Exemplar. Mit Ex-Libris-Stempel. 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: Deutsch Gewicht in Gramm: 336.…

Zustand: New. In English.

Zustand: New. In English.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - BrunoBuchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request of the Upper Aus trian Government with the objective of creating a scienti c, technological, and economic impulse for the region and the international community. In the meantime, in a joint e ort, the Softwarepark Hagenberg has grown to the current (2009) size of over 1000 R&D employees and 1300 students in six research institutions, 40 companies and 20 academic study programs on the bachelor, master's and PhD level. The goal of the Softwarepark Hagenberg is innovation of economy in one of the most important current technologies: software. It is the message of this book that this can only be achieved and guaranteed long term by 'watering the root', namely emphasis on research, both basic and applied. In this book, we summarize what has been achieved in terms of research in the various research institutions in the Softwarepark Hagenberg and what research vision we have for the imminent future. When I founded the Softwarepark Hagenberg, in addition to the 'watering the root' principle, I had the vision that such a technology park can only prosper if we realize the 'magic triangle', i.e. the close interaction of research, academic education, and business applications at one site, see Figure 1.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - BrunoBuchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request of the Upper Aus trian Government with the objective of creating a scienti c, technological, and economic impulse for the region and the international community. In the meantime, in a joint e ort, the Softwarepark Hagenberg has grown to the current (2009) size of over 1000 R&D employees and 1300 students in six research institutions, 40 companies and 20 academic study programs on the bachelor, master's and PhD level. The goal of the Softwarepark Hagenberg is innovation of economy in one of the most important current technologies: software. It is the message of this book that this can only be achieved and guaranteed long term by 'watering the root', namely emphasis on research, both basic and applied. In this book, we summarize what has been achieved in terms of research in the various research institutions in the Softwarepark Hagenberg and what research vision we have for the imminent future. When I founded the Softwarepark Hagenberg, in addition to the 'watering the root' principle, I had the vision that such a technology park can only prosper if we realize the 'magic triangle', i.e. the close interaction of research, academic education, and business applications at one site, see Figure 1.…

Taschenbuch. Zustand: Neu. Hagenberg Research | Bruno Buchberger (u. a.) | Taschenbuch | viii | Englisch | 2010 | Springer | EAN 9783642101915 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Hardcover. Zustand: Brand New. 1st edition. 488 pages. 9.50x6.50x0.75 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dies ist der zweite Band von Algorithmische Methoden, ein Lehrbuch zur computerorientierten Begleitung der Analysis und Linearen Algebra. Als mathematische Objekte dienen Funktionen, Matrizen und multivariate Polynome der Gliederung des Bandes. Neben den Grundlagen dazu werden die Darstellung der Objekte am Computer, wie etwa die Termdarstellung von Funktionen, sowie darauf definierte Grundoperationen wie zum Beispiel die Faktorisierung einer Matrix besprochen. Als roter Faden führt das Lösen der mit Hilfe der Objekte beschreibbaren Gleichungssysteme durch den Text. Eine Besonderheit dabei ist das Lösen polynomialer Gleichungssysteme mit Hilfe von Gröbner-Basen. Alle Lösungsalgorithmen werden anhand von Beispielen illustriert, die als in Matlab oder Mathematica ausführbare Downloads zur Verfügung stehen.…

Zustand: Gut. Zustand: Gut | Produktart: Bücher | Dies ist der zweite Band von Algorithmische Methoden, ein Lehrbuch zur computerorientierten Begleitung der Analysis und Linearen Algebra. Als mathematische Objekte dienen Funktionen, Matrizen und multivariate Polynome der Gliederung des Bandes. Neben den Grundlagen dazu werden die Darstellung der Objekte am Computer, wie etwa die Termdarstellung von Funktionen, sowie darauf definierte Grundoperationen wie zum Beispiel die Faktorisierung einer Matrix besprochen. Als roter Faden führt das Lösen der mit Hilfe der Objekte beschreibbaren Gleichungssysteme durch den Text. Eine Besonderheit dabei ist das Lösen polynomialer Gleichungssysteme mit Hilfe von Gröbner-Basen. Alle Lösungsalgorithmen werden anhand von Beispielen illustriert, die als in Matlab oder Mathematica ausführbare Downloads zur Verfügung stehen.…

Zustand: Hervorragend. Zustand: Hervorragend | Produktart: Bücher | Dies ist der zweite Band von Algorithmische Methoden, ein Lehrbuch zur computerorientierten Begleitung der Analysis und Linearen Algebra. Als mathematische Objekte dienen Funktionen, Matrizen und multivariate Polynome der Gliederung des Bandes. Neben den Grundlagen dazu werden die Darstellung der Objekte am Computer, wie etwa die Termdarstellung von Funktionen, sowie darauf definierte Grundoperationen wie zum Beispiel die Faktorisierung einer Matrix besprochen. Als roter Faden führt das Lösen der mit Hilfe der Objekte beschreibbaren Gleichungssysteme durch den Text. Eine Besonderheit dabei ist das Lösen polynomialer Gleichungssysteme mit Hilfe von Gröbner-Basen. Alle Lösungsalgorithmen werden anhand von Beispielen illustriert, die als in Matlab oder Mathematica ausführbare Downloads zur Verfügung stehen.…