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 34 träffar

Titel Författare År Språk
1 Symbolic Computation And Education International Seminar on Symbolic Computation in Education 2007 Engelska
2 Differential equations with symbolic computation Dongming. Wang c2005 Engelska
3 Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings 2018 Engelska
4 Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings 2018 Okänt
5-6 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
7 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
8 Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry 1997 Engelska
9 Automated Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings 1999 Okänt
10 Automated practical reasoning cop. 1995 Engelska
11 Automated Practical Reasoning : Algebraic Approaches 1995 Okänt
12 Artificial Intelligence and Symbolic Computation electronic resource - 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings Jaques. Calmet 2006 Engelska
13 Computer mathematics - proceedings of the fourth Asian symposium (ASCM 2000) Thailand) Asian Symposium on Computer Mathematics 2000 : Chiang Mai c2000 Engelska
14 Differential equations with symbolic computation c2005 Engelska
15 Differential Equations With Symbolic Computation (Trends in mathematics) Dongming Wang 2005 Okänt
16 Elimination Practice: Software Tools and Applications Dongming Wang 2004 Okänt
17 Elimination Practice: Software Tools And Applications (With Cd-rom) Dongming Wang 2004 Okänt
18 Symbolic Computation and Education Dongming Wang 2007 Okänt
19 Geometric Computation (Lecture notes series on computing v.11) Falai Chen 2004 Okänt
20 Gröbner bases in symbolic analysis 2007 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.