Αποτελέσματα αναζήτησης - program computing https functionality iv https

1

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

ανά Horváth, Zoltán., Horváth, Zoltán.
Έκδοση 2006

Πίνακας περιεχομένων: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

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

Έκδοση 2011

Θέματα: “...Programming languages (Electronic computers)....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

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

Έκδοση 2014

Θέματα: “...Programming languages (Electronic computers)....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

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

Έκδοση 2007

Πίνακας περιεχομένων: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

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

Έκδοση 2006

Πίνακας περιεχομένων: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

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

Έκδοση 2012

Θέματα: “...Computer programming....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

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

Έκδοση 2013

Πίνακας περιεχομένων: “...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

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

Έκδοση 2011

Θέματα: “...Programming languages (Electronic computers)....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

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

Έκδοση 2011

Θέματα: “...Programming languages (Electronic computers)....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

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

Έκδοση 2010

Πίνακας περιεχομένων: “...Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

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

Έκδοση 2010

Πίνακας περιεχομένων: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

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

Έκδοση 2011

Θέματα: “...Programming languages (Electronic computers)....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

Learning MATLAB A Problem Solving Approach /

ανά Gander, Walter., Gander, Walter.
Έκδοση 2015

Πίνακας περιεχομένων: “... Functions and Curves -- Chapter 4. Some Elementary Functions -- Chapter 5. Computing with Multiple Precision...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

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

Έκδοση 2011

Θέματα: “...Programming languages (Electronic computers)....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Python Scripting for Computational Science

ανά Langtangen, Hans Petter., Langtangen, Hans Petter.
Έκδοση 2008

Πίνακας περιεχομένων: “...Getting Started with Python Scripting -- Basic Python -- Numerical Computing in Python -- Combining...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

A Primer on Scientific Programming with Python

ανά Langtangen, Hans Petter., Langtangen, Hans Petter.
Έκδοση 2014

Πίνακας περιεχομένων: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

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

Έκδοση 2006

Πίνακας περιεχομένων: “... Programming -- A Functional Program for Agents, Actions, and Deontic Specifications....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

MATLAB Matrix Algebra

ανά Lopez, Cesar., Lopez, Cesar.
Έκδοση 2014

Θέματα: “...Programming languages (Electronic computers)....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Mathematica®: A Problem-Centered Approach

ανά Hazrat, Roozbeh., Hazrat, Roozbeh.
Έκδοση 2010

Πίνακας περιεχομένων: “... -- 1.4 Trigonometric computations -- 1.5 Variables -- 1.6 Equalities =, :=, == -- 1.7 Dynamic variables...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

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

Έκδοση 2010

Πίνακας περιεχομένων: “...-Based Protocols in the Type 1 and Type 4 Settings -- Functions, Equations and Modular Multiplication...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης