Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
2016	Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems	Bernardo, Marco
2015	Formal Methods and Software Engineering	Butler, Michael
2015	Formal Concept Analysis	Baixeries, Jaume
2016	Formal Aspects of Component Software	Braga, Christiano
2016	FM 2016: Formal Methods	Fitzgerald, John
2016	Directed Algebraic Topology and Concurrency	Fajstrup, Lisbeth
2016	Developments in Language Theory	Brlek, Srečko
2016	Descriptive Set Theoretic Methods in Automata Theory	Skrzypczak, Michał
2016	Descriptional Complexity of Formal Systems	Câmpeanu, Cezar
2016	Dependence Logic	Abramsky, Samson
2016	Dependable Software Engineering	Fränzle, Martin
2015	Correct System Design	Meyer, Roland
2015	Automated Technology for Verification and Analysis	Finkbeiner, Bernd
2015	Algebraic Informatics	Maletti, Andreas
2015	AI 2015: Advances in Artificial Intelligence	Pfahringer, Bernhard
2006	ΣΔ A/D CONVERSION FOR SIGNAL CONDITIONING	Philips, Kathleen
2006	Sub-threshold Design for Ultra Low-Power Systems	Wang, Alice
2006	Transistor Level Modeling for Analog/RF IC Design	GRABINSKI, WLADYSLAW
2006	SOFTWARE-IMPLEMENTED HARDWARE FAULT TOLERANCE	M. Rebaudengo, O. Goloubeva,
2006	RF POWER AMPLIFIERS FOR MOBILE COMMUNICATIONS	Reynaert, Patrick