Home Advanced Search

Advanced Search - Page 1

Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

PDF
English
Year: 2019
Author: Hossein Hojjat, Mieke Massink

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, ... (Lecture Notes in Computer Science, 12524)

PDF
English
Year: 2021
Author: Loek Cleophas (editor), Mieke Massink (editor)

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings

PDF
English
Year: 1999
Author: John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings

PDF
English
Year: 1999
Author: John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)

Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

PDF
English
Year: 2013
Author: Luca Bortolussi, Diego Latella, Mieke Massink (auth.), Rocco De Nicola, Christine Julien (eds.)

Supercomputing in engineering analysis

PDF
English
Year: 2020
Author: Adeli, Hojjat

Parallel processing in computational mechanics

PDF
English
Year: 1992
Author: Adeli, Hojjat

An Introduction to the Neolithic Revolution of the Central Zagros, Iran

PDF
English
Year: 2015
Author: Hojjat Darabi

Historic Bridges: Evaluation, Preservation, and Management

PDF
English
Year: 2008
Author: Hojjat Adeli

Narratology: Introduction to the Theory of Narrative

PDF
English
Year: 2009
Author: Mieke Bal