Buchberger, Bruno.
概要
| 作品: | 9 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Correct Software in Web Applications and Web Services
by:
Schewe, Klaus-Dieter.; Thalheim, Bernhard.; Buchberger, Bruno.; SpringerLink (Online service); Prinz, Andreas.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Mathematical knowledge management = second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Asperti, Andrea.; Buchberger, Bruno.; SpringerLink (Online service); Davenport, James Harold, (1953-)
(書目-語言資料,印刷品)
Artificial intelligence and symbolic computation = 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings /
by:
Campbell, J. A., (1940-); Workshop on the Preservation of Stability under Discretization ((2001 :); Buchberger, Bruno.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer science—Mathematics.
Computer mathematics.
Software Engineering/Programming and Operating Systems.
Automatic theorem proving
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer Science.
Information Systems Applications (incl.Internet)
Algorithms.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Mathematical Applications in Computer Science.
Information storage and retrieval systems
Logic, Symbolic and mathematical
Computer science.
Mathematics
User Interfaces and Human Computer Interaction.