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