Search alternatives:
national science » natural science, spatial science, natural sciences
Cover Image
Read Now

1
Published 1987
Springer US
Table of Contents: “... of the Software Science Length Equation and a Data-Structure-Oriented Size Estimation Approach -- Software Systems...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

3
Published 1999
Springer Berlin Heidelberg
Subjects: “...Data structures (Computer science)...”
Cover Image
Read Now

4
Published 1992
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

5
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... to the Embedded CORBA for the CAN Bus Systems -- A Real-Time Animator for Hybrid Systems -- Hardware -- Reordering...”
Cover Image
Read Now

6
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Animal...”
Cover Image
Read Now

7
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... syntax -- Structured inheritance for algebraic class specifications -- Towards a theory for the animation...”
Cover Image
Read Now

8
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Reaction Rules -- Modular Analysis of Dataflow Process Networks -- Software Measurements -- Foundations...”
Cover Image
Read Now

9
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Formal Methodology to Specify E-commerce Systems -- Model-Based Specification Animation Using Testgraphs...”
Cover Image
Read Now

10
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...: An Animation Tool for Model-Checking Games -- A Tool for Checking ANSI-C Programs -- Explicite State/Petri Nets --...”
Cover Image
Read Now

11
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... trees for debugging and animation in logic programming -- A narrowing-based theorem prover -- The ALF...”
Cover Image
Read Now

12
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Software Engineering Enterprise -- Innovative Applications I -- From Functional Animation to Sprite-Based...”
Cover Image
Read Now

13
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Steps Towards Sound Business Process Models -- Generation of Animation Views for Petri Nets in GenGED...”
Cover Image
Read Now

14
Published 1993
Springer London
Table of Contents: “... and SSADM -- Methods, Quality and Animation -- Support for Using Z -- Cleanroom and Z -- Animating Z...”
Cover Image
Read Now

15
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...A Tool-Supported Proof System for Multithreaded Java -- Abstract Behavior Types: A Foundation Model...”
Cover Image
Read Now

16
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Equalities of Variables: Combining Efficiency with Precision -- Foundations -- A New Class of Functions...”
Cover Image
Read Now

17
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Programs -- Foundation of One Formalism by Another -- Construction of Finite Labelled Transition Systems...”
Cover Image
Read Now

18
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Integration, Simulation, Animation -- An Integrated Semantics for UML Class, Object and State Diagrams Based...”
Cover Image
Read Now

19
Published 2004
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

20
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... for Physics-Based Animation -- Adding Concrete Syntax to a Prolog-Based Program Synthesis System...”