TI
Texts in computer science
SourceSpringer International Publishing
1,599
Publications
19,643
Citations
Loading papers...
Search by keywords
Filter by Type
- Book Chapter (1,495)
- Book (90)
- Article (2)
Filter by Open Access Type
- Open Access (17)
- Closed Access (1,570)
Filter by Authors
- Joseph Migga Kizza (138)
- Christian Borgelt (101)
- Rudolf Kruse (84)
- Matthias Steinbrecher (83)
- Marco T. Morazán (73)
Filter by Topics
- Computability, Logic, AI Algorithms (129)
- Logic, programming, and type systems (108)
- Formal Methods in Verification (88)
- Parallel Computing and Optimization Techniques (61)
- Neural Networks and Applications (58)