It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
August 29, 2008 | History
Edit

Bruno Buchberger

We need a photo of Bruno Buchberger

24 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Gröbner bases and applications

    First published in 1998 — 4 editions
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Correct Software in Web Applications and Web Services

    First published in 2015 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Hagenberg Research

    First published in 2009 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Parallel Processing: Conpar 94 - Vapp VI: Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994. (Lecture Notes in Computer Science)

    First published in 1994 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings

    First published in 2004 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings

    First published in 2003 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: EUROCAL '85: European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings.

    First published in 1985 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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

    First published in 2003 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Parallel Processing : CONPAR 94 - VAPP VI: Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994. Proceedings

    First published in 2006 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Associating functions and the operator of conditioned iteration.

    First published in 1971 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A basic problem in the theory of programming languages.

    First published in 1972 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A comment on Blum's signal functions.

    First published in 1971 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Computer Algebra: Symbolic and Algebraic Computation (Cell Biology Monographs)

    First published in 1983 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Eurocal '85: Invited Lectures (Lecture Notes in Computer Science)

    First published in 1986 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures (Lecture Notes in Computer Science)

    First published in 1985 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A study on universal functions

    First published in 1972 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Computer algebra: symbolic and algebraic computation

    First published in 1982 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Artificial Intelligence - Eine Einführung

    First published in 2014 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Rechnerorientierte Verfahren

    First published in 1986 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Multidimensional systems theory and applications

    First published in 2003 — 1 edition
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Bruno Buchberger

Subjects

Algebra, Recursive functions, Data processing, Programming languages (Electronic computers), Artificial intelligence, Congresses, Machine theory, Algorithmus, Algèbre, Application software, development, Automates mathématiques, théorie des, Automatic theorem proving, Computer networks, Computer science, Computer software, verification, Computeralgebra, Gröbner bases, Information storage and retrieval systems, Information systems, Information theory, Informatique, Mathematics, data processing, Numerische Mathematik, Parallel processing (Electronic computers), Parallele Numerik

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1695436A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 29, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import