Struct - PDFSEARCH.IO - Document Search Engine

Struct
Results: 936

#	Item
861	Under consideration for publication in Math. Struct. in Comp. Science A Relational Model of Non-Deterministic Dataflow Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-05-12 10:41:14 Theoretical computer science Monoidal categories Logic in computer science Computer architecture Programming language semantics Dataflow Kahn process networks Operational semantics Kripke semantics Models of computation Mathematics Logic
862	Under consideration for publication in Math. Struct. in Comp. Science Social Processes, Program Verification and All That A N D R E A A S P E R T I,1 H E R M A N G E U V E R S2 and R A J A N A T A R A J A N3 1 Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-09-07 06:47:44 Formal methods Theoretical computer science Automated theorem proving Logic in computer science Proof theory Mathematical proof Formal verification Automated proof checking Proof assistant Mathematics Logic Applied mathematics
863	(To appear in Concurrency: Practice and Experience) The Java Memory Model is Fatally Flawed William Pugh Dept. of Computer Science Univ. of Maryland, College Park Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2002-04-22 19:37:42 C programming language Java platform Data types Computer memory Struct Java Memory Model Memory barrier Java bytecode Java Computing Software engineering Cross-platform software
864	Interim Report on the Energy Appraisal of Retail Units: Assessing the effect of open doors on energy consumption and thermal comfort Technical Report Number: CUED/D-STRUCT/TR232 Prepared by: Murat Basarir, Dr. Mauro Over Add to Reading List Source URL: www.stancash.com.au Language: English - Date: 2014-05-19 21:01:25 Door Data logger Retail ANT Thermostat Energy conservation Architecture Engineering Technology Measuring instruments Energy policy
865	The D Programming Language by Walter Bright Digital Mars http://www.digitalmars.com/d/ Add to Reading List Source URL: assets.en.oreilly.com Language: English - Date: 2010-07-22 13:26:34 C++ C programming language Object-oriented programming Struct D Template MOV ALGOL 68 Write Software engineering Computer programming Computing
866	OpenCL API 1.1 Quick Reference Card - Page 1 OpenCLTM (Open Computing Language) is a multi-vendor open standard for general-purpose parallel programming of heterogeneous systems that include CPUs, GPUs and other processo Add to Reading List Source URL: www.khronos.org Language: English - Date: 2014-04-08 09:34:15 Software engineering C programming language Struct Write OpenCL Sizeof C++ classes MD3 Typename Computing Computer programming C++
867	Under consideration for publication in Math. Struct. in Comp. Science Correctness of high-level transformation systems relative to nested conditions A N N E G R E T H A B E L and K A R L - H E I N Z P E N N E M A N N† Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-16 05:05:39 Morphism Category Pushout Graph rewriting Grothendieck topology Sheaf Universal property Monomorphism Initial and terminal objects Category theory Abstract algebra Mathematics
868	An Implicit Surface Polygonizer Jules Bloomenthal The University of Calgary Calgary, Alberta T2N 1N4 Canada An algorithm for the polygonization of implicit surfaces is described and an implementation in C is Add to Reading List Source URL: www.unchainedgeometry.com Language: English - Date: 2006-12-09 21:00:35 Marching cubes Normal Dual polyhedron Surface Tetrahedron Vertex Area Polygon Typedef Geometry 3D computer graphics Struct
869	TAXATION The Annual Growth Survey identifies several categories of tax policy challenges currently faced by EU Member States. These tax policy challenges concern the potential of Member States for making their tax struct Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2014-05-30 06:13:59 Taxation Political economy Business Public finance Tax Value added tax Consumption tax Income tax in the United States Income tax Tax reform Public economics Finance
870	Microsoft Word - LittleCMS2.6 Plugin API.docx Add to Reading List Source URL: www.littlecms.com Language: English - Date: 2014-03-17 07:27:27 System software Dynamic-link library Struct Computing Software Plug-in

UPDATE