Home Advanced Search
Advanced Search - Page 1
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
- English
- Year: 2012
- Author: Anindya Banerjee (auth.), Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.)
Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated ...
- English
- Year: 2021
- Author: Ferruccio Damiani, Ornela Dardha
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
- English
- Year: 2011
- Author: June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)
Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated ... (Lecture Notes in Computer Science, 12717)
- English
- Year: 2021
- Author: Ferruccio Damiani (editor), Ornela Dardha (editor)
German Annual of Spatial Research and Policy 2010: Urban Regional Resilience: How Do Cities and Regions Deal with Change?
- English
- Year: 2011
- Author: Bernhard Müller (auth.), Bernhard Müller (eds.)
Analytical, approximate-analytical and numerical methods in the design of energy analyzers
- English
- Year: 2015
- Author: Gurov, Victor S
D. H. Lawrence’s Poetry: Demon Liberated: A Collection of Primary and Secondary Material
- English
- Year: 1990
- Author: A. Banerjee (eds.)
Spirit Above Wars: A Study of the English Poetry of the Two World Wars
- English
- Year: 1976
- Author: A. Banerjee (auth.)
The Indian Software Industry: Business Strategy and Dynamic Co-ordination
- English
- Year: 2004
- Author: Parthasarathi Banerjee (auth.)