Clear Search

Books+ Search Results

Author/Creator: All Of
All Of Any Of
Is
Is Is Not
Li, Wei Is
Is Is Not
SpringerLink (Online service)
Language: Is
Is Is Not
English

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Results are already all online
Viewing Online Items
1.
R-Calculus, V: Description Logics
Author
Li, Wei
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
R-Calculus, IV: Propositional Logic
Author
Li, Wei
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
R-Calculus, III: Post Three-Valued Logic
Author
Li, Wei
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
R-Calculus, II: Many-Valued Logics
Author
Li, Wei
Published
Singapore : Springer Nature Singapore : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
R-CALCULUS: A Logic of Belief Revision
Author
Li, Wei
Published
Singapore : Springer Singapore : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Security, Privacy, and Anonymity in Computation, Communication, and Storage SpaCCS 2020 International Workshops, Nanjing, China, December 18-20, 2020, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Security, Privacy, and Anonymity in Computation, Communication, and Storage 13th International Conference, SpaCCS 2020, Nanjing, China, December 18-20, 2020, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Algorithmic Aspects in Information and Management 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Artificial Intelligence Algorithms and Applications 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers
Published
Singapore : Springer Singapore : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Proceedings of the 6th Conference on Sound and Music Technology (CSMT) Revised Selected Papers
Published
Singapore : Springer Singapore : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part I
Published
Singapore : Springer Singapore : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part II
Published
Singapore : Springer Singapore : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Wireless Algorithms, Systems, and Applications 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
Combinatorial Optimization and Applications 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Crowdsourcing Cloud-Based Software Development
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Mathematical Logic Foundations for Information Science
Author
Li, Wei
Published
Basel : Springer Basel : Imprint: Birkhäuser, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Stereoselective Formation of Amines
Author
Li, Wei
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections
Author
Tan, Cher Ming
Published
London : Springer-Verlag London Limited, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Mathematical Logic Foundations for Information Science
Author
Li, Wei
Published
Basel : Birkhäuser Basel, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Echocardiography in Adult Congenital Heart Disease
Author
Li, Wei
Published
London : Springer-Verlag London Limited, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online