1
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2013
Tabl Cynhwysion: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2014
Tabl Cynhwysion: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Environments: A Cross-Cultural Study Analyzing the Willingness of Users to Share Context Information...
Cael y testun llawn
Electronig eLyfr