SC21 - PDFSEARCH.IO - Document Search Engine

SC21
Results: 36

#	Item
21	ANSI X3H2-96-502r2 ISO/IEC JTC1/SC21/WG3 DBL MAD-147r2 ISO INTERNATIONAL ORGANIZATION FOR STANDARDIZATION ORGANISATION INTERNATIONALE DE NORMALISATION Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2007-10-03 18:45:14
22	Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:08 Software engineering Computing Computer programming Type theory Procedural programming languages Process calculi Data types Synchronization Language Of Temporal Ordering Specification Standard ML E-LOTOS ML
23	Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:48 Logic in computer science Programming language semantics Type theory Logic programming Automated theorem proving Operational semantics Substitution Syntax Type system Semantics C++ classes Monad
24	第 92 回電気用品調査委員会平成 27 年 3 月 17 日資料 №7-7 第 SC21(リチウムイオン電池)小委員会審議結果報告書 Add to Reading List Source URL: www.eam-rc.jp Language: Japanese - Date: 2015-03-17 22:05:00
25	Microsoft Word - SCIP Award July 2014.docx Add to Reading List Source URL: www.micreo.com Language: English - Date: 2014-08-01 02:07:24 SC21 Photonics Supply chain Microwave Technology Business Aerospace engineering
26	Defence Industry Innovation Centre Gold for Micreo Customer Story Defence technology company Micreo Limited was recognised at the 2014 Defence + Industry Add to Reading List Source URL: www.business.gov.au Language: English - Date: 2014-11-13 23:42:17 Military of Australia Aerospace engineering SC21 Marketing Defence Materiel Organisation Supply chain Quality Business Technology Management
27	SC21.indd.ps, page 8 @ Preflight Add to Reading List Source URL: www.yearbook.gov.hk Language: Chinese - Date: 2010-08-04 05:24:28
28	Supplier Continuous Improvement Program Customer Information Guide July 2014 Website: business.gov.au Hotline: [removed] Add to Reading List Source URL: www.business.gov.au Language: English - Date: 2014-11-24 19:54:43 Quality management SC21 Numerical software Operations research SCIP
29	AWE 21ST CENTURY SUPPLY CHAINS Add to Reading List Source URL: www.awe.co.uk Language: English - Date: 2015-03-06 10:39:40 Aerospace engineering SC21 Pace plc
30	Supplier Continuous Improvement Program Fact Sheet Add to Reading List Source URL: www.business.gov.au Language: English - Date: 2014-11-26 18:15:54 Supply chain management Aerospace engineering SC21 SCIP Supply chain Business Technology Management

UPDATE