Clear Search

Books+ Search Results

Author/Creator: Is
Is Is Not
Li, Wei
Language: Is
Is Is Not
English

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (22)
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.
Renewable energy micro-generation systems customer-led energy transition to make a sustainable world
Published
London : Academic Press, [2021]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
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
8.
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
9.
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
10.
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
11.
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
12.
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
13.
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
14.
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
15.
Han feng Zang yun : Zhongguo gu dai jin tong fo xiang yi shu
Title
漢風藏韻
Published
Beijing : Zhonghua shu ju, 2016.
Location
SML, Stacks, LC Classification >> NB1912.B83 H356 2016 (LC) Oversize
Format
Books
16.
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
17.
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
18.
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
19.
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
20.
Zhiqing : stories from China's special generation
Published
Huntsville, Texas : Texas Review Press, 2014.
Location
SML, Stacks, LC Classification >> HQ799.C55 Z4556X 2014 (LC)
Format
Books
21.
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
22.
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
23.
Ethnoburb : the new ethnic community in urban America
Author
Li, Wei
Published
Honolulu : University of Hawai'i Press, c2009.
Location
SML, Stacks, LC Classification >> HT352.N7 L5X 2009 (LC)
Format
Books
24.
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
25.
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