Formal Aspects of Computing - PDFSEARCH.IO - Document Search Engine

Formal Aspects of Computing
Results: 24

#	Item
21	Technical Aspects of the Digital Library of Mathematical Functions † Bruce R. Miller Add to Reading List Source URL: www.seas.gwu.edu Language: English - Date: 2004-06-10 16:28:00 Markup languages Mathematical markup languages Formal languages Logical syntax MathML LaTeX OpenMath Mathematical notation TeX Mathematics Logic Computing
22	FAQ’s About Conduct Regulation 10.1* Office of Student Conduct at the University of Georgia Why am I here? The Office of Student Condcut has received a formal complaint from Enterprise Information Technology Systems (E Add to Reading List Source URL: conduct.uga.edu Language: English - Date: 2011-09-14 13:56:11 Computing Data BitTorrent File sharing Peer-to-peer Copyright infringement Copyright Legal aspects of file sharing Intellectual property law File sharing networks Law
23	Analytics Series Vol.1 No6.: Legal, Risk and Ethical Aspects of Analytics in Higher Education By David Kay (Sero Consulting), Naomi Korn and Professor Charles Oppenheim Legal, Risk and Ethical Aspects Add to Reading List Source URL: publications.cetis.ac.uk Language: English - Date: 2013-07-29 06:28:41 Law Ethics Computer law Formal sciences Data Protection Act Open data Information privacy UK Data Archive Medical privacy Privacy Data privacy Computing
24	Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , Heike Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2014-04-07 11:14:04 Process calculi Denotational semantics Concurrent computing Communicating sequential processes Formal methods Philosophical logic Predicate transformer semantics Divergence Trace Mathematics Computing Theoretical computer science

UPDATE