Primitive - PDFSEARCH.IO - Document Search Engine

Primitive
Results: 1920

#	Item
571	Perl versiondocumentation - Unicode::Normalize NAME Unicode::Normalize - Unicode Normalization Forms SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:41:20 Data types Primitive types Unicode equivalence String Formal languages Unicode NFC Database normalization Combining character Computing Software engineering Character encoding
572	Computationally sound compositional logic for key exchange protocols ∗ Anupam Datta, Ante Derek, John C. Mitchell Dept. Computer Science, Stanford University {danupam, aderek, mitchell}@cs.stanford.edu Abstract Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 00:37:13 Dolev-Yao model Public-key cryptography Protocol composition logic XTR Cryptographic primitive Semantic security Secure channel Key-agreement protocol Commitment scheme Cryptography Cryptographic protocols Ciphertext indistinguishability
573	© ISO/IEC 2014 – All rights reserved Draft Technical Specification – March 26, 2014 ISO/IEC JTC 1/SC 22/WG 14 N1814 Date: yyyy-mm-dd Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-03-31 10:37:03 Software engineering Data types Primitive types IEEE 754-2008 Floating point SQL C99 COBOL IEEE Standards Association Computing Computer arithmetic IEEE standards
574	Comments and recommendations Date: Document: WG 14 N1815 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-03-31 10:38:07 Data types Primitive types Notation Floating point International Organization for Standardization SQL Computing Computer arithmetic Software engineering
575	Time Representation and Interpretation in Simulation Interoperability – an Overview Mikael Karlsson Fredrik Antelius Björn Möller Add to Reading List Source URL: www.pitch.se Language: English - Date: 2011-04-26 03:10:31 Numbers IEEE standards Primitive types Computer science Binary arithmetic High-level architecture Floating point Double-precision floating-point format Fixed-point arithmetic Computer arithmetic Data types Computing
576	Revised5.92 Report on the Algorithmic Language Scheme — Standard Libraries — MICHAEL SPERBER WILLIAM CLINGER, R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) Add to Reading List Source URL: www.r6rs.org Language: English - Date: 2008-01-06 02:10:31 Programming language theory Data types Primitive types Scheme Endianness ALGOL 68 String Integer Constructor Computing Character encoding Software engineering
577	Numerical Modelling and Forecasting Country Add to Reading List Source URL: www.oceanography.ucy.ac.cy Language: English - Date: 2006-07-28 03:20:12 Weather prediction Barotropic Hierarchy Primitive equations Baroclinity Meteorology Atmospheric dynamics Fluid dynamics
578	old glory gatherings Primitive Gatherings A collaboration of vintage, patriotic and primitive designs, inspired from a time when life was simpler.. Stars and stripes are worn and loved in various Add to Reading List Source URL: www.unitednotions.com Language: English - Date: 1989-12-31 19:00:01 Crust Pies European cuisine Stock-keeping unit
579	Phelix Fast Encryption and Authentication in a Single Cryptographic Primitive Doug Whiting1 , Bruce Schneier2 , Stefan Lucks3 , and Fr´ed´eric Muller4 1 HiFn, Add to Reading List Source URL: www.schneier.com Language: English - Date: 2014-03-02 23:18:30 Block cipher modes of operation Keystream Block cipher Ciphertext Symmetric-key algorithm Authenticated encryption Cryptographic nonce Advanced Encryption Standard RC4 Cryptography Stream ciphers Phelix
580	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-02-19 17:14:13 Model theory Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Primitive recursive function Interpretation Function Mathematical logic Mathematics Logic

UPDATE