Sökresultat - ((functions computation) or (functions computational)) programming using theory case*

1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”
Hämta fulltext

Elektronisk E-bok

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning...”
Hämta fulltext

Elektronisk E-bok

3

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /

Publicerad 2008

Innehållsförteckning: “... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”
Hämta fulltext

Elektronisk E-bok

4

Stochastic Linear Programming Models, Theory, and Computation /

av Kall, Peter., Kall, Peter., Mayer, János.
Publicerad 2005

Innehållsförteckning: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Hämta fulltext

Elektronisk E-bok

5

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”
Hämta fulltext

Elektronisk E-bok

6

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... -- Clique-Width for Four-Vertex Forbidden Subgraphs -- Computational Game Theory -- On the Complexity...”
Hämta fulltext

Elektronisk E-bok

7

Stochastic Control Theory Dynamic Programming Principle /

av Nisio, Makiko., Nisio, Makiko.
Publicerad 2015

Ämnen: “...Functional analysis....”
Hämta fulltext

Elektronisk E-bok

8

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...

Publicerad 2013

Innehållsförteckning: “... Automata with Restricted Alphabets -- Random Generation of Deterministic Acyclic Automata Using...”
Hämta fulltext

Elektronisk E-bok

9

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
Hämta fulltext

Elektronisk E-bok

10

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Publicerad 2008

Innehållsförteckning: “... Communication Networks Using Evolutionary Algorithm -- A New GA – Based and Graph Theory Supported Distribution...”
Hämta fulltext

Elektronisk E-bok

11

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Publicerad 2005

Innehållsförteckning: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Hämta fulltext

Elektronisk E-bok

12

Convex Functions and their Applications A Contemporary Approach /

av Niculescu, Constantin., Niculescu, Constantin., Persson, Lars-Erik.
Publicerad 2006

Innehållsförteckning: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Hämta fulltext

Elektronisk E-bok

13

Genetic Programming Theory and Practice III

Publicerad 2006

Innehållsförteckning: “...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...”
Hämta fulltext

Elektronisk E-bok

14

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow...”
Hämta fulltext

Elektronisk E-bok

15

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...”
Hämta fulltext

Elektronisk E-bok

16

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

Publicerad 2007

Innehållsförteckning: “... Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo...”
Hämta fulltext

Elektronisk E-bok

17

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

Publicerad 2007

Innehållsförteckning: “... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”
Hämta fulltext

Elektronisk E-bok

18

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Publicerad 2008

Innehållsförteckning: “... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...”
Hämta fulltext

Elektronisk E-bok

19

Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “...Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory...”
Hämta fulltext

Elektronisk E-bok

20

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen