Jump to main content

yr 〜
yr

Search results 19

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004 : Linz, Austria, September 22-24, 2004 : proceedings. : Sep 2004, Linz, Austria. (Lecture Notes in Computer Science ; 3249. Lecture Notes in Artificial Intelligence)

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004 : Linz, Austria, September 22-24, 2004 : proceedings. : Sep 2004, Linz, Austria. (Lecture Notes in Computer Science ; 3249. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2004.<M17-05-140>
National Diet Library
  • Author Heading...sches Rechnen. Buchberger, Bruno. Campbell, J. A., 1940- Inter...

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings. : Feb 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2594)

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings. : Feb 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2594)
Paper図書
Springerc2003.<M17-03-1114>
National Diet Library
  • Author HeadingAsperti, Andrea. Buchberger, Bruno. Davenport, James Harold, 195...

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. : Feb 2001, Las Palmas de Gran Canaria, Spain. (Lecture Notes in Computer Science ; 2178)

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. : Feb 2001, Las Palmas de Gran Canaria, Spain. (Lecture Notes in Computer Science ; 2178)
Paper図書
Springerc2001.<M17-03-2291>
National Diet Library
  • Author HeadingMoreno-Díaz, Roberto. Buchberger, Bruno. Freire, José-Luis. Internati...

Parallel processing : CONPAR 94-VAPP VI : third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : proceedings / Bruno Buchberger, Jens Volkert, eds. (Lecture notes in computer science)

Parallel processing : CONPAR 94-VAPP VI : third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : proceedings / Bruno Buchberger, Jens Volkert, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9468>
National Diet Library
  • Author Heading...Linz, Austria) Buchberger, Bruno. Volkert, Jens, 1942-

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

Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
Paper図書
Bruno Buchberger, John A. Campbell (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Conference AISC Buchberger, Bruno Campbell, John A.

Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
Paper図書
Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingMKM Asperti, Andrea Buchberger, Bruno Davenport, J. H.

Multidimensional systems theory and applications 2nd ed

Multidimensional systems theory and applications 2nd ed
Paper図書
[edited by] N.K. Bose ; with contributions by N.K. Bose, B. Buchberger, and J.P. GuiverKluwer Academic Publishersc2003
Other Libraries in Japan
  • Author HeadingBose, N. K. (Nirmal K.) Buchberger, Bruno Guiver, J. P

KnowledgeWeb

KnowledgeWeb
Paper図書
B. Buchberger ... [et al.]Institute of Information Sciences and Electronics, University of Tsukuba1998
Other Libraries in Japan
  • Author HeadingBuchberger, Bruno

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

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
Paper図書
Roberto Moreno-Díaz, Bruno Buchberger, José-Luis Freire (eds.)Springerc2001
Other Libraries in Japan
  • Author Heading...-Díaz, Roberto Buchberger, Bruno Freire, José-Luis

EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings. (Lecture notes in computer science ; 203-204)

EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings. (Lecture notes in computer science ; 203-204)
Paper図書
Springer-Verlagc1985.<M15-A1121>
National Diet Library
  • Author HeadingEuropean Conference on Computer Algebra (1985 : Linz, Austria) Buchberger, Bruno. Caviness, Bob F.

Gröbner bases and applications : pbk

Gröbner bases and applications : pbk
Paper図書
edited by B. Buchberger & F. WinklerCambridge University Press1998
Other Libraries in Japan
  • Author HeadingBuchberger, Bruno Winkler, Franz

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

Parallel processing : CONPAR 94-VAPP VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : proceedings : gw : us
Paper図書
Bruno Buchberger, Jens Volkert (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingJoint International Conference on Vector and Parallel Processing Buchberger, Bruno Volkert, Jens

Algorithms in real algebraic geometry

Algorithms in real algebraic geometry
Paper図書
edited by Denis S. Arnon, Bruno BuchbergerAcademic Press1988
Other Libraries in Japan
  • Author HeadingArnon, Denis S. Buchberger, Bruno

Invited lectures : gw : us

Invited lectures : gw : us
Paper図書
edited by Bruno BuchbergerSpringer-Verlagc1985
Other Libraries in Japan
  • Author HeadingBuchberger, Bruno Caviness, Bob F. European Con...

Research contributions : gw : us

Research contributions : gw : us
Paper図書
edited by Bob F. CavinessSpringer-Verlagc1985
Other Libraries in Japan
  • Author HeadingCaviness, Bob F. Buchberger, Bruno European Conference on Comput...

Die Methode der Mathematik : [gw] : [us] 2., korrig. Aufl.

Die Methode der Mathematik : [gw] : [us] 2., korrig. Aufl.
Paper図書
B. Buchberger, F. LichtenbergerSpringer-Verlag1981
Other Libraries in Japan
  • Author HeadingBuchberger, Bruno Lichtenberger, Franz

Die Methode der Mathematik : gw : us

Die Methode der Mathematik : gw : us
Paper図書
B. Buchberger, F. LichtenbergerSpringer-Verlag1980
Other Libraries in Japan
  • Author HeadingBuchberger, Bruno Lichtenberger, Franz

Computer algebra : symbolic and algebraic computation : us : au 2nd ed

Computer algebra : symbolic and algebraic computation : us : au 2nd ed
Paper図書
edited by B. Buchberger, G.E. Collins, and R. Loos, in cooperation with R. AlbrechtSpringer-Verlagc1983
Other Libraries in Japan
  • Author HeadingBuchberger, Bruno Collins, G. E. (George Edwin)...

Computer algebra : symbolic and algebraic computation : U.S. : pbk. : A.U. : pbk.

Computer algebra : symbolic and algebraic computation : U.S. : pbk. : A.U. : pbk.
Paper図書
edited by B. Buchberger, G.E. Collins, and R. Loos, in cooperation with R. AlbrechtSpringer-Verlagc1982
Other Libraries in Japan
  • Author HeadingBuchberger, Bruno Collins, G. E. (George Edwin)...

Reached to the end of result.

RSS