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 2010
Springer Berlin Heidelberg
Table of Contents: “... Technologies for Model Animation in the TopCased Platform -- Model-Driven Engineering of Machine Executable...”
Cover Image
Read Now

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

4
Published 2015
Springer International Publishing
Table of Contents: “... animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion...”
Cover Image
Read Now

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

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

7
by Parsons, David
Published 2020
Springer International Publishing
“...Texts in Computer Science...”
Cover Image
Read Now

8
Published 2015
Springer International Publishing
Table of Contents: “... for Models of Embedded Systems -- New Ways of Behaviour Modelling: Events in Modelling Programming Animation...”
Cover Image
Read Now

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

10
by Buell, Duncan
Published 2021
Springer International Publishing
Subjects: “...Computer science...”
Cover Image
Read Now

12
Published 2023
Springer Nature Switzerland
Table of Contents: “... Programs -- Proof-theoretic Foundations of Normal Logic Programs -- A Discourse on Guessing and Reasoning...”
Cover Image
Read Now

13
Published 2023
Springer Nature Switzerland
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

14
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

15
by Deitel, Paul, Deitel, Harvey
Published 2019
Pearson
“... curriculum initiatives and with the Data Science Undergraduate Curriculum Proposal sponsored by the National...”
Cover Image
Read Now

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

17
Published 2018
Springer International Publishing
Table of Contents: “...Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification...”
Cover Image
Read Now

18
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

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

20
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... for Process Mediation -- How Symbolic Animation Can Help Designing an Efficient Formal Model -- Security -- A...”