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