Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Dongming. Wang 33 träffar

Titel Författare År Språk
1 Differential equations with symbolic computation Dongming. Wang c2005 Engelska
2 Symbolic Computation And Education International Seminar on Symbolic Computation in Education 2007 Engelska
3 Automated practical reasoning cop. 1995 Engelska
4-5 Automated deduction in geometry - third international workshop : revised papers (flera utgåvor) International Workshop on Automated Deduction in Geometry 2000 : Zürich) cop. 2001 Engelska
6 Automated deduction in geometry - International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 : selected papers International Workshop on Automated Deduction in Geometry 1996) (Toulouse : cop. 1998 Engelska
7 Computer mathematics - proceedings of the fourth Asian symposium (ASCM 2000) Thailand) Asian Symposium on Computer Mathematics 2000 : Chiang Mai c2000 Engelska
8 Symbolic Computation and Education Dongming Wang 2007 Okänt
9 Symbolic-numeric computation Dongming Wang c2007 Engelska
10-11 Automated Deduction in Geometry (flera utgåvor) Hoon. Hong 2006 Engelska
12 Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry 1997 Engelska
13 Artificial Intelligence and Symbolic Computation electronic resource - 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings Jaques. Calmet 2006 Engelska
14 Differential equations with symbolic computation c2005 Engelska
15 Elimination Practice: Software Tools and Applications Dongming Wang 2004 Okänt
16 Geometric Computation (Lecture notes series on computing v.11) Falai Chen 2004 Okänt
17 Gröbner bases in symbolic analysis 2007 Engelska
18 Mathematics Mechanization and Applications Dongming Author Wang uuuu-uuuu Okänt
19 Artificial Intelligence and Symbolic Computation Jacques Calmet 2006 Okänt
20 Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings 2018 Engelska

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.