TI

Texts in computer science

Source

Springer 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)