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 Automated Deduction in Geometry - 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers Hoon. Hong 2006 Engelska
22 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
23-24 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
25 Artificial Intelligence and Symbolic Computation Jacques Calmet 2006 Okänt
26 Radon Series on Computational and Applied Mathematics : Gröbner Bases in Symbolic Analysis 2007 Okänt
27 Symbolic-Numeric Computation 2007 Okänt
28 Mathematics Mechanization and Applications Dongming Author Wang uuuu-uuuu Okänt
29-30 Elimination practice electronic resource : software tools and applications / Dongming Wang (flera utgåvor) Dongming. Wang uuuu-uuuu Okänt
31 Symbolic-numeric computation Dongming Wang c2007 Engelska
32 Symbolic-Numeric Computation electronic resource / edited by Dongming Wang, Li-Hong Zhi Dongming. Wang uuuu-uuuu Okänt
33 Distributed MIMO and Cell-Free Mobile Communication Xiaohu You 2021 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.