1
Published 2011
Table of Contents: ... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...
View full text
Electronic eBook
2
Subjects: ...Development Economics. https://scigraph.springernature.com/ontologies/product-market-codes/W42000...
View full text
Electronic eBook
3
Subjects: ...Neurosciences. https://scigraph.springernature.com/ontologies/product-market-codes/B18006...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
View full text
Electronic eBook
5
Table of Contents: ...Software Engineering to Autonomic Computing -- Autonomic Systems -- Sources of Inspiration...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ...Agents and Multi-Agent Systems -- Intelligent Computational Methods -- Language and Knowledge...
View full text
Electronic eBook
7
Table of Contents: ... -- Formal Methods -- Z Formal Specification Language -- Number Theory -- Cryptography -- Coding Theory...
View full text
Electronic eBook
8
Subjects: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
View full text
Electronic eBook
9
Table of Contents: ... -- Program Correctness: Mechanics -- Program Correctness: Strategies -- Algorithmic Reasoning -- Quantified...
View full text
Electronic eBook
10
Table of Contents: ... Of The Computational Kind -- 13. Programming With Flair -- 14. Hooptedoodle 3 - The Seductive Gene -- 15. Runaway...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... on Transformational Development of Programs -- A National Science Foundation Proposal -- Robert Paige: Brother, Friend...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Agricultural Development Programming -- Designation of R&D on Pig Production Intelligent Monitoring and Early...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Software on SMP Computers -- Development of Predictive TFRC with Neural Network -- Planning of Parallel...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ...Part I  Computational Statistics -- Part II  Statistical Computing -- Part III  Statistical...
View full text
Electronic eBook
18
Published 2011
Subjects: ...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... of Electromagnetic Particle Simulation Code in an Open System -- Development of Three-Dimensional Neoclassical...
View full text
Electronic eBook