1
Published 2005
Table of Contents: ... for BlueGene/L’s Double FPU -- A Survey of High-Quality Computational Libraries and Their Impact in Science...
View full text
Electronic eBook
2
Published 2014
Table of Contents: .../HOL -- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages -- A...
View full text
Electronic eBook
3
Published 2005
Subjects: ...Computational Science and Engineering. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
4
Published 2014
Subjects: ...Computer science—Mathematics....
View full text
Electronic eBook
5
Published 2013
Subjects: ...Computer science—Mathematics....
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Platform and Open Source Environments -- Progress on Crossing Number Problems -- Full Contributed Papers...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Papatasi‐Rodent Epidemic Model (S. Selmane) -- Computational Thinking and Simulation In Teaching Science...
View full text
Electronic eBook
8
Published 2015
Subjects: ...Computer science—Mathematics....
View full text
Electronic eBook
9
Published 2006
Table of Contents: ...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Engineering Gene Regulatory Networks: A Reductionist Approach to Systems Biology -- Modeling the Combinatorial...
View full text
Electronic eBook
11
Published 2015
Subjects: ...Computer science—Mathematics....
View full text
Electronic eBook
12
Published 2015
Subjects: ...Computer science—Mathematics....
View full text
Electronic eBook
13
Published 2007
Table of Contents: ...Invited Papers -- On Generalizations of Weighted Finite Automata and Graphics Applications...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ...Engineering Drawings Vectorization and Recognition -- Vectorization and Parity Errors -- A...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Problem -- Computing Multiple Watchman Routes -- Engineering Parallel In-Place Random Generation...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Throughput Computing Server -- What Multilevel Parallel Programs Do When You Are Not Watching: A Performance...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ...Invited Papers -- Nested Quantification in Graph Transformation Rules -- Idioms of Logical...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ...Keynote Speech -- Research Issues in Adapting Computing to Small Devices -- Mobile Context-Aware...
View full text
Electronic eBook
20
Published 2011
Subjects: ...Computer science—Mathematics....
View full text
Electronic eBook