Home Advanced Search

Advanced Search - Page 1

Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Kai Hwang (auth.), Bruno Buchberger, Jens Volkert (eds.)
Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Kai Hwang (auth.), Bruno Buchberger, Jens Volkert (eds.)
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Bruno Buchberger (auth.), Alfonso Miola (eds.)
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Bruno Buchberger (auth.), Alfonso Miola (eds.)
Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: Bruno Buchberger (auth.), Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (eds.)
EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures
  • DJVU
  • English
  • Year: 1985
  • Author: B. F. Caviness (auth.), Bruno Buchberger (eds.)
EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures
  • DJVU
  • English
  • Year: 1985
  • Author: B. F. Caviness (auth.), Bruno Buchberger (eds.)
Parallel Computation: Second International ACPC Conference Gmunden, Austria, October 4–6, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Borut Robič, Jurij à ilc (auth.), Jens Volkert (eds.)
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Markus Rosenkranz (auth.), Bruno Buchberger, John Campbell (eds.)
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Bruno Buchberger (auth.), Ulrich Furbach, Natarajan Shankar (eds.)
search