Home Advanced Search

Advanced Search - Page 1

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
  • PDF
  • English
  • Year: 2022
  • Author: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos (eds.)
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P’21), Berlin, Germany
  • PDF
  • English
  • Year: 2023
  • Author: Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
  • EPUB
  • English
  • Year: 2023
  • Author: Bernd-Holger Schlingloff; Thomas Vogel; Andrzej Skowron
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Lecture Notes in Computer Science, 12669)
  • PDF
  • English
  • Year: 2021
  • Author: Markus Roggenbach (editor)
Archaeology of Babel: The Colonial Foundation of the Humanities
  • EPUB
  • English
  • Year: 2017
  • Author: Siraj Ahmed
The Stillbirth of Capital: Enlightenment Writing and Colonial India
  • EPUB
  • English
  • Year: 2011
  • Author: Siraj Ahmed
Archaeology of Babel: The Colonial Foundation of the Humanities
  • PDF
  • English
  • Year: 2017
  • Author: Siraj Ahmed
The Stillbirth of Capital: Enlightenment Writing and Colonial India
  • PDF
  • English
  • Year: 2011
  • Author: Siraj Ahmed
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
search