search result

Cover von FM 2009

FM 2009
Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2 - 6, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5850
Media group: MONOGRAPHIE
Cover von Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 14573
Media group: MONOGRAPHIE
Cover von Towards Autonomous Robotic Systems

Towards Autonomous Robotic Systems
26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 16045
Media group: MONOGRAPHIE
Cover von Critical Systems

Critical Systems
Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18 - 20, 2017 : Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10471
Media group: MONOGRAPHIE
Cover von Formal Methods and Software Engineering

Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods, Rio de Janeiro, Brazil, December 9 - 12, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5885
Media group: MONOGRAPHIE
Cover von Theoretical aspects of computing

Theoretical aspects of computing
third international colloquium, Tunis, Tunisia, November 20 - 24, 2006, proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4281
Media group: MONOGRAPHIE
Cover von The Practice of Formal Methods

The Practice of Formal Methods
Essays in Honour of Cliff Jones
2024
Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 14780/14781
Media group: GESAMTWERK
Volumes loading
Cover von Part II.; The Practice of Formal Methods

Part II.; The Practice of Formal Methods
Essays in Honour of Cliff Jones, Part II
Search for this author
Year: 2024
Publisher: Berlin, Springer
Volume: Part II.
Series: Lecture notes in computer science : Festschrift; 14782
Media group: MONOGRAPHIE
Cover von Part I.; The Practice of Formal Methods

Part I.; The Practice of Formal Methods
Essays in Honour of Cliff Jones, Part I
Search for this author
Year: 2024
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science : Festschrift; 14780
Media group: MONOGRAPHIE
Cover von Theoretical Aspects of Computing

Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1 - 3, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6255
Media group: MONOGRAPHIE
OPEN V 11.1.0.0