Search alternatives:
traditional science » translational science, traditional societies, national science
rational science » national science, regional science, rational defence

2
by Dawe, Christopher
Published 1994
Springer London
Table of Contents: ... of Prolog -- 1.5 Past, Present and Future -- 1.6 Accessibility -- 2 • Logic -- 2.1 Introduction -- 2.2...

3
by Dinov, Ivo D.
Published 2018
Springer International Publishing
Table of Contents: ...1 Introduction -- 2 Foundations of R -- 3 Managing Data in R -- 4 Data Visualization -- 5 Linear...

4
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- On the Expressiveness of Refinement Settings -- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties...

5
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... to practice -- An algorithm for the implementation of replicated tables -- Improved traditional mirror...

6
Published 2017
Springer Berlin Heidelberg
Table of Contents: ... "enhanced" programs -- Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants...

7
Published 2014
Springer International Publishing
Table of Contents: ... Partition and Constraint Analysis -- Testing MOF Script Transformations with Handy MOF -- Towards a Rational...

8
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Model -- Using Pseudo-stochastic Rational Languages in Probabilistic Grammatical Inference -- Learning...

9
Published 1995
Springer Berlin Heidelberg
Table of Contents: ...A decade of TAPSOFT -- Theory and practice of software development -- Rational spaces and set...

10
Published 2008
Springer Berlin Heidelberg
Table of Contents: ...: The Case of the DFA and the Balls of Strings -- Relevant Representations for the Inference of Rational...

11
Published 2015
Springer International Publishing
Subjects: ...Computer Science Logic and Foundations of Programming...

12
by Singpurwalla, Nozer D., Wilson, Simon P.
Published 1999
Springer New York
Table of Contents: ... Engineering -- 1.5 Chapter Summary -- 2 Foundational Issues: Probability and Reliability -- 2.0 Preamble...

13
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...Foundation and Rationale for Agile Methods -- A Distributed Cognition Account of Mature XP Teams...

14
Published 1998
Springer US
Subjects: ...Computer science / Mathematics...

15
Published 2009
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

16
Published 2001
Springer US
Table of Contents: ... Elevator under Sensor Uncertainties -- VI Control -- Traditional parameter estimation versus estimation...

17
by Franklin, Michael J.
Published 1996
Springer US
Table of Contents: ...-Server Database Systems -- 2.1 Architectural Alternatives -- 2.2 Reference Architecture -- 2.3 Utilizing...

18
by Frühwirth, Thom, Abdennadher, Slim
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Systems and Constraint Solvers -- 9. Boolean Algebra B -- 10. Rational Trees RT -- 11. Linear Polynomial...

19
by Jin, Yaochu
Published 2003
Physica
Table of Contents: ... -- 2.1 Introduction -- 2.2 Generic Evolutionary Algorithms -- 2.3 Adaptation and Self-Adaptation...

20
Published 2019
Springer International Publishing
Table of Contents: ... -- Proofs of Replicated Storage Without Timing Assumptions -- Simple Proofs of Space-Time and Rational...