Type	Name	Date	Provided By
EBooks	Formal Models of Divide – and – Conquer Queuing Systems in	29-05-2026	KatzDDL
EBooks	Swarm Robotics A Formal Approach Second Edition	12-05-2026	KatzDDL
EBooks	An Introduction to Formal Logic, 2nd Edition	04-03-2026	KatzDDL
EBooks	Formal Techniques for Networked and Distributed Systems	20-02-2026	KatzDDL
EBooks	Journeys Between Formal Methods and the Railway Industry	07-02-2026	KatzDDL
EBooks	An Introduction to Formal Languages and Automata, 7th Edition (True PD	15-01-2026	KatzDDL
EBooks	Modelling the City Formal Ontology and Spatial Humanities	22-12-2025	KatzDDL