תוצאות חיפוש - (progress or program) in mathematical tools,

1

Genetic Systems Programming Theory and Experiences /

יצא לאור 2006

תוכן הענינים: “...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

Metaheuristics Progress in Complex Systems Optimization /

יצא לאור 2007

תוכן הענינים: “... Metaheuristics -- Algorithm Tuning, Algorithm Design and Software Tools -- Using Experimental Design to Analyze...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

3

Geography of Order and Chaos in Mechanics Investigations of Quasi-Integrable Systems with Analytical, Numerical, and Graphical Tools /

מאת Cordani, Bruno., Cordani, Bruno.
יצא לאור 2013

תוכן הענינים: “... Systems -- 3 Perturbation Theory -- 4 Numerical Tools I: ODE Integration -- 5 Numerical Tools II...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

4

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

יצא לאור 2005

תוכן הענינים: “...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

Mathematics of Financial Markets

מאת Elliott, Robert J., Elliott, Robert J., Kopp, P. Ekkehard.
יצא לאור 2005

נושאים: “...Economics, Mathematical ....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

Mathematical Problems in Image Processing Partial Differential Equations and the Calculus of Variations /

מאת Aubert, Gilles., Aubert, Gilles., Kornprobst, Pierre.
יצא לאור 2006

תוכן הענינים: “...Foreword -- Preface to the Second Edition -- Preface -- Guide to the Main Mathematical Concepts...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

7

Discrete Mathematics Using a Computer

מאת O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
יצא לאור 2006

תוכן הענינים: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

יצא לאור 2012

תוכן הענינים: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings /

יצא לאור 2011

נושאים: “...Programming languages (Electronic computers)....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

יצא לאור 2005

תוכן הענינים: “...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

Introducing Monte Carlo Methods with R

מאת Robert, Christian., Robert, Christian., Casella, George.
יצא לאור 2010

תוכן הענינים: “...Basic R Programming -- Random Variable Generation -- Monte Carlo Integration -- Controlling...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

13

Nonsmooth Vector Functions and Continuous Optimization

מאת Jeyakumar, V., Jeyakumar, V., Luc, Dinh The.
יצא לאור 2008

תוכן הענינים: “... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

14

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

יצא לאור 2005

תוכן הענינים: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /

יצא לאור 2013

תוכן הענינים: “... -- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls -- Realizations...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

16

Advances in Geometric Modeling and Processing 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... Reconstruction -- Progressive Interpolation Using Loop Subdivision Surfaces -- Protein Surface Modeling Using...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

17

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

יצא לאור 2008

תוכן הענינים: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

18

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

יצא לאור 2015

תוכן הענינים: “... -- Answer Set Programming: A tour from the basics to advanced development tools and industrial applications....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

19

Poverty and Equity Measurement, Policy and Estimation with DAD /

מאת Duclos, Jean-Yves., Duclos, Jean-Yves., Araar, Abdelkrim.
יצא לאור 2006

תוכן הענינים: “... -- Measuring Poverty -- Estimating Poverty Lines -- Measuring Progressivity and Vertical Equity -- Horizontal...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

20

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

יצא לאור 2013

תוכן הענינים: “... Mathematics -- CMF: a combinatorial tool to find composite motifs -- Hill-climbing Behaviour on Quantized NK...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש