1
Publicado 2014
Table of Contents: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
Ligazón do recurso
Electrónico eBook
2
Publicado 2013
Table of Contents: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
Ligazón do recurso
Electrónico eBook
3
Publicado 2010
Table of Contents: ... -- Robots and the Human -- The Modelica Object-Oriented Equation-Based Language and Its OpenModelica...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...
Ligazón do recurso
Electrónico eBook
5
Publicado 2014
Table of Contents: ... Problems in Resonance Cases -- Intertwining Laplace Transformations of Linear Partial Differential...
Ligazón do recurso
Electrónico eBook
6
7
Publicado 2008
Table of Contents: ...Scientific and Technological Cooperation in the Agri-Food Sector: The Case of the CYTED Program...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...
Ligazón do recurso
Electrónico eBook
9
Table of Contents: .... Interpolation -- 8. Integration -- 9. Ordinary differential equations -- 10. Sparse matrices and graphs -- 11...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
Ligazón do recurso
Electrónico eBook
11
por Cordani, Bruno., Cordani, Bruno.
Publicado 2013
Table of Contents: ...Preface -- List of Figures -- 1 Introductory Survey -- 2 Analytical Mechanics and Integrable...
Ligazón do recurso
Electrónico eBook
12
Publicado 2010
Table of Contents: ... Schemes for Scheduling Divisible Loads -- Semi-online Preemptive Scheduling: Study of Special Cases...
Ligazón do recurso
Electrónico eBook
13
Publicado 2010
Table of Contents: ...-Database Based Meta-CASE System and its Query Subsystem -- An Intelligent Control System Based on Non...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...
Ligazón do recurso
Electrónico eBook
15
Publicado 2014
Table of Contents: ... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...
Ligazón do recurso
Electrónico eBook
16
Publicado 2005
Table of Contents: ... Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid...
Ligazón do recurso
Electrónico eBook
17
Publicado 2007
Table of Contents: ... Equation -- Symmetries and Dynamics of Discrete Systems -- Exact Solutions of Completely Integrable Systems...
Ligazón do recurso
Electrónico eBook
18
Publicado 2012
Table of Contents: ....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...
Ligazón do recurso
Electrónico eBook
19
Subjects: ...Ordinary Differential Equations. https://scigraph.springernature.com/ontologies/product-market...
Ligazón do recurso
Electrónico eBook
20
Publicado 2015
Table of Contents: ... Boundary Conditions: the Subquadratic Case: D.A. Gomes et al -- 16 A Budget Setting Problem: O. Gomes -- 17...
Ligazón do recurso
Electrónico eBook