TA
Texts and monographs in computer science
SourceSpringer Nature
312
Publications
8,305
Citations
Loading papers...
Search by keywords
Filter by Type
- Book Chapter (293)
- Book (19)
Filter by Open Access Type
- Open Access (1)
- Closed Access (311)
Filter by Authors
- W. H. J. Feijen (33)
- A. J. M. van Gasteren (33)
- Luca Cardelli (24)
- Martı́n Abadi (24)
- Manfred Broy (21)
Filter by Topics
- Logic, programming, and type systems (58)
- Formal Methods in Verification (33)
- Advanced Database Systems and Queries (32)
- semigroups and automata theory (27)
- Logic, Reasoning, and Knowledge (21)