Bruno Buchberger - PDFSEARCH.IO - Document Search Engine

Bruno Buchberger
Results: 15

#	Item
1	Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Second Announcement Add to Reading List Source URL: cadgme.ms.sapientia.ro Language: English - Date: 2016-04-28 09:03:52 Baranya Hungarian minority in Romania Miercurea Ciuc Sapientia University Trgu Mure Bruno Buchberger Pcs Johannes Kepler Mathematics education Noah Dana-Picard University of Szeged Corunca
2	PostDoc Position (f/m, 100%) in the RICAM Research Group “Symbolic Computation” At the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences, Linz, Austria, the Add to Reading List Source URL: www.ricam.oeaw.ac.at Language: English - Date: 2016-05-24 10:34:45 Linz Oil Campaign of World War II Johannes Kepler Johann Radon Christoph Koutschan Bruno Buchberger
3	Curriculum Vitae Wolfgang Schreiner A.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Schreiner Office address: Research Institute for Symbolic Computation (RISC) Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2015-04-21 02:40:32 Reduced instruction set computing Johannes Kepler Parallel computing Computing Computer science Austria European people Bruno Buchberger Germany Research Institute for Symbolic Computation Hagenberg im Mühlkreis Linz
4	RTA 2008 19th International Conference on Rewriting Techniques and Applications July 15-17, 2008, Hagenberg, Austria The 19th International Conference on Rewriting Techniques and Applications (RTA[removed]is organised as p Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2008-05-21 04:32:19 Automated theorem proving International Conference on Rewriting Techniques and Applications Formal languages Logic in computer science Formal methods Logic programming Rewriting Hagenberg im Mühlkreis Bruno Buchberger Theoretical computer science Mathematics Applied mathematics
5	Annual Report ACM Special Interest Group on Symbolic and Algebraic Computation SIGSAM July 2008 – June 2009 Submitted by: Mark Giesbrecht, Chair Add to Reading List Source URL: www.sigsam.org Language: English - Date: 2015-02-26 06:06:08 Association for Computing Machinery Paris Kanellakis Award Paris Kanellakis Bruno Buchberger Computing Science SIGSAM Computer science International nongovernmental organizations
6	How beginners experience grid computing Michael Krieger RISC Software GmbH Softwarepark 35, 4232 Hagenberg, Austria Add to Reading List Source URL: www.egcf.eu Language: English - Date: 2014-06-15 06:18:08 Software Hagenberg im Mühlkreis Linz Reduced instruction set computing Kepler Bruno Buchberger Johannes Kepler Spacecraft Spaceflight
7	Curriculum Vitae Dr. Teimuraz (Temur) Kutsia Research Institute for Symbolic Computation (RISC) Johannes Kepler University, A–4040 Linz, Austria Tel: +[removed]9982 Fax: +[removed]9930 Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:06 Hagenberg im Mühlkreis Actor model Johannes Kepler Computing Mathematics Bruno Buchberger Symbolic-numeric computation Research Institute for Symbolic Computation Computer science International Conference on Rewriting Techniques and Applications
8	PDF Document Add to Reading List Source URL: www.mizar.org Language: English - Date: 2010-03-05 21:10:06 James H. Davenport Andrzej Trybulec Michael Kohlhase Mathematical knowledge management Nobel laureates in Physics Radioactivity Marie Curie Bruno Buchberger Science Chemistry Physics
9	PDF Document Add to Reading List Source URL: www.mizar.org Language: English - Date: 2010-03-05 21:10:06 James H. Davenport Andrzej Trybulec Michael Kohlhase Mathematical knowledge management Nobel laureates in Physics Radioactivity Marie Curie Bruno Buchberger Science Chemistry Physics
10	Doctoral Studies in Symbolic Computation Symbolic Computation at RISC Symbolic Computation is the subarea of mathematics and computer science which solves problems on symbolic objects Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2011-12-15 08:55:43 Classes of computers Symbolic computation Reduced instruction set computing Computing Computer science Science Bruno Buchberger SIGSAM Research Institute for Symbolic Computation Computer algebra Hagenberg im Mühlkreis

UPDATE