1
Published 2015
Table of Contents: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
View full text
Electronic eBook
2
Published 2011
Subjects: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
3
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
4
Published 2012
Subjects: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... for the Tree Homeomorphism Problem -- Datalog Programs over Infinite Databases, Revisited -- XML Query...
View full text
Electronic eBook
6
Published 2015
Subjects: ...Computer programming....
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Semantic Structures in Movies -- Solving Alternating Boolean Equation Systems in Answer Set Programming...
View full text
Electronic eBook
8
Published 2010
Subjects: ...Computer programming....
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...The 2010 Edsger W. Dijkstra Prize in Distributed Computing -- The 2010 Edsger W. Dijkstra Prize...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
View full text
Electronic eBook
11
Published 2014
Subjects: ...Management of Computing and Information Systems. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ...Innovation Processes Revisited by Internet -- Lightweight Causal Cluster Consistency -- Distributed...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... and Parsing -- Computational Models of Language Acquisition -- ETL Ensembles for Chunking, NER and SRL...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Recognition System over Internet Protocol -- Lossless Color Image Compression Using Tuned Degree-K Zerotree...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ...Hierarchical Control of Equipment in Automated Container Terminals -- A Node Flow Model...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Computing -- Remarks on Self-organization and Trust in Organic Computing Systems -- Cryptography...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...
View full text
Electronic eBook
19
Table of Contents: ... Programming -- Parallel Programming -- Part IV Engineering and Mathematical Software -- Scientific Software...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...Autonomic and Organic Computing -- Self-organizing Computer Vision for Robust Object Tracking...
View full text
Electronic eBook