Home Advanced Search

Advanced Search - Page 1

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.)

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

PDF
English
Year: 2016
Author: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.)

FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings

PDF
English
Year: 2003
Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)

Theory and Practice of Model Transformation

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

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

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

Essays on Husserl's Logic and Philosophy of Mathematics

PDF
English
Year: 2017
Author: Stefania Centrone (eds.)

Access to Bank Credit and SME Financing

PDF
English
Year: 2017
Author: Stefania Rossi (eds.)

Successful Case-based Reasoning Applications-2

PDF
English
Year: 2014
Author: Stefania Montani, Lakhmi C. Jain (auth.), Stefania Montani, Lakhmi C. Jain (eds.)

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

PDF
Chinese
Year: 2009
Author: Arend Lijphart