Refine your search
Availability
-
Authors
- Aggarwal, Priya
- Bhasker, Jayaram
- Devillers, Raymond
- Friedman, Nir
- Fu, Yuxi
- Gandomi, Amir H.
- Guo, Chengan
- Hou, Zeng-Guang
- Katajainen, Jyrki
- Kim, Haeng Kon
- Koller, Daphne
- Kopetz, Hermann
- Kwuida, Léonard
- Li, Wei
- Polkowski, Lech
- Santhanagopalan, Shr...
- Sui, Yuefei
- Wang, Weidong
- Wang, Yong
- Zeng, Zhigang
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
- Adaptive computation...
- Advances in Computer...
- Computer Science Fou...
- Digital Innovations ...
- Human-Computer Inter...
- Lecture Notes in Art...
- Lecture Notes in Com...
- Modern Aspects of El...
- Perspectives in Form...
- Simulation Foundatio...
- SpringerBriefs in Co...
- Texts in applied mat...
- Theoretical Computer...
- Transactions on Comp...
- Urban Sustainability
- Show more
- Show less
-
Topics
- Algebra
- Algorithms
- Artificial intellige...
- Artificial Intellige...
- Building Information...
- Building information...
- Computer science
- Discrete mathematics
- Discrete Mathematics...
- Formal Languages and...
- Logic in AI.
- Logic programming
- Machine theory
- Mathematical logic
- Mathematical Logic a...
- Mathematical Modelin...
- Mathematical models
- Mathematics of Compu...
- Theory of Computatio...
- Show more
- Show less