1
Published 2013
Table of Contents: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Model: a New Large-N Scheme Based on a Perturbation Theory in U -- OPV Tandems with CNTS – Why...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ...Part I Theory and Experiment - Why We Need TDDFT -- Part II Basic Theory -- PartIII Advanced...
View full text
Electronic eBook
4
Table of Contents: ... definitions -- 1.3 Types of PKM architectures -- 1.4 Why a book dedicated to the dynamics of parallel robots...
View full text
Electronic eBook
5
Table of Contents: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Robots -- Incremental Local Search in Ant Colony Optimization: Why It Fails for the Quadratic Assignment...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... for Computing Fisher Equilibrium in the Absence of Gross Substitutability Property -- Click Fraud Resistant...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes...
View full text
Electronic eBook
9
Published 2006
Subjects: ...Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... -- Towards Domain Independent Why Text Segment Classification Based on Bag of Function Words -- Knowledge...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Load Shedding Strategies for Computing Multi-joins in Sensor Networks -- Subsequence Matching...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... -- Multiplication Algorithms for Monge Matrices -- Why Large Closest String Instances Are Easy to Solve in Practice...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... -- A Computational Model of Hippocampal-VTA Microcircuits: Why Expectation of Reward in Rat Striatum...
View full text
Electronic eBook
19
Table of Contents: ... -- Design for Test -- Case Studies And Commentaries -- Metric-Driven Design Verification: Why Is My Customer...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ...: And Why Should Anyone Care Now? Richard Creath -- II -- Probabilistic Epistemology: A European Tradition...
View full text
Electronic eBook