Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming abstraction » programming abstract, programming introduction
computing programming » computer programming, computers programming
internet computing » internet computer, intelligent computing, interactive computing
abstraction https » instruction https, arbitration https, extraction https
programming programming » programming programmed, programming program
programming abstraction » programming abstract, programming introduction
computing programming » computer programming, computers programming
internet computing » internet computer, intelligent computing, interactive computing
abstraction https » instruction https, arbitration https, extraction https
1
Published 2012
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“...Algorithms, complexity and games -- Logic, semantics, automata and theory of programming...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Growth Model [Extended Abstract]. Lower Bounds for Approximate LDCs -- Holographic Algorithms Beyond...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“...Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient...”View full text
Electronic
eBook
5
Published 2012
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...Algorithms, complexity and games -- Logic, semantics, automata and theory of programming...”View full text
Electronic
eBook
7
Published 2012
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... recognition via parse trees using prefix and infix probability computation -- Effectively creating weakly...”View full text
Electronic
eBook
11
Published 2014
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Framework for Web-Based Negotiation -- Section 4 – Internet Technology and Distributed Computing...”View full text
Electronic
eBook
14
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”View full text
Electronic
eBook
15
16
17
Published 2010
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... in Distributed Computing -- Invited Lecture I: Consensus (Session 1a) -- The Power of Abstraction -- Fast...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Implementation Issues of Early Application Identification -- Invited Talk 5 -- Securing Internet Coordinate...”View full text
Electronic
eBook
20