search result

Cover von Computer Algebra in Scientific Computing

Computer Algebra in Scientific Computing
28th International Workshop, CASC 2026, Bath, UK, August 31 - September 4, 2026, Proceedings
Search for this author
Year: 2027
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 16844
Media group: MONOGRAPHIE
Cover von Part III.; Computer Aided Verification

Part III.; Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III
Search for this author
Year: 2026
Publisher: Berlin, Springer
Volume: Part III.
Series: Lecture notes in computer science; 16684
Media group: MONOGRAPHIE
Cover von Part II.; Computer Aided Verification

Part II.; Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
Search for this author
Year: 2026
Publisher: Berlin, Springer
Volume: Part II.
Series: Lecture notes in computer science; 16683
Media group: MONOGRAPHIE
Cover von Part I.; Computer Aided Verification

Part I.; Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Search for this author
Year: 2026
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science; 16682
Media group: MONOGRAPHIE
Cover von Dependable Software Engineering

Dependable Software Engineering
Theories, Tools, and Applications : 11th International Symposium on Dependable Software Engineering : Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1–3, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 16458
Media group: MONOGRAPHIE
Cover von Reachability Problems

Reachability Problems
19th International Conference, RP 2025, Madrid, Spain, October 1-3, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 16230
Media group: MONOGRAPHIE
Cover von Part IV.; Computer Aided Verification

Part IV.; Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part IV.
Series: Lecture notes in computer science; 15934
Media group: MONOGRAPHIE
Cover von Part III.; Computer Aided Verification

Part III.; Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part III.
Series: Lecture notes in computer science; 15933
Media group: MONOGRAPHIE
Cover von Part II.; Computer Aided Verification

Part II.; Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 15932
Media group: MONOGRAPHIE
Cover von Part I.; Computer Aided Verification

Part I.; Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 15931
Media group: MONOGRAPHIE
OPEN V 11.1.0.0