Cover Image
Read Now

1
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

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

3
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

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

5
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

6
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

7
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

8
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

9
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

10
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

11
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

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
Published 2022
Springer International Publishing
Table of Contents: “... -- Part II: Previous Volume: Synopsis -- 4. The Purpose-Specificity Framework for Domain-Specific...”
Cover Image
Read Now

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

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

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

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

18
Published 2018
Springer International Publishing
“..., Algebraic Specification, and Category Theory in Computer Science...”
Cover Image
Read Now

19
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

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