Home Advanced Search

Advanced Search - Page 1

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

PDF
English
Year: 2017
Author: Joost-Pieter Katoen, Rom Langerak, Arend Rensink

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

PDF
English
Year: 2019
Author: Nan Guan, Joost-Pieter Katoen, Jun Sun

Foundations of Probabilistic Programming

PDF
English
Year: 2021
Author: Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

Foundations of probabilistic programming

PDF
English
Year: 2021
Author: Alexandra Silva; Joost-Pieter Katoen; Gilles Barthe (eds.)

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

PDF
English
Year: 2011
Author: Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

PDF
English
Year: 2002
Author: Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)

Theory and Practice of Model Transformation

PDF
English
Year: 2018
Author: Arend Rensink, Jesús Sánchez Cuadrado

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

PDF
English
Year: 2014
Author: Stefania Gnesi, Arend Rensink (eds.)

Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

PDF
English
Year: 2010
Author: Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr

选举制度与政党制度：1945-1990年二十七个国家的实证研究

PDF
Chinese
Year: 2009
Author: Arend Lijphart