Elbow Ulnar Collateral Ligament Injury : A Guide to Diagnosis and TreatmentDines et al. · 1st ed. 20152015PDF23 MB
Logics of Specification Languages (monographs in Theoretical Computer Science. An EATCS Series)Bjørner et al. · Monographs in Theoretical Computer Science. An EATCS Series2007PDF3.7 MB
Software Engineering 3: Domains, Requirements, and Software Design (texts in Theoretical Computer Science. An EATCS Series)Bjørner · Texts in Theoretical Computer Science An EATC Series2006DJVU6.1 MB
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings (lecture Notes in Computer Science)(auth.) et al. · Lecture Notes in Computer Science1996PDF6.2 MB