Search alternatives:
modul » module, modal
modus » modes
Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Tasks Modelling at the Knowledge Level -- Avoidance Behavior Controlled by a Model of Vertebrate...”
Cover Image
Read Now

2
Published 1988
Springer Berlin Heidelberg
Table of Contents: “...: An overview of the DAIDA project -- Entity-situation: A model for the knowledge representation module of a...”
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Design of a Cellular Automaton Model for Railway Traffic Flow with GPS Module -- ACA - Int. Workshop...”
Cover Image
Read Now

4
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... for Cross Tasks Knowledge Transfer -- Structures of Surround Modulation for the Border-Ownership Selectivity...”
Cover Image
Read Now

5
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Research -- Validity and Cross-Validity in HCI Publications -- Critical Systems -- Model-Based Engineering...”
Cover Image
Read Now

6
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... algorithms in D.E.Knuth's model -- On completeness of narrowing strategies -- Implementing term rewrite...”
Cover Image
Read Now

7
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... for hybrid systems -- SMC: A symmetry based model checker for verification of liveness properties -- ?cke...”
Cover Image
Read Now

8
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages -- From...”
Cover Image
Read Now

9
Published 2001
Birkhäuser
Table of Contents: “... on a finite bordered Riemann surface, multivariable operator model theory and Fourier analysis along a...”
Cover Image
Read Now

10
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Design of a DDPD Model of Ligation -- Artificial Life and Bioinformatics -- Population Structure...”
Cover Image
Read Now

11
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Formal verification of an arbiter cascade -- Constructs for modeling information systems with Petri nets...”
Cover Image
Read Now

12
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- An algebra of mixin modules -- Completeness of a logical system for structured specifications -- Zero-safe...”
Cover Image
Read Now

13
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- Applying Petri Net Based Models in the Design of Systems -- II: Contributed Papers -- Some Classes of Live...”
Cover Image
Read Now

14
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Negotiation Model for M-Commerce -- Collection and Object Synchronization Based on Context Information...”
Cover Image
Read Now

15
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized...”
Cover Image
Read Now

16
by Manna, Zohar, Pnueli, Amir
Published 1995
Springer New York
Table of Contents: “... -- 0.3 A Programming Language (SPL): Semantics -- 0.4 Modules -- 0.5 Temporal Logic -- 0.6 Specification...”
Cover Image
Read Now

17
Published 2019
Springer International Publishing
Table of Contents: “...Computational design of superhelices by local change of the intrinsic Curvature -- Spatial modeling...”
Cover Image
Read Now

18
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract) -- On Module...”
Cover Image
Read Now

19
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... realistic 3D models -- Color-calibration of a robot vision system using self-organizing feature maps...”
Cover Image
Read Now

20
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... to Model Multiagent Interactions Using the B Formal Method -- Behavioral Self-control of Agent-Based...”