Instituto de Tecnología del Conocimiento (ITC)

2017

1. Introduction to the Software Engineering and Formal Methods 2013 special issue

   Software and Systems Modeling

2. Introduction to the special section on Image and Video Processing

   Computers and Electrical Engineering

3. Message from the Program Chairs

   Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017

4. Message from the program chairs

   Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017

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 for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15)

   Science of Computer Programming

8. Preface: Special issue on software verification and testing

   Journal of Systems and Software

9. Special issue on advanced technologies enabling adaptive and collaborative smart systems

   Future Generation Computer Systems

10. Special issue on model-driven engineering of multi-agent systems in theory and practice

    Computer Languages, Systems and Structures