Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
internet computer » interfaces computer
program programs » program program, program progress, programme progress
programs program » programming program
https » http
internet computer » interfaces computer
program programs » program program, program progress, programme progress
programs program » programming program
https » http
1
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:
“... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”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:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”View full text
Electronic
eBook
11
12
13
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
14
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
15
Published 2015
Table of Contents:
“... recognition via parse trees using prefix and infix probability computation -- Effectively creating weakly...”View full text
Electronic
eBook
16
17
Published 2007
Table of Contents:
“...Datatype-Generic Programming -- Comparing Approaches to Generic Programming in Haskell -- Generic...”View full text
Electronic
eBook
18
Published 2005
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... for the Tree Homeomorphism Problem -- Datalog Programs over Infinite Databases, Revisited -- XML Query...”View full text
Electronic
eBook
20
Published 2000
Subjects:
“...Copyright Computer programs United States Periodicals....”Full text available from Computer Science Database: 12/01/1997 to present
Full text available from ABI/INFORM Global: 09/01/2000 to present
Full text available from Advanced Technologies & Aerospace Database: 09/01/2000 to present
Electronic
Journal