Fachbereich
Sistemas Informáticos y Computación
Verlage (10) Publikationen, an denen Forscher/innen teilgenommen haben
2015
-
Editorial of Special Issue Trends in Functional Programming 2011/12
Computer Languages, Systems and Structures
-
Foreword
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
-
Introduction to the special issue on Mutation Testing
Software Testing Verification and Reliability
-
Preface
CEUR Workshop Proceedings
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Preface to rewriting logic and its applications (extended selected papers from WRLA 2012)
Science of Computer Programming
-
Special Track on Service-Oriented Architectures and Programming (SOAP)
Proceedings of the ACM Symposium on Applied Computing
-
Special issue on formal active and passive testing of distributed and networked systems
Annales des Telecommunications/Annals of Telecommunications