Sistemas Informáticos y Computación

2015

1. Editorial of Special Issue Trends in Functional Programming 2011/12

   Computer Languages, Systems and Structures

2. Foreword

   Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015

3. Introduction to the special issue on Mutation Testing

   Software Testing Verification and Reliability

4. Preface

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

5. Preface

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

6. Preface

   CEUR Workshop Proceedings

7. Preface

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

8. Preface to rewriting logic and its applications (extended selected papers from WRLA 2012)

   Science of Computer Programming

9. Special Track on Service-Oriented Architectures and Programming (SOAP)

   Proceedings of the ACM Symposium on Applied Computing

10. Special issue on formal active and passive testing of distributed and networked systems

    Annales des Telecommunications/Annals of Telecommunications