Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
integrate computer » integrated computer, integration computer, integrating computer
programs compiling » programs combining, programs compiler, programs containing
computer programs » computer program
programs programs » programs program, program program, problems programs
compiling https » computing https, counseling https, consulting https
integrate computer » integrated computer, integration computer, integrating computer
programs compiling » programs combining, programs compiler, programs containing
computer programs » computer program
programs programs » programs program, program program, problems programs
compiling https » computing https, counseling https, consulting https
1
Julkaistu 2007
Sisällysluettelo:
“...Keynote I -- Compilation Techniques for Partitioned Global Address Space Languages -- Session 1...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2006
Sisällysluettelo:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Hae kokoteksti
Elektroninen
E-kirja
3
Sisällysluettelo:
“... Calculator Compiler -- Appendix E: The Factorial Program's Code -- Appendix F: Small Action Semantic...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
4
Aiheet:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2008
Sisällysluettelo:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2013
Sisällysluettelo:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2007
Sisällysluettelo:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2006
Sisällysluettelo:
“... by Action Languages Via Answer Set Programming -- Using Answer Set Programming for the Automatic Compilation...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2005
Sisällysluettelo:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Hae kokoteksti
Elektroninen
E-kirja
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Julkaistu 2013
Sisällysluettelo:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Hae kokoteksti
Elektroninen
E-kirja
11
Aiheet:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2013
Sisällysluettelo:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2007
Sisällysluettelo:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2005
Sisällysluettelo:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2006
Sisällysluettelo:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2007
Sisällysluettelo:
“... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2005
Sisällysluettelo:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2008
Sisällysluettelo:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Hae kokoteksti
Elektroninen
E-kirja
19
Aiheet:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2005
Sisällysluettelo:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”Hae kokoteksti
Elektroninen
E-kirja