Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
Handbook on ontologies by Series: International Handbooks on Information Systems
Edition: 2nd ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c2009
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: H.3.1 HAN .

Place hold
Leveraging Applications of Formal Methods, Verification and Validation. : Technologies for Mastering Change, Part 1 by Series: Lecture notes in computer science ; 6285
Edition: 1st. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, 2012
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ISO12.

Place hold
Pages