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

Issue Date	Title	Author(s)
2016	Transactions on Rough Sets XX	F. Peters, James
2016	Transactions on Large-Scale Data- and Knowledge- Centered Systems XXIII	Hameurlain, Abdelkader
2016	Topics in Theoretical Computer Science	Taghi, Mohammad
2016	Tools and Algorithms for the Construction and Analysis of Systems	Chechik, Marsha
2016	Theory and Practice of Formal Methods	Ábrahám, Erika
2015	Theoretical Aspects of Computing – ICTAC	Leucker, Martin
2016	Theoretical Aspects of Computing – ICTAC	Sampaio, Augusto
2015	Structured Object-Oriented Formal Language and Method	Liu, Shaoying
2016	Scala: From a Functional Programming Perspective	Torra, Vicenç
2016	Scalable Uncertainty Management	Schockaert, Steven
2016	Rule Technologies Research, Tools, and Applications	Julio, Jose
2016	Rewriting Logic and Its Applications	Lucanu, Dorel
2016	Reliable Software Technologies – Ada-Europe 2016	Bertogna, Marko
2016	Readings in Formal Epistemology	Arló-Costa, Horacio
2016	Reachability Problems	Guldstrand, Kim
2016	Pursuit of the Universal	Beckmann, Arnold
2016	Programming Languages and Systems	Igarashi, Atsushi
2016	Programming Languages	Castor, Fernando
2016	Probability Logics Probability-Based Formalization of Uncertain Reasoning	Ognjanović, Zoran
2016	Principles and Practice of Constraint Programming	Rueher, Michel