ALGOL - PDFSEARCH.IO - Document Search Engine

ALGOL
Results: 3193

#	Item
701	TURING AWARD LECTURE Reflections on Trusting Trust To what extent should one trust a statement that a program is free of Trojan horses? Perhaps it is more important to trust the people who wrote the software. Add to Reading List Source URL: vxheaven.org Language: English - Date: 2006-06-04 06:07:17 Procedural programming languages C ALGOL 68 Printf format string D Fortran Unix Quine PL/I Computing Computer programming Software engineering
702	KOSMOS IDC 6.1 Instrument Controller to Data Handling System Add to Reading List Source URL: www.noao.edu Language: English - Date: 2011-03-07 16:42:58 Software engineering Exec POSIX Process Process.h Open ALGOL 68 Computing C POSIX library Programming language theory
703	Technical Report UCAM-CL-TR-569 ISSNNumber 569 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:57:58 Type theory Data types Type system Abstraction Abstract data type Type safety ALGOL 68 Programming language Lambda calculus Software engineering Computing Programming language theory
704	Beyond Proof-of-compliance: Security Analysis in Trust Management NINGHUI LI Purdue University JOHN C. MITCHELL Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:15:33 Datalog Central Intelligence Agency ALGOL 68 Propositional calculus Mathematical logic Logic Programming language theory
705	IP 128 Description: IP 128 Add to Reading List Source URL: www.easa.europa.eu Language: English - Date: 2015-05-10 14:15:05 Monosodium glutamate Aircraft maintenance checks ALGOL 68 Software engineering Time management Microgravity Science Glovebox Canadian Memorial Chiropractic College Food and drink Programming language theory Glutamates
706	Comparison of questionnaires Eurostat ICT usage enterprise surveyother surveys Modular Structure According to interview sequence Community survey on ICT usage of enterprisesSelfadmin. PAPI) Add to Reading List Source URL: www.sibis-eu.org Language: English - Date: 2011-02-28 11:31:16 Internet privacy Intranet Extranet Electronic data interchange Computer-assisted telephone interviewing Computer network Electronic business ALGOL 68 Computing Electronic commerce Data collection
707	Overcoming the Barriers to Sustained Petaflop Performance William D. Gropp Computer Science Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2007-12-03 03:37:03 Procedural programming languages Parallel computing Sparse matrix Central processing unit Sizeof Fortran ALGOL 68 Matrix Trie Computing Software engineering Computer programming
708	Driver Model, Kconfig and a little Patman U-Boot Miniconf Edinburgh Oct-13 Simon Glass Add to Reading List Source URL: www.denx.de Language: English - Date: 2013-10-31 05:20:28 C++ C programming language Procedural programming languages Struct C++ classes C ALGOL 68 Programming language theory Computing Software engineering
709	Microsoft Word - FACM_17092014_AGN_AT Add to Reading List Source URL: ropergulf.nt.gov.au Language: English - Date: 2014-09-11 02:26:09 Committee Computing Programming language theory ALGOL 68 Software engineering

UPDATE