Zum Inhalt springen

Buchberger, Bruno [Herausgeber:in] ; AISC 7 2004 Linz

Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22 - 24,2004; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3249
Buchberger, Bruno [Herausgeber:in] ; CONPAR 6 1994 Linz, VAPP 6 1994 Linz, Joint International Conference on Vector and Parallel Processing 3 1994 Linz

Parallel processing : proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1994

Erschienen in: Lecture notes in computer science ; 854
Buchberger, Bruno [Sonstige Person, Familie und Körperschaft]

Rechnerorientierte Verfahren

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart: Teubner, 1986

Erschienen in: Mathematische Methoden in der Technik ; 400
Buchberger, Bruno [Herausgeber:in]

Computer algebra : symbolic and algebraic computation

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien [u.a.]: Springer, 1982

Erschienen in: Computing <Wien> / Supplementum ; 4
Buchberger, Bruno [Verfasser:in]

Associating functions and operator of conditioned iteration

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1971

Erschienen in: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung: Bericht ; 71,01
Buchberger, Bruno [Verfasser:in]

A basic problem in the theory of programming languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1972

Erschienen in: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung: Bericht ; 72,01
Buchberger, Bruno [Verfasser:in]

Bemerkung zu den Reduzierbarkeitskriterien von R. Albrecht für das Optimum-Mix-Problem

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1971

Erschienen in: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung: Bericht ; 71,05
Buchberger, Bruno [Verfasser:in]

Certain decompositions of Gödel numberings and the semantics of programming languages : Vortrag gehalten am Symposium on Theoretical Programming, 7 - 11 Aug. 1972 in Nowosibirsk

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1972
Buchberger, Bruno [Verfasser:in]

A comment on Blum's signal functions

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1971

Erschienen in: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung: Bericht ; 71,03
Buchberger, Bruno [Verfasser:in]

A study on universal functions

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1972

Erschienen in: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung: Bericht ; 72,05
Buchberger, Bruno [Verfasser:in]; Lichtenberger, Franz [Verfasser:in]

Mathematik für Informatiker / 1, Die Methode der Mathematik

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 1980

Erschienen in: Mathematik für Informatiker / B. Buchberger; F. Lichtenberger ; 1 - Informatik-Fachberichte ; 35
Buchberger, Bruno [Verfasser:in]; Lichtenberger, Franz [Verfasser:in]

Mathematik für Informatiker / 1, Die Methode der Mathematik - [2., korr. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 1981

Erschienen in: Mathematik für Informatiker / B. Buchberger; F. Lichtenberger ; 1,2
Buchberger, Bruno [Verfasser:in]; Lichtenberger, Franz [Verfasser:in]

Mathematik für Informatiker

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 19XX-
Buchberger, Bruno [Herausgeber:in]; Collins, George Edwin [Sonstige Person, Familie und Körperschaft]

Computer algebra : symbolic and algebraic computation - [2. ed.]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien [u.a.]: Springer, 1983
Asperti, Andrea [Herausgeber:in]; Buchberger, Bruno [Sonstige Person, Familie und Körperschaft]; Davenport, James Harold [Sonstige Person, Familie und Körperschaft] ; MKM 2 2003, Bertinoro Bertinoro

Mathematical knowledge management : second international conference ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2594
Buchberger, Bruno [Herausgeber:in] ; SYNASC 24. 2023 Linz; Hagenberg im Mühlkreis; Online

2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : SYNASC 2022 : Linz, Austria, 12-15 September 2022 : proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2023
Buchberger, Bruno [Sonstige Person, Familie und Körperschaft] ; CONPAR 6 1994 Linz, VAPP 6 1994 Linz, Joint International Conference on Vector and Parallel Processing 3 1994 Linz

Parallel processing: CONPAR 94 - VAPP VI : third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6 - 8, 1994 ; proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1994 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 85400
Buchberger, Bruno [Sonstige Person, Familie und Körperschaft] ; EUROCAL 1985 Linz

EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1 - 3 1985 ; proceedings vol. 1: invited lectures

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1985 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 20300
Buchberger, Bruno [Verfasser:in] ; Campbell, John A. [Sonstige Person, Familie und Körperschaft]

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Erschienen in: Lecture notes in computer science ; 3249
Buchberger, Bruno [Verfasser:in] ; Campbell, John [Sonstige Person, Familie und Körperschaft]

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2004

Erschienen in: Lecture notes in computer science ; 324900

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr