Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Traversals in C++ -- Unit Testing for Domain-Specific Languages -- Combining DSLs and Ontologies Using...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Operational Semantics for Weighted Transition Systems -- On the Specification and Verification of Model...”
Cover Image
Read Now

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... — the Common Algebraic Specification Language -- Duration Calculus -- The Logic of the RAISE Specification...”
Cover Image
Read Now

4
Published 2017
Springer New York
Table of Contents: “... Recombinase-Mediated Cassette Exchange by Tyrosine Site-Specific Recombinases -- Use of the DICE Dual...”
Cover Image
Read Now

5
by Alagar, V.S., Periyasamy, K.
Published 2011
Springer London
Table of Contents: “...Part I: Specification Fundamentals -- The Role of Specification -- Specification Activities...”
Cover Image
Read Now

6
by Wąsowski, Andrzej, Berger, Thorsten
Published 2023
Springer International Publishing
Cover Image
Read Now

7
by de Dinechin, Florent, Kumm, Martin
Published 2024
Springer International Publishing
Table of Contents: “... Specification and Error Analysis -- Chapter 4 Field Programmable Gate Arrays -- Part 1 Revisiting Classic...”
Cover Image
Read Now

8
Published 2023
Springer International Publishing
“...This book presents novel approaches to the formal specification of concurrent and parallel systems...”
Cover Image
Read Now

9
by Davidse, Kristin, Njende, Ngum Meyuhnsi, O'Grady, Gerard
Published 2023
Palgrave Macmillan
“... of the neglected specificational and presentational there-clefts, offering the first systematic data-based study...”
Cover Image
Read Now

10
by Soeken, Mathias, Drechsler, Rolf
Published 2015
Springer International Publishing
“... specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers...”
Cover Image
Read Now

11
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Invariant Analyzer Tool -- Theorem Proving Based onProof Scores for Rewrite Theory Specifications of OTSs...”
Cover Image
Read Now

12
Published 2012
Springer Netherlands
Table of Contents: “... abdominal aortic aneurysms repair -- 2. A subject-specific framework to inform musculoskeletal modelling...”
Cover Image
Read Now

13
by Schlägel, Christopher
Published 2011
Gabler Verlag
“... users. In order to reduce the problems caused by information asymmetries and one-sided specific...”
Cover Image
Read Now

14
Published 2007
Springer Berlin Heidelberg
Cover Image
Read Now

15
Published 2020
Springer International Publishing
Table of Contents: “...Preface -- Tissue-specific cell signaling: introduction -- Beyond the brain signaling -- Cell...”
Cover Image
Read Now

16
by Mailund, Thomas
Published 2018
Apress
“...Gain an accelerated introduction to domain-specific languages in R, including coverage of regular...”
Cover Image
Read Now

17
by Malitsky, Yuri
Published 2014
Springer International Publishing
Table of Contents: “...Introduction -- Survey of Related Work -- Architecture of Instance-Specific Algorithm Configuration...”
Cover Image
Read Now

18
Published 2015
Humana
Table of Contents: “...-Specific Protein Labeling in the Pharmaceutical Industry - Experiences from Novartis Drug Discovery...”
Cover Image
Read Now

19
Published 2021
Springer International Publishing
“...This book offers a comprehensive and detailed overview of specific sports-related injuries and a...”
Cover Image
Read Now

20
Published 2021
Springer International Publishing
Table of Contents: “... Printers -- A Domain-Specific Language for Payroll Calculations: An Experience Report from DATEV -- FASTEN...”