Christiansen - PDFSEARCH.IO - Document Search Engine

Christiansen
Results: 557

#	Item
111	Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways David Raymond Christiansen, Marco Carbone, and Thomas Hildebrandt IT University of Copenhagen, Rued Langgaards Vej 7, 2300 Copenhagen, Denmark Add to Reading List Source URL: www.davidchristiansen.dk Language: English - Date: 2016-05-11 16:48:16
112	Nyhedsbrev oktoberDANIEL KRUSE OG JACOB CHRISTIANSEN FRA FORMEL B Add to Reading List Source URL: www.sopexa.dk Language: Danish - Date: 2010-11-03 05:16:30
113	Software Development for the Working Actuary David Raymond Christiansen The Problem Add to Reading List Source URL: www.davidchristiansen.dk Language: English - Date: 2016-05-11 16:48:16
114	Software Development for the Working Actuary? David Raymond Christiansen IT University of Copenhagen Abstract. We present an in-progress domain-specific language for actuaries. Due to the mathematical sophist Add to Reading List Source URL: www.davidchristiansen.dk Language: English - Date: 2016-05-11 16:48:17
115	LHCb ECAL/HCAL and Preshower front-end chips PRR Review report Orsay, December 12th 2001 Reviewers : Dominique BRETON (ex officio), Jorgen Christiansen, Eric Delagnes, Christophe de la Taille. Add to Reading List Source URL: lhcb-calo.web.cern.ch Language: English - Date: 2001-12-19 11:10:24
116	Dependent Type Providers David Raymond Christiansen IT University of Copenhagen Abstract Add to Reading List Source URL: www.davidchristiansen.dk Language: English - Date: 2016-05-11 16:48:17
117	Dalton2016 – Dalton Program Manual K. Aidas C. Angeli, K. L. Bak, V. Bakken, R. Bast, L. Boman, O. Christiansen, R. Cimiraglia, S. Coriani, J. Cukras, P. Dahle, E. K. Dalskov, T. Enevoldsen, J. J. Eriksen, R. Faber, B. Add to Reading List Source URL: www.daltonprogram.org Language: English - Date: 2015-12-22 16:36:16
118	Christiansen_and_Stucky_Figure 1 Add to Reading List Source URL: dmns.org Language: English - Date: 2013-09-18 14:09:36
119	Type-Directed Elaboration of Quasiquotations A High-Level Syntax for Low-Level Reflection David Raymond Christiansen IT University of Copenhagen Add to Reading List Source URL: www.davidchristiansen.dk Language: English - Date: 2016-05-11 16:48:16
120	Looking Outward: When Dependent Types Meet I/O David Raymond Christiansen M.Sc. Thesis Supervisor: Peter Sestoft Add to Reading List Source URL: www.davidchristiansen.dk Language: English - Date: 2016-05-11 16:48:04