Languages
Covers
Jump To : Overview | Titles | Subjects

Kovács, Laura.

Overview
Works: 0 works in 3 publications in 1 languages
Titles
Intelligent computer mathematics = 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024 : proceedings / by: Kohlhase, Andrea.; SpringerLink (Online service); Kovács, Laura.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Reachability problems = 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Sokolova, Ana.; Kovács, Laura.; SpringerLink (Online service) (Language materials, printed)
Integrated formal methods = 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Kosmatov, Nikolai.; SpringerLink (Online service); Kovács, Laura. (Language materials, printed)
 
 
Change password
Login