Heinz Kredel

发表

Sabine Richling, Steffen Hau, Heinz Kredel, 2010, 2010 International Conference on P2P, Parallel, Grid, Cloud and Internet Computing.
Heinz Kredel, Hans-Günther Kruse, Ingo Ott, 2011, 2011 International Conference on P2P, Parallel, Grid, Cloud and Internet Computing.
Sabine Richling, Steffen Hau, Heinz Kredel, 2011, 2011 International Conference for High Performance Computing, Networking, Storage and Analysis (SC).
Heinz Kredel, W. Böge, Rüdiger Gebauer, 1985, European Conference on Computer Algebra.
Heinz Kredel, 2000 .
Heinz Kredel, Raphael Jolly, 2009, ArXiv.
Heinz Kredel, Heinz Kredel, 1990, DISCO.
Erich Strohmaier, Sabine Richling, Heinz Kredel, 2012, Computer Science - Research and Development.
Heinz Kredel, Volker Weispfenning, Thomas Becker, 1993 .
Heinz Kredel, 2012, 2012 26th International Conference on Advanced Information Networking and Applications Workshops.
Heinz Kredel, Raphael Jolly, R. Jolly, 2010, CASC.
Erich Strohmaier, Sabine Richling, Heinz Kredel, 2013, ISC.
Heinz Kredel, Manfred Göbel, Heinz Kredel, 2002, Inf. Comput..
Heinz Kredel, 2010, 2010 International Conference on Complex, Intelligent and Software Intensive Systems.
Sabine Richling, Heinz Kredel, Hans-Günther Kruse, 2015, 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC).
Heinz Kredel, Hans Werner Meuer, Akitoshi Yoshida, 1997, PIK Prax. Informationsverarbeitung Kommun..
Heinz Kredel, Raphael Jolly, 2011, CASC.
Heinz Kredel, Heinz Kredel, 1991, PLILP.
Heinz Kredel, Heinz Kredel, 1987, EUROCAL.
Heinz Kredel, Matthias Merz, 2004, ISICT.
Heinz Kredel, Heinz Kredel, 2008, Automated Deduction in Geometry.
Sabine Richling, Heinz Kredel, Hans-Günther Kruse, 2010, Prax. Inf.verarb. Kommun..
Heinz Kredel, Volker Weispfenning, V. Weispfenning, 1988, J. Symb. Comput..
Heinz Kredel, Michael Pesch, 1997, SIGS.
Heinz Kredel, Dieter Armbruster, 1986, J. Symb. Comput..
Heinz Kredel, Heinz Kredel, 2008, ASCM.
Sabine Richling, Heinz Kredel, Hans-Günther Kruse, 2014, PIK Prax. Informationsverarbeitung Kommun..
Heinz Kredel, W. Böge, Rüdiger Gebauer, 1986, J. Symb. Comput..
Heinz Kredel, Hans-Günther Kruse, Ingo Ott, 2011, Prax. Inf.verarb. Kommun..
Heinz Kredel, Rüdiger Gebauer, 1984, SIGS.
Heinz Kredel, Akitoshi Yoshida, 1998, HMD Prax. Wirtsch..
Sabine Richling, Steffen Hau, Heinz Kredel, 2010, 3PGCIC.
Heinz Kredel, 2005, Algorithmic Algebra and Logic.
Heinz Kredel, 2009, 2009 International Conference on Complex, Intelligent and Software Intensive Systems.
Heinz Kredel, Heinz Kredel, 2013, 2013 27th International Conference on Advanced Information Networking and Applications Workshops.
Heinz Kredel, Heinz Kredel, 1993 .