Home Advanced Search

Advanced Search - Page 1

Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Dana Fisman, Grigore Rosu
Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Dana Fisman, Grigore Rosu
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)
  • PDF
  • English
  • Year: 2008
  • Author: José Meseguer, Grigore Rosu
A Practical Introduction to PSL (Series on Integrated Circuits and Systems)
  • PDF
  • English
  • Year: 2006
  • Author: Cindy Eisner, Dana Fisman
Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Dana Fisman (editor); Lu Feng (editor)
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
Conștiință și cunoaștere. Volumul I - Lucrări științifice
  • PDF
  • Romanian
  • Year: 2010
  • Author: Grigore T. Popa; Dana Baran (Ed.)
Conștiință și cunoaștere. Volumul II - Publicistica
  • PDF
  • Romanian
  • Year: 2010
  • Author: Grigore T. Popa; Dana Baran (Ed.)
Delay differential evolutions subjected to nonlocal initial conditions
  • PDF
  • English
  • Year: 2016
  • Author: Burlica, Monica-Dana; Necula, Mihai; Rosu, Daniela; Vrabie, Ioan I
search