C-function - PDFSEARCH.IO - Document Search Engine

C-function
Results: 2520

#	Item
731	WP (Draft Manual) WP Plug-in (Draft) Manual Frama-C Carbonbeta-2 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
732	Roots of Quadratic Equations I. Finding Roots of Quadratic Equations a. The Standard Form of a quadratic equation is: ax 2  bx  c  0 . b. We can use the Quadratic Formula to solve equations in standard Add to Reading List Source URL: www.rit.edu Language: English - Date: 2014-09-29 10:18:13 Polynomials Equations Quadratic forms Algebraic number theory Quadratic equation Discriminant Zero of a function Nth root Square root Mathematics Algebra Elementary algebra
733	Molecular and Evolutionary Physiology of the Lung – Publications ________________________________________________________________________________ Journal Articles 1. Lang, C.J., A.D. Postle, S. Orgeig, F. Possmayer, W. Add to Reading List Source URL: unisa.edu.au Language: English - Date: 2012-07-17 01:40:42 Pulmonary function testing Pulmonary surfactant Anatomy Respiratory system Pulmonary alveolus Physiology Biology Surfactants Respiratory physiology
734	MATRIX at the TREC 2005 Robust Track W.S. Wong 1, H. C. Wu1, R.W.P. Luk1, K.F. Wong 2, K.L. Kwok3, H.V. Leong 1 1 Department of Computing Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2006-02-21 09:28:37 Relevance feedback Query expansion Extended Boolean model Vector space model Relevance Precision and recall Text Retrieval Conference Ranking function Document retrieval Information science Information retrieval Science
735	J. Cuellar, M. Ochoa, and R. Rios, “Indistinguishable Regions in Geographic Privacy”, 27th Annual ACM Symposium on Applied Computing (SAC 2012), S. Ossowski, and P. Lecca Eds., ACM, pp, 26-30 MarchI Add to Reading List Source URL: www.nics.uma.es Language: English - Date: 2013-11-21 04:51:54 Ciphertext indistinguishability Obfuscation International Obfuscated C Code Contest Identical particles Function Physics Mathematics Geolocation Location obfuscation
736	R Language Definition VersionUnder developmentDRAFT R Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.dcc.fc.up.pt Language: English - Date: 2015-05-24 13:11:55 Subroutines Cross-platform software Data types Functional languages Array programming languages Function C Eval Pointer Software engineering Computing Computer programming
737	R Language Definition VersionUnder developmentDRAFT R Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.stat.nus.edu.sg Language: English - Date: 2015-05-24 13:11:55 Subroutines Cross-platform software Data types Functional languages Array programming languages Function C Eval Pointer Software engineering Computing Computer programming
738	R Language Definition Version16) DRAFT R Core Team This manual is for R, version16). Add to Reading List Source URL: cran.case.edu Language: English - Date: 2015-05-22 05:12:46 Subroutines Cross-platform software Data types Functional languages Array programming languages Function C Eval Pointer Software engineering Computing Computer programming
739	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: cran.repo.bppt.go.id Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
740	R Language Definition VersionPatchedDRAFT R Core Team This manual is for R, versionPatched). Add to Reading List Source URL: cran.dcc.fc.up.pt Language: English - Date: 2015-05-23 05:10:45 Subroutines Cross-platform software Data types Functional languages Array programming languages Function C Eval Pointer Software engineering Computing Computer programming

UPDATE