Resultats de la cerca - programs computing https functionality 4 https

1

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

per Horváth, Zoltán., Horváth, Zoltán.
Publicat 2006

Taula de continguts: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Obtenir text complet

Electrònic eBook

2

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /

Publicat 2011

Matèries: “...Programming languages (Electronic computers)....”
Obtenir text complet

Electrònic eBook

3

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /

Publicat 2014

Matèries: “...Programming languages (Electronic computers)....”
Obtenir text complet

Electrònic eBook

4

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Publicat 2007

Taula de continguts: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Obtenir text complet

Electrònic eBook

5

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

Publicat 2006

Taula de continguts: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Obtenir text complet

Electrònic eBook

6

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers /

Publicat 2012

Matèries: “...Computer programming....”
Obtenir text complet

Electrònic eBook

7

Trends in Functional Programming 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers /

Publicat 2013

Taula de continguts: “...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”
Obtenir text complet

Electrònic eBook

8

Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010...

Publicat 2011

Matèries: “...Programming languages (Electronic computers)....”
Obtenir text complet

Electrònic eBook

9

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Publicat 2011

Matèries: “...Programming languages (Electronic computers)....”
Obtenir text complet

Electrònic eBook

10

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers /

Publicat 2010

Taula de continguts: “...Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using...”
Obtenir text complet

Electrònic eBook

11

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Publicat 2010

Taula de continguts: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Obtenir text complet

Electrònic eBook

12

Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings /

Publicat 2011

Matèries: “...Programming languages (Electronic computers)....”
Obtenir text complet

Electrònic eBook

13

Learning MATLAB A Problem Solving Approach /

per Gander, Walter., Gander, Walter.
Publicat 2015

Taula de continguts: “... Functions and Curves -- Chapter 4. Some Elementary Functions -- Chapter 5. Computing with Multiple Precision...”
Obtenir text complet

Electrònic eBook

14

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings /

Publicat 2011

Matèries: “...Programming languages (Electronic computers)....”
Obtenir text complet

Electrònic eBook

15

Python Scripting for Computational Science

per Langtangen, Hans Petter., Langtangen, Hans Petter.
Publicat 2008

Taula de continguts: “...Getting Started with Python Scripting -- Basic Python -- Numerical Computing in Python -- Combining...”
Obtenir text complet

Electrònic eBook

16

A Primer on Scientific Programming with Python

per Langtangen, Hans Petter., Langtangen, Hans Petter.
Publicat 2014

Taula de continguts: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Obtenir text complet

Electrònic eBook

17

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /

Publicat 2006

Taula de continguts: “... Programming -- A Functional Program for Agents, Actions, and Deontic Specifications....”
Obtenir text complet

Electrònic eBook

18

MATLAB Matrix Algebra

per Lopez, Cesar., Lopez, Cesar.
Publicat 2014

Matèries: “...Programming languages (Electronic computers)....”
Obtenir text complet

Electrònic eBook

19

Mathematica®: A Problem-Centered Approach

per Hazrat, Roozbeh., Hazrat, Roozbeh.
Publicat 2010

Taula de continguts: “... -- 1.4 Trigonometric computations -- 1.5 Variables -- 1.6 Equalities =, :=, == -- 1.7 Dynamic variables...”
Obtenir text complet

Electrònic eBook

20

Arithmetic of Finite Fields Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010, Proceedings /

Publicat 2010

Taula de continguts: “...-Based Protocols in the Type 1 and Type 4 Settings -- Functions, Equations and Modular Multiplication...”
Obtenir text complet

Electrònic eBook

Refinar cerca