検索結果 - interactions computer program ((program function) OR (programs functional)) https

1

Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /

出版事項 2005

目次: “... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”
全文の入手

電子媒体 eBook

2

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

出版事項 2008

目次: “... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”
全文の入手

電子媒体 eBook

3

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

出版事項 2006

目次: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
全文の入手

電子媒体 eBook

4

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

出版事項 2005

目次: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
全文の入手

電子媒体 eBook

5

Programming Languages An Active Learning Approach /

著者: Lee, Kent D., Lee, Kent D.
出版事項 2008

目次: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
全文の入手

電子媒体 eBook

6

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

出版事項 2008

目次: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
全文の入手

電子媒体 eBook

7

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

出版事項 2007

目次: “... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”
全文の入手

電子媒体 eBook

8

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

出版事項 2005

目次: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
全文の入手

電子媒体 eBook

9

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

出版事項 2008

目次: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
全文の入手

電子媒体 eBook

10

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

出版事項 2010

目次: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
全文の入手

電子媒体 eBook

11

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

出版事項 2014

目次: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
全文の入手

電子媒体 eBook

12

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

出版事項 2015

目次: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
全文の入手

電子媒体 eBook

13

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

出版事項 2015

目次: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
全文の入手

電子媒体 eBook

14

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

出版事項 2007

目次: “... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”
全文の入手

電子媒体 eBook

15

Python Programming Fundamentals

著者: Lee, Kent D., Lee, Kent D.
出版事項 2014

目次: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
全文の入手

電子媒体 eBook

16

Python Programming Fundamentals

著者: Lee, Kent D., Lee, Kent D.
出版事項 2011

目次: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
全文の入手

電子媒体 eBook

17

Foundations of Programming Languages

著者: Lee, Kent D., Lee, Kent D.
出版事項 2014

主題: “...Programming languages (Electronic computers)....”
全文の入手

電子媒体 eBook

18

Beginning Android Tablet Games Programming

著者: Kerfs, Jeremy., Kerfs, Jeremy.
出版事項 2011

主題: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
全文の入手

電子媒体 eBook

19

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

出版事項 2013

目次: “... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”
全文の入手

電子媒体 eBook

20

Programming Finite Elements in Java™

著者: Nikishkov, Gennadiy P., Nikishkov, Gennadiy P.
出版事項 2010

目次: “... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
全文の入手

電子媒体 eBook

絞込み検索