Mosses - PDFSEARCH.IO - Document Search Engine

Mosses
Results: 323

#	Item
21	BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-01-15 18:51:53 Programming language semantics Action semantics Formal languages Peter Mosses Programming language SYNTAX ASF+SDF Meta Environment Programming language theory Theoretical computer science Software engineering
22	BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:07:46 Computing Logic in computer science Operational semantics Denotational semantics Semantics Programming language Expression Action semantics Monad Software engineering Theoretical computer science Programming language semantics
23	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
24	BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-08-23 08:48:12 Programming language semantics Logic in computer science Operational semantics BRIC Peter Mosses Gordon Plotkin Congruence relation Theoretical computer science Mathematics Formal methods
25	Tofte Skov og Mose Bøge/egeskov på høj bund Bønderskoven, afd. 199 d. 29. oktober 2005, Bryologkredsens efterårsekskursion Gammel egeskov Antitrichia curtipendula Add to Reading List Source URL: www.bryologkredsen.dk Language: English - Date: 2010-01-05 12:59:31 Tree of life Frullania dilatata Hypnum cupressiforme Rhytidiadelphus squarrosus Dicranum scoparium Metzgeria Biology Mosses Frullania Botany
26	BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:24:57 Programming language semantics Applied mathematics Symbol Denotational semantics State transition system Operational semantics Theoretical computer science Models of computation Logic in computer science
27	Tropical Bryology 25: 35-69, 2004 A revised checklist of Hawaiian mosses G. W. Staples, C. T. Imada, W. J. Hoe, and C. W. Smith Correction for Page 38: Hawaiian Moss Flora in Summary Add to Reading List Source URL: hbs.bishopmuseum.org - Date: 2015-04-23 17:17:55
28	Forester CANT HILLS MOSSES CANT HILLS MOSSES Add to Reading List Source URL: scotland.forestry.gov.uk - Date: 2015-02-13 11:37:52
29	Landscape Factors Significantly Controlling Element Content Distribution in Mosses in the Czech Republic Julie Sucharová, Ivan Suchara, Marie Holá Add to Reading List Source URL: icpvegetation.ceh.ac.uk - Date: 2011-01-26 09:23:53
30	HEAVY METALS IN MOSSES – What are the advantages of an increased sampling density at the county level ICP Vegetation Task Force Meeting Halmstad, Sweden Helena Danielsson & Gunilla Pihl Karlsson, Sweden Add to Reading List Source URL: icpvegetation.ceh.ac.uk - Date: 2013-08-02 10:57:22