Home Advanced Search

Advanced Search - Page 1

Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

PDF
English
Year: 2017
Author: Lumpe, Markus; Proença, José

Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

PDF
English
Year: 2007
Author: Farhad Arbab (auth.), Markus Lumpe, Wim Vanderperren (eds.)

Software Composition: 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

PDF
English
Year: 2008
Author: Markus Lumpe (auth.), Cesare Pautasso, Éric Tanter (eds.)

Software Composition: 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

PDF
English
Year: 2008
Author: Markus Lumpe (auth.), Cesare Pautasso, Éric Tanter (eds.)

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

PDF
English
Year: 2012
Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

PDF
English
Year: 2012
Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

PDF
English
Year: 2012
Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)

Running Guns: The Global Black Market in Small Arms

PDF
English
Year: 2000
Author: Lora Lumpe

The 'Militant Democracy' Principle in Modern Democracies

PDF
English
Year: 2009
Author: Markus Thiel, Markus Thiel

Der Autor und sein Text: Die Verfälschung des Originals im Urteil antiker Autoren

PDF
German
Year: 2008
Author: Markus Mülke