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