Search alternatives:
formalization management » informatization management, organization management, fertilization management
first formalization » firms formalization, first formulation, first realization
first first » first forest, forest first, first fit
Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...-Based Modelling, Symmetries, Refinements -- One Modelling Formalism & Simulator Is Not Enough! A...”
Cover Image
Read Now

2
by Abdallah, Ali E
Published 2003
Springer Berlin Heidelberg
Subjects: “...Management of Computing and Information Systems...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Cryptographic Protocols -- Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Finding Most Probable Worlds of Probabilistic Logic Programs -- Managing Uncertainty in Schema Matcher...”
Cover Image
Read Now

5
Published 2006
Springer Berlin Heidelberg
Subjects: “...Electronic data processing / Management...”
Cover Image
Read Now

6
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Model Using Coloured Petri Nets for the Study of an Hunting Management System -- Formal Agent...”
Cover Image
Read Now

8
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... with Abstraction and Refinement for Managing Features Interactions -- A Formal Architecture for the 3APL Agent...”
Cover Image
Read Now

9
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Challenges in Model-Checking -- Applied Formal Methods – From CSP to Executable Hybrid Specifications...”
Cover Image
Read Now

10
Published 2007
Springer Japan
Table of Contents: “... for Agricultural Policy Analysis -- Multi-Agent Simulations to Explore Rules for Rural Credit Management in a...”
Cover Image
Read Now

11
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... to Complexity and Architecture -- Formalization of an Integrated System/Project Design Framework: First Models...”
Cover Image
Read Now

12
Published 1994
Springer Berlin Heidelberg
Table of Contents: “..., with applications to model checking -- How linear can branching-time be? -- First-order future interval logic -- Buy...”
Cover Image
Read Now

13
Published 2004
Springer Berlin Heidelberg
Subjects: “...Database management...”
Cover Image
Read Now

14
Published 2017
Springer International Publishing
Table of Contents: “... of Probably Approximately Correct Implication Bases. -Formal Concept Analysis in a Logical Programming Setting...”
Cover Image
Read Now

15
by Torra, Vicenc
Published 2004
Springer Berlin Heidelberg
Subjects: “...Database management...”
Cover Image
Read Now

16
by Rogers, Alan
Published 2005
Springer US
Table of Contents: “...: The Call for Reform -- The Great Debate -- The Advocates: Constructing Non-Formal Education -- Ideologues...”
Cover Image
Read Now

17
Published 2023
Springer Nature Switzerland
Table of Contents: “... Supports Standardisation and Recursive Partitioning of Formal Context -- Graph-FCA Meets Pattern Structures...”
Cover Image
Read Now

18
Published 2021
Springer International Publishing
Table of Contents: “... Concept Analysis -- Boolean Substructures in Formal Concept Analysis -- Enumerating Maximal Consistent...”
Cover Image
Read Now

19
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...An Extension Rule Based First-Order Theorem Prover -- An Extended Meta-model for Workflow Resource...”
Cover Image
Read Now

20
by Lloyd, John
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects: “...Database management...”