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
21-22 Automated Deduction in Geometry (flera utgåvor) Hoon. Hong 2006 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-25 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
26 Artificial Intelligence and Symbolic Computation Jacques Calmet 2006 Okänt
27 Radon Series on Computational and Applied Mathematics : Gröbner Bases in Symbolic Analysis 2007 Okänt
28 Symbolic-Numeric Computation 2007 Okänt
29 Mathematics Mechanization and Applications Dongming Author Wang uuuu-uuuu Okänt
30-31 Elimination practice electronic resource : software tools and applications / Dongming Wang (flera utgåvor) Dongming. Wang uuuu-uuuu Okänt
32 Symbolic-numeric computation Dongming Wang c2007 Engelska
33 Symbolic-Numeric Computation electronic resource / edited by Dongming Wang, Li-Hong Zhi Dongming. Wang uuuu-uuuu Okänt
34 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.