Home Advanced Search

Advanced Search - Page 1

Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, EAuthor: Stefan Kowalewski; Anna Philippou

PDF
English
Year: 2009
Author: Stefan Kowalewski, Anna Philippou

Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Lucca, Italy, June 13–17, 2022 Proceedings

PDF
English
Year: 2022
Author: Mohammad Reza Mousavi, Anna Philippou

Get Ahead! Basic Sciences: 100 EMQs

EPUB
English
Year: 2016
Author: Anna Kowalewski, Priya Jeevananthan

Get Ahead! Basic Sciences: 500 SBAs

PDF
English
Year: 2017
Author: Jeevananthan, Priya; Kowalewski, Anna

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

PDF
English
Year: 2010
Author: Alessio Ferrari, Daniele Grasso (auth.), Stefan Kowalewski, Marco Roveri (eds.)

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

PDF
English
Year: 2010
Author: Alessio Ferrari, Daniele Grasso (auth.), Stefan Kowalewski, Marco Roveri (eds.)

The glycemic index: applications in practice

PDF
English
Year: 2017
Author: Philippou, Elena

Speaking Politically: Adorno and Postcolonial Fiction

PDF
English
Year: 2021
Author: Eleni Philippou

Dual-Fuel Gas-Steam Power Block Analysis: Methodology and Continuous-Time Mathematical Models

PDF
English
Year: 2019
Author: Anna Hnydiuk-Stefan

Dual-Fuel Gas-Steam Power Block Analysis: Methodology and Continuous-Time Mathematical Models

EPUB
English
Year: 2019
Author: Hnydiuk-Stefan, Anna