E-LIB Suche - Ergebnisse für: Zhao, Xiao-Shan - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Proceedings of the 2016 ACM International Symposium on Symb..:

Abramov, Sergei ; Zima, Eugene ; Gao, Xiao-Shan , 2016

Link: https://dl.acm.org/doi/1..

2

Proceedings of the 2005 international symposium on Symbolic..:

Gao, Xiao-Shan ; Labahn, George , 2005

Link: https://dl.acm.org/doi/1..

3

Mathematical software: proceedings of the first Internation..:

Cohen, Arjeh M ; Gao, Xiao-Shan ; Takayama, Nobuki , 2002

Link: https://search.ebscohost..

4

Computer mathematics: proceedings of the Fourth Asian Sympo..

Lecture notes series on computing, v. 8

Gao, Xiao-Shan ; Wang, Dongming , 2000

Link: https://search.ebscohost..

5

Machine proofs in geometry: automated production of readabl..

Series on applied mathematics, v. 6

Chou, Shang-Ching ; Gao, Xiao-Shan ; Zhang, Jingzhong , 1994

Link: https://search.ebscohost..

6

The Superhero Symbol

Media, Culture, and Politics

Adams, Mitchell ; Bainbridge, Jason ; Burke, Liam... , [2019]

Link: https://doi.org/10.36019..

7

From Grand Challenges to Great Solutions: Digital Transform..

Lecture Notes in Business Information Processing, 443

Fan, Shaokun ; Ilk, Noyan ; Shan, Zhe. - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

8

Biometric Recognition

11th Chinese Conference, CCBR 2016, Chengdu, China, October... Lecture Notes in Computer Science ; 9967;Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9967;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Wang, Yunhong ; Sun, Zhenan ; Shan, Shiguang... , 2016

Link: https://doi.org/10.1007/..

9

Mathematics mechanization and applications:

Gao, Xiao-Shan , c2000

Link: https://www.sciencedirec..

10

Automated Deduction in Geometry

Second International Workshop, ADG’98 Beijing, China, Augus... Lecture Notes in Computer Science ; 1669;SpringerLink, Bücher

Gao, Xiao-Shan ; Wang, Dongming ; Yang, Lu , 1999

Link: http://dx.doi.org/10.100..

11

The stability theory of stream ciphers

Lecture notes in computer science ; 561

Ding, Cunsheng ; Xiao, Guozhen ; Shan, Weijuan , 1991

Link: http://dx.doi.org/10.100..

Copies: Zentrale:Magazin 01.p.0466

1-11