Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
communication programming » communications programming, communication programmed, communication programmes
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
general communication » federal communications, gender communication, generation communication
constructs https » construction https, constructs loops, constructs arti
communication programming » communications programming, communication programmed, communication programmes
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
general communication » federal communications, gender communication, generation communication
constructs https » construction https, constructs loops, constructs arti
1
Udgivet 2008
Indholdsfortegnelse:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2011
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2012
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2010
Indholdsfortegnelse:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2010
Indholdsfortegnelse:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2014
Indholdsfortegnelse:
“... -- On the Role of Shared Randomness in Simultaneous Communication -- Short PCPs with Projection Queries -- Star...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2011
Fag:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2012
Fag:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2006
Indholdsfortegnelse:
“...: The Case of Broadcast and Multicast Encryption -- Cryptographically Sound Implementations for Communicating...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2007
Indholdsfortegnelse:
“... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”Få fuldtekst
Electronisk
eBog
12
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Udgivet 2007
Indholdsfortegnelse:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2008
Indholdsfortegnelse:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Få fuldtekst
Electronisk
eBog
14
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Udgivet 2014
Indholdsfortegnelse:
“... -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from Small-Step Semantics -- Communicating...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2010
Indholdsfortegnelse:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... -- Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2014
Indholdsfortegnelse:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2008
Indholdsfortegnelse:
“... Generation in a Constructive Object-Oriented Modeling Language -- Synthesis of Data Views for Communicating...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2006
Indholdsfortegnelse:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... -- Analyzing Stripped Device-Driver Executables -- Model Checking-Based Genetic Programming with an Application...”Få fuldtekst
Electronisk
eBog