Search Results - program against programs https array https

1

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
View full text

Electronic eBook

2

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2014

Table of Contents: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
View full text

Electronic eBook

3

Screening the Single Euploid Embryo Molecular Genetics in Reproductive Medicine /

Published 2015

Table of Contents: “... -- Tweaking ICSI for a PGD program -- Comprehensive Chromosomal Screening from Polar Body Biopsy to Blastocyst...”
View full text

Electronic eBook

4

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...”
View full text

Electronic eBook

5

Socio-Economic Impacts of Bioenergy Production

Published 2014

Subjects: “...Sustainable Development. https://scigraph.springernature.com/ontologies/product-market-codes/U34000...”
View full text

Electronic eBook

6

Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers /

Published 2006

Table of Contents: “... -- Implementation of Inner Product Architecture for Increased Flexibility in Bitwidths of Input Array -- A Flexible...”
View full text

Electronic eBook

7

Chaos, Complexity and Leadership 2012

Published 2014

Table of Contents: “... Programmable Gate Array Realization. An Adaptive Neuro-Fuzzy Inference System-Based Approach to Forecast Time...”
View full text

Electronic eBook

8

String Processing and Information Retrieval 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006, Proceedings /

Published 2006

Table of Contents: “... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...”
View full text

Electronic eBook

9

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Published 2012

Table of Contents: “... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...”
View full text

Electronic eBook

10

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings /

Published 2013

Table of Contents: “...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”
View full text

Electronic eBook

11

Developing Self-regulation of Learning and Teaching Skills Among Teacher Candidates

by Bembenutty, Héfer., Bembenutty, Héfer., White, Marie C., Vélez, Miriam R.
Published 2015

Subjects: “...Educational Psychology. https://scigraph.springernature.com/ontologies/product-market-codes/O39000...”
View full text

Electronic eBook

12

Pharmaceutical Prices in the 21st Century

Published 2015

Subjects: “...Health Economics. https://scigraph.springernature.com/ontologies/product-market-codes/W35000...”
View full text

Electronic eBook

Narrow Search