1
Udgivet 2010
Indholdsfortegnelse: ... -- Conceptual Modeling of Online Entertainment Programming Guide for Natural Language Interface -- Integration...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... Collaborative Process -- A Three-Dimensional Abstraction Framework to Compare Multi-Agent System Models...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ...: Ontology and Mereology of Domains -- Computer Science and State Machines -- A Small Step for Mankind...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Fag: ...Computer programming....
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...
Få fuldtekst
Electronisk eBog
6
Udgivet 2014
Indholdsfortegnelse: .... Mathematical and Computational Perspectives -- The Freedoms of (Guarded) Bisimulation; Erich Grädel and Martin...
Få fuldtekst
Electronisk eBog