Arama Sonuçları - (progress or program) in mathematical basics,

1

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”
Tam Metin Erişim

Elektronik Ekitap

2

Mathematical Logic Foundations for Information Science /

Yazar: Li, Wei., Li, Wei.
Baskı/Yayın Bilgisi 2014

İçindekiler: “...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...”
Tam Metin Erişim

Elektronik Ekitap

3

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”
Tam Metin Erişim

Elektronik Ekitap

4

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...? -- Properties Complementary to Program Self-reference -- Algorithms I -- Dobrushin Conditions for Systematic...”
Tam Metin Erişim

Elektronik Ekitap

5

Building mathematical models in excel: a guide for agriculturists

Yazar: Teh, Christopher Boon Sung.
Baskı/Yayın Bilgisi 2015

“... VBA (Visual Basic for Applications) programming language and yet allows agriculturists to build simple...”
Tam Metin Erişim

Kitap

6

Software for Data Analysis Programming with R /

Yazar: Chambers, John., Chambers, John.
Baskı/Yayın Bilgisi 2008

İçindekiler: “...Introduction: Principles and Concepts -- Using R -- Programming with R: The Basics -- R Packages...”
Tam Metin Erişim

Elektronik Ekitap

7

Concurrent Programming: Algorithms, Principles, and Foundations

Yazar: Raynal, Michel., Raynal, Michel.
Baskı/Yayın Bilgisi 2013

Konular: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Tam Metin Erişim

Elektronik Ekitap

8

Mathematical Problems from Applied Logic II Logics for the XXIst Century /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Theory Beyond Pure Mathematical: Motivations, Directions, Progress So Far And How One Might Go From Here...”
Tam Metin Erişim

Elektronik Ekitap

9

Factors and Factorizations of Graphs Proof Techniques in Factor Theory /

Yazar: Akiyama, Jin., Akiyama, Jin., Kano, Mikio.
Baskı/Yayın Bilgisi 2011

İçindekiler: “...1 Basic Terminology -- 2 Matchings and 1-Factors -- 3 Regular Factors and f-Factors -- 4 (g, f...”
Tam Metin Erişim

Elektronik Ekitap

10

Dynamics and Vibrations Progress in Nonlinear Analysis /

Yazar: Kachapi, Seyed Habibollah Hashemi., Kachapi, Seyed Habibollah Hashemi., Ganji, Davood Domairry.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Perturbation and Variational Methods -- Introduction -- The Basic Ideas of the Perturbation Analysis...”
Tam Metin Erişim

Elektronik Ekitap

11

Introducing Monte Carlo Methods with R

Yazar: Robert, Christian., Robert, Christian., Casella, George.
Baskı/Yayın Bilgisi 2010

İçindekiler: “...Basic R Programming -- Random Variable Generation -- Monte Carlo Integration -- Controlling...”
Tam Metin Erişim

Elektronik Ekitap

12

Convexity and Optimization in Banach Spaces

Yazar: Barbu, Viorel., Barbu, Viorel., Precupanu, Teodor.
Baskı/Yayın Bilgisi 2012

İçindekiler: “...Fundamentals of Functional Analysis -- Convex Functions -- Convex Programming -- Convex Control...”
Tam Metin Erişim

Elektronik Ekitap

13

Introduction to combinatorics /

Yazar: Erickson, Martin J., 1963-.
Baskı/Yayın Bilgisi 2013

İçindekiler: “...Machine generated contents note: Preface xi1 Basic Counting Methods 11.1 The multiplication...”
Cover image

Kitap

14

Thermal-Hydraulic Analysis of Nuclear Reactors

Yazar: Zohuri, Bahman., Zohuri, Bahman., Fathi, Nima.
Baskı/Yayın Bilgisi 2015

İçindekiler: “... Properties -- Appendix E: Fluid Property Data -- Appendix F: Basic Equations....”
Tam Metin Erişim

Elektronik Ekitap

15

Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Answer Set Programming: A tour from the basics to advanced development tools and industrial applications....”
Tam Metin Erişim

Elektronik Ekitap

16

Poverty and Equity Measurement, Policy and Estimation with DAD /

Yazar: Duclos, Jean-Yves., Duclos, Jean-Yves., Araar, Abdelkrim.
Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Measuring Poverty -- Estimating Poverty Lines -- Measuring Progressivity and Vertical Equity -- Horizontal...”
Tam Metin Erişim

Elektronik Ekitap

17

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs -- Object-Oriented Specification...”
Tam Metin Erişim

Elektronik Ekitap

18

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Platform and Open Source Environments -- Progress on Crossing Number Problems -- Full Contributed Papers...”
Tam Metin Erişim

Elektronik Ekitap

19

Simulating Complex Systems by Cellular Automata

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Software -- Parallel Cellular Programming for Emergent Computation....”
Tam Metin Erişim

Elektronik Ekitap

20

Optimization Based Data Mining: Theory and Applications

Yazar: Shi, Yong., Shi, Yong., Tian, Yingjie., Kou, Gang., Peng, Yi., Li, Jianping.
Baskı/Yayın Bilgisi 2011

İçindekiler: “... Criteria Quadratic Programming.-A General Multiple Mathematical Programming -- Multi-criteria Convex...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt