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
21-22 Automated deduction in geometry. - Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings (flera utgåvor) International Workshop on Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry 1999 Engelska
23 Automated Deduction in Geometry: 5Th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : Revised Papers (Lecture notes in computer science, Lecture notes in artificial intelligence 3763) Hoon Hong 2006 Okänt
24 Symbolic-Numeric Computation electronic resource / edited by Dongming Wang, Li-Hong Zhi Dongming. Wang uuuu-uuuu Okänt
25-26 Elimination practice electronic resource : software tools and applications / Dongming Wang (flera utgåvor) Dongming. Wang uuuu-uuuu Okänt
27 Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings 2018 Okänt
28 Radon Series on Computational and Applied Mathematics : Gröbner Bases in Symbolic Analysis 2007 Okänt
29 Automated Practical Reasoning : Algebraic Approaches 1995 Okänt
30 Automated Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings 1999 Okänt
31 Symbolic-Numeric Computation 2007 Okänt
32 Elimination Practice: Software Tools And Applications (With Cd-rom) Dongming Wang 2004 Okänt
33 Differential Equations With Symbolic Computation (Trends in mathematics) Dongming Wang 2005 Okänt

Förra sidan 1 2

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.