Helmut Veith · 7 obras en el catálogoObrasLogic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 ProceedingsComputer Aided VerificationHandbook of Model CheckingMModel Checking, Second EditionModel Checking, Second Edition225 Years of Model Checking25 Years of Model CheckingCComputer Science LogicComputer Science LogicZZum Spannungs-Dehnungs-Verhalten von Baustählen bei WechselbZum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung
Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings
ZZum Spannungs-Dehnungs-Verhalten von Baustählen bei WechselbZum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung