Cover Image
Read Now

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

2
Published 1997
Springer US
“...Application Specific Processors is written for use by engineers who are developing specialized...”
Cover Image
Read Now

3
by Graham, Ian
Published 2008
Wiley
Table of Contents: “... Approaches; 6.5 Summary; 6.6 Bibliographical Notes; 7 Specification Modelling; 7.1 From Requirements...”
Cover Image
Read Now

4
by Smith, Graeme
Published 2000
Springer US
Table of Contents: “... Nondeterminism -- 5.5 Case Study: Hearts -- 6 Concrete Syntax -- 6.1 Specifications -- 6.2 Global Paragraphs...”
Cover Image
Read Now

5
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

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

7
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Manipulation Interaction Algebraically -- 26. Using an Abstract Model for the Formal Specification...”
Cover Image
Read Now

8
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Specification -- The Role of Castes in Formal Specification of MAS -- A Truly Concurrent Model...”
Cover Image
Read Now

9
by Cabrera, Luis-Felipe
Published 2005
Microsoft Press
Cover Image
Read Now

10
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... of Alloantigen-Specific Cytotoxic T Cell Activity in the TCR?? T Cell Subpopulation of Alloantigen-Immune...”
Cover Image
Read Now

11
by Nicolescu, G., Jerraya, Ahmed A.
Published 2007
Springer Netherlands
“... and micro-mechanical). Global Specification and Validation of Embedded Systems offers a deep understanding...”
Cover Image
Read Now

12
Published 2008
Springer Netherlands
Table of Contents: “... Architecture -- Analog, Mixed-Signal, and Heterogeneous System Design -- Heterogeneous Specification with HetSC...”
Cover Image
Read Now

13
by Kejriwal, Mayank
Published 2019
Springer International Publishing
“... community if extracted robustly, efficiently and semi-automatically as knowledge graphs. Domain-specific...”
Cover Image
Read Now

14
by Janka, Randall S.
Published 2002
Springer US
Table of Contents: “... Specification -- 7.9 Difficulties Encountered & Overcome -- 7.10 Conclusion -- 8 Magic Quantification & Summary...”
Cover Image
Read Now

16
by Gumzej, Roman
Published 2016
Springer International Publishing
Table of Contents: “...Introduction -- Specification PEARL Language -- Specification PEARL Methodology -- UML 2 Profile...”
Cover Image
Read Now

17
Published 1995
Springer Vienna
Table of Contents: “...Invited Talks -- Interaction, Cognition and Visualization -- Formal Specification Techniques...”
Cover Image
Read Now

18
Published 2000
Springer US
Table of Contents: “...I An Introduction to OBJ -- 1 Introducing OBJ -- II OBJ Specifications -- 2 Specifying in OBJ...”
Cover Image
Read Now

19
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... in the development of the file specification -- 2.3 The finite State machine approach -- 3.0 Basic Principles -- 3.1...”
Cover Image
Read Now

20
by Parvez, Husain, Mehrez, Habib
Published 2011
Springer New York
Table of Contents: “...Introduction -- State of the Art -- FPGA Layout Generation -- ASIF: Application Specific Inflexible...”