Rider University Library / All Locations

Skip to content

Rider Library Catalog

You are not logged in |Login


Subjects (1-7 of 7)
Formal methods (Computer science) -- Congresses.
1 Bestseller Cafe : an industrial-strength algebraic formal method Amsterdam ; New York : Elsevier, 2000. 1st ed. Rating: Electronic Resources More... Item Status
2 Bestseller Formal ontology in information systems : proceedings of the 9th International Conference (FOIS 2016) FOIS (Conference) (9th : 2016 : Annecy, France) Amsterdam, Netherlands : IOS Press, 2016. Rating: Electronic Resources More... Item Status
3 Bestseller Formal ontology in information systems : proceedings of the 10th International Conference (FOIS 2018 FOIS (Conference) (10th : 2018 : Cape Town, South Africa) Amsterdam, Netherlands : IOS Press, 2018. Rating: Electronic Resources More... Item Status
4 Bestseller Formal ontology in information systems : proceedings of the 11th International Conference (FOIS 2020 FOIS (Conference) (11th : 2020 : Bolzano, Italy) Amsterdam : IOS Press, 2020. Rating: Electronic Resources More... Item Status
5 Bestseller Formal ontology in information systems : proceedings of the eighth international conference (FOIS 20 FOIS (Conference) (8th : 2014 : Rio de Janeiro, Brazil) Amsterdam : IOS Press, [2014] Rating: Electronic Resources More... Item Status
6 Bestseller Formal ontology in information systems : Proceedings of the seventh International Conference (FOIS 2 FOIS (Conference) (7th : 2012 : Graz, Austria) Amsterdam ; Washington, D.C. : IOS Press, [2012] Rating: Electronic Resources More... Item Status
7 Bestseller Formal ontology in information systems : proceedings of the sixth international conference (FOIS 201 FOIS (Conference) (6th : 2010 : Toronto, Ont.) Amsterdam : IOS Press, [2010] Rating: Electronic Resources More... Item Status

Resources

More Information

Library Links

Library One Search

Example

Search Tools

Advanced Search