Rekommenderade teman
Rekommenderade teman
Menade du:
integrating specification » integrating verification, alternating specifications, integration verification
specification programming » verification programming, identification programming, specification program
programming programming » programming programmed, programming program
programming contest » programming concepts, programming congresses, programming computers
contest https » concepts https, control https
integrating specification » integrating verification, alternating specifications, integration verification
specification programming » verification programming, identification programming, specification program
programming programming » programming programmed, programming program
programming contest » programming concepts, programming congresses, programming computers
contest https » concepts https, control https
1
Publicerad 2013
Innehållsförteckning:
“... from Process Execution Logs and Effect Logs -- Multi-Agent Programming Contest 2013 -- SMADAS: A Team...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2008
Innehållsförteckning:
“... Information Systems with Graph Grammars -- Meta-modeling and Domain-Specific Language -- A Generic Layout...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2008
Innehållsförteckning:
“... -- Bebras International Contest on Informatics and Computer Literacy: Criteria for Good Tasks -- From Top...”Hämta fulltext
Elektronisk
E-bok