Home Advanced Search

Advanced Search - Page 1

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

PDF
English
Year: 2011
Author: Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

PDF
English
Year: 2011
Author: Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)

Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

PDF
English
Year: 2020
Author: Violet Ka I Pun, Volker Stolz, Adenilso Simao

Strukturanalyse der Gegenwart

PDF
German
Year: 2006
Author: René König (auth.), Michael Klein (eds.)

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

PDF
English
Year: 2013
Author: Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.)

Beratung, Macht und organisationales Lernen

PDF
German
Year: 2007
Author: Michael Göhlich, Eckard König, Christine Schwarzer (auth.), Michael Göhlich, Eckard König, Christine Schwarzer (eds.)

Random Matrices and Iterated Random Functions: Münster, October 2011

PDF
English
Year: 2013
Author: Olga Friesen, Matthias Löwe (auth.), Gerold Alsmeyer, Matthias Löwe (eds.)

Picture This!: Grasping the Dimensions of Time and Space

PDF
English
Year: 2016
Author: Michael Carroll (auth.)

Europa’s Lost Expedition: A Scientific Novel

PDF
English
Year: 2017
Author: Michael Carroll (auth.)

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

PDF
English
Year: 2010
Author: Ina Schieferdecker (auth.), Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado (eds.)