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

Issue Date	Title	Author(s)
2015	Intelligent Computer Mathematics	Kerber, Manfred
2016	Integrated Formal Methods	Ábrahám, Erika
2015	Information Technology in Bio- and Medical Informatics	Renda, M. Elena
2016	Information Processing and Management of Uncertainty in Knowledge-Based Systems	Paulo, Joao
2016	Information and Communication Technologies in Education, Research, and Industrial Applications	Yakovyna, Vitaliy
2016	Inductive Logic Programming	Inoue, Katsumi
2016	Implementation and Application of Automata	Han, Yo-Sub
2016	Hybrid Metaheuristics	J. Blesa, Maria
2016	Hardware and Software: Verification and Testing	Bloem, Roderick
2016	Graph Transformation	Echahed, Rachid
2016	Fuzziness in Information Systems	Hudec, Miroslav
2016	Fundamental Approaches to Software Engineering	Stevens, Perdita
2016	Functional and Logic Programming	Kiselyov, Oleg
2015	Frontiers of Combining Systems	Lutz, Carsten
2015	From Requirements to Java in a Snap	Śmiałek, Michał
2016	Foundations of Software Science and Computation Structures LNCS 9634	Jacobs, Bart
2016	Formal Techniques for Distributed Objects, Components, and Systems	Albert, Elvira
2015	Formal Techniques for Distributed Objects, Components, and Systems	Graf, Susanne
2016	Formal Modeling and Analysis of Timed Systems	Fränzle, Martin
2016	Formal Methods: Foundations and Applications	Ribeiro, Leila