Del i serien Lecture Notes in Computer Science

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Volume 1: Invited Lectures

Häftad, Engelska, 1985

AvBruno Buchberger

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1985-10-01
Mått155 x 235 x 14 mm
Vikt376 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor236
Upplaga1985
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540159834

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

Computer algebra: Past and future.- MACSYMA: Capabilities and applications to problems in engineering and the sciences.- A preview of the next IBM-PC version of muMATH.- Current developments in LISP.- Computer algebra as a research tool in physics.- Symbolic computation and chemistry.- Computational geometry: Selected algorithms and paradigms.- Algebraic and symbolic computation in digital signal processing, coding and cryptography.- Computer algebra and practical analysis.- A new arithmetic for scientific computation with exact evaluation of expressions.- Algorithmic methods in automatic programming.- Proof theory and the synthesis of programs: Potential and limitations.- Constructions: A higher order proof system for mechanizing mathematics.- Scientific computation: The integration of symbolic, numeric and graphic computation.

Du kanske också är intresserad av

Artificial Intelligence and Symbolic Computation

Bruno Buchberger, John A. Campbell

Häftad, 2004

749 kr

Correct Software in Web Applications and Web Services

Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

Inbunden, 2015

719 kr

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

Inbunden, 2009

2 219 kr

Correct Software in Web Applications and Web Services

Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

Häftad, 2016

749 kr

Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost - Artificial Intelligence — Eine Einführung, Häftad

Del 2

Artificial Intelligence — Eine Einführung

Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost

Häftad, 1986

679 kr

Computer Aided Systems Theory - EUROCAST 2001

Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire

Häftad, 2001

1 479 kr

Mathematik für Informatiker I

Bruno Buchberger, F. Lichtenberger

Häftad, 1981

739 kr

Mathematical Knowledge Management

Andrea Asperti, Bruno Buchberger, James Harold Davenport

Häftad, 2003

749 kr

Hagenberg Research

Häftad, 2010

2 219 kr

Del 251

Gröbner Bases and Applications

Burchberger Winkler, Burchberger/Winkler, Bruno Buchberger, Franz Winkler

Häftad, 1998

2 329 kr

Del i serien Lecture Notes in Computer Science

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Volume 1: Invited Lectures

Häftad, Engelska, 1985

AvBruno Buchberger

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1985-10-01
Mått155 x 235 x 14 mm
Vikt376 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor236
Upplaga1985
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540159834

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

Computer algebra: Past and future.- MACSYMA: Capabilities and applications to problems in engineering and the sciences.- A preview of the next IBM-PC version of muMATH.- Current developments in LISP.- Computer algebra as a research tool in physics.- Symbolic computation and chemistry.- Computational geometry: Selected algorithms and paradigms.- Algebraic and symbolic computation in digital signal processing, coding and cryptography.- Computer algebra and practical analysis.- A new arithmetic for scientific computation with exact evaluation of expressions.- Algorithmic methods in automatic programming.- Proof theory and the synthesis of programs: Potential and limitations.- Constructions: A higher order proof system for mechanizing mathematics.- Scientific computation: The integration of symbolic, numeric and graphic computation.