Das Buch "Model Checking Software: 10th International SPIN Workshop" ist eine Sammlung von wissenschaftlichen Arbeiten, die auf dem 10. internationalen SPIN-Workshop präsentiert wurden, der im Mai 2003 in Portland, Oregon stattfand....

"Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003" ist ein Sammelband, der die Proceedings der internationalen Konferenz TestCom 2003 enthält. Diese Konferenz fand in Sophia Antipolis, Frankreich, statt...

"Perineal and Anal Sphincter Trauma: Diagnosis and Clinical Management" ist ein umfassendes medizinisches Fachbuch, das sich mit der Diagnose und Behandlung von Verletzungen des Damms und des Analsphinkters befasst. Das Buch richtet sich...