海量图书期刊资源,随时随地畅享阅读乐趣
Diagrammatic Formal Specification of a Configuration Control PlatformJohn Howse; Steve Schuman; Gem Stapleton; Ian Oliver · 2009
High-Level Representation of Time in Diagrammatic SpecificationAl-Fedaghi, Sabah · Procedia Computer Science · 2015
Nautilus, a Concurrent Diagrammatic Specification and Programming LanguageClaudio Naoto Fuzitaki; Paulo Blauth Menezes; Júlio Pereira Machado; Fernando D’Andrea · 2006
VCt—a formal language for the specification of diagrammatic modelling techniquesJ. Artur Serrano; Ray Welland · 1998
Enriching Linked Data with Semantics from Domain-Specific Diagrammatic ModelsBuchmann, Robert A.; Karagiannis, Dimitris · Business & Information Systems Engineering · 2016
[Lecture Notes in Computer Science] Diagrammatic Representation and Inference Volume 4045 || The Importance of Both Diagrammatic Conventions and Domain-Specific Knowledge for Diagram Literacy in Science: The Hierarchy as an Illustrative CaseBarker-Plummer, Dave; Cox, Richard; Swoboda, Nik · 2006
Domain-specific diagrammatic modelling: a source of machine-readable semantics for the Internet of ThingsBuchmann, Robert Andrei; Karagiannis, Dimitris · Cluster Computing · 2017
Sketches and parametrizationDominique Duval; Pascale Sénéchaud · 1994
Sketches and computations over fieldsDominique Duval; Jean-Claude Reynaud · 1996
9 Tumour angiogenesisAgnès Le Querrec; Dominique Duval; Gérard Tobelem · 1993
Subject indexBoulard, C.; Duval Modeste, A.B.; Dominique, S.; Courville, P.; Joly, P. · Hearing Research · 1992
Death of Marc Rybowicz, aged 52Duval, Dominique; Poteaux, Adrien · ACM Communications in Computer Algebra · 2017
Algebraic Numbers: An Example of Dynamic EvaluationDominique Duval · 1994
Seed Germination and VigorRajjou, Loïc; Duval, Manuel; Gallardo, Karine; Catusse, Julie; Bally, Julia; Job, Claudette; Job, Dominique · 2012
Generalised coinductionBARTELS, FALK · Mathematical Structures in Computer Science · 2003
The algebra of multirelationsMARTIN, C. E.; CURTIS, S. A. · Mathematical Structures in Computer Science · 2013
Quantum computation and quantum informationPAUL, THIERRY · Mathematical Structures in Computer Science · 2007
Ordinal computationsKOEPKE, PETER; KOERWIEN, MARTIN · Mathematical Structures in Computer Science · 2006
Categories, relations and dynamic programmingMoor, Oege De · Mathematical Structures in Computer Science · 1994
Differential categoriesBLUTE, R. F.; COCKETT, J. R. B.; SEELY, R. A. G. · Mathematical Structures in Computer Science · 2006
Impredicativity entails untypednessLIETZ, PETER; STREICHER, THOMAS · Mathematical Structures in Computer Science · 2002
Towards a quantum programming languageSELINGER, PETER · Mathematical Structures in Computer Science · 2004