Primitive - PDFSEARCH.IO - Document Search Engine

Primitive
Results: 1920

#	Item
381	Lemma 1 Ref: DS/FMU/FEF/019 DRA FRONT END FILTER PROJECT Issue: Revision : 2 .2 Specification of Query Transformations in SML (I) Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:58 Procedural programming languages Data types Functional languages Type theory Standard ML Enumerated type ALGOL 68 SQL Primitive data type Computing Software engineering Programming language theory
382	Verification of security protocols — reducing the number of agents — Laboratory, institution and university LSV, ENS Cachan and LORIA, Nancy universités The internship will be located at Nancy and/or at ENS Cachan d Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-21 15:33:34 Information Cryptographic protocols Free software ProVerif Ciphertext indistinguishability Communications protocol Cryptographic primitive Authentication Tor Cryptography Cryptographic software Data
383	A Practical Dynamic Buffer Overflow Detector Olatunji Ruwase Monica S. Lam Transmeta Corporation Add to Reading List Source URL: www.isoc.org Language: English - Date: 2004-11-17 13:32:32 Software bugs Data types Computer errors Primitive types Arrays Buffer overflow protection Buffer overflow Stack buffer overflow Memory safety Computing Software engineering Computer programming
384	Structural Recursion over Contextual Objects (Extended Abstract) Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-20 17:12:51 Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function Substitution Μ operator Mathematics Mathematical logic Logic
385	The VLISP Image Builder Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Primitive data type Pointer Java class file Operational semantics Software engineering Data types Computing Theoretical computer science
386	This is a pre-publication draft of the column I wrote for the April 1996 issue of the C++ Report. “Pre-publication” means this is what I sent to the Report, but it may not be exactly the same as what appeared in prin Add to Reading List Source URL: www.aristeia.com Language: English - Date: 2013-01-31 17:34:29 Computing Data types Method Primitive types Smart pointer Auto ptr Copy constructor Pointer C++ classes Software engineering Computer programming C++
387	Because we’re worth it In an age of austerity we ask how best to nurture art and science – 28 July 2011, Wellcome Collection – Have we moved on from Add to Reading List Source URL: www.primitive-streak.org Language: English - Date: 2011-07-26 07:29:51 Wellcome Collection Wellcome Library Wellcome Wellcome Trust United Kingdom Henry Wellcome
388	AN-16 Application Note 750 Naples Street • Add to Reading List Source URL: www.pumpkininc.com Language: English - Date: 2011-09-12 16:02:25 C++ C programming language Data types Primitive types Procedural programming languages Pointer C Struct Reference Software engineering Computing Computer programming
389	The Polya-Vinogradov inequality Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Let χ : Z → C be a primitive Dirichlet character modulo m. χ being a Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:53:15 Class field theory Cyclotomic fields Dirichlet character Gauss sum Character sum Conductor Artin reciprocity law Modular arithmetic Dirichlet L-function Abstract algebra Mathematics Number theory
390	CGTM 38 Ingrid Carlbom February, 1968 Algorithms for Transforming PDL-expressions into Standard Form and into a Primitive Connection Matrix Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2011-07-15 17:15:20 Procedural programming languages Pointer C XL Computing Software engineering Computer programming

UPDATE