Arama Sonuçları - program computing https functions work https

1

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Tam Metin Erişim

Elektronik Ekitap

2

Drawing Programs: The Theory and Practice of Schematic Functional Programming

Yazar: Addis, Tom., Addis, Tom., Addis, Jan.
Baskı/Yayın Bilgisi 2010

İçindekiler: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Tam Metin Erişim

Elektronik Ekitap

5

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2011

Konular: “...Programming languages (Electronic computers)....”
Tam Metin Erişim

Elektronik Ekitap

8

Functional and Phylogenetic Ecology in R

Yazar: Swenson, Nathan G., Swenson, Nathan G.
Baskı/Yayın Bilgisi 2014

İçindekiler: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Tam Metin Erişim

Elektronik Ekitap

9

S+Functional Data Analysis User's Manual for Windows ® /

Yazar: Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Baskı/Yayın Bilgisi 2005

İçindekiler: “...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”
Tam Metin Erişim

Elektronik Ekitap

10

Stochastic Linear Programming Models, Theory, and Computation /

Yazar: Kall, Peter., Kall, Peter., Mayer, János.
Baskı/Yayın Bilgisi 2011

Konular: “...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
Tam Metin Erişim

Elektronik Ekitap

11

Reflections on the Work of C.A.R. Hoare

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Insight, Inspiration and Collaboration -- From CSP to Game Semantics -- On Mereologies in Computing...”
Tam Metin Erişim

Elektronik Ekitap

12

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Proof and Computation -- Towards Rewriting in Coq -- Superdeduction at Work -- Remarks on Semantic...”
Tam Metin Erişim

Elektronik Ekitap

13

Programming Logics Essays in Memory of Harald Ganzinger /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”
Tam Metin Erişim

Elektronik Ekitap

14

Learn to Program with C

Yazar: Kalicharan, Noel., Kalicharan, Noel.
Baskı/Yayın Bilgisi 2015

İçindekiler: “.... Programs with Selection Logic -- 5. Programs with Repetition Logic -- 6. Working with Characters...”
Tam Metin Erişim

Elektronik Ekitap

15

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”
Tam Metin Erişim

Elektronik Ekitap

16

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”
Tam Metin Erişim

Elektronik Ekitap

17

Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”
Tam Metin Erişim

Elektronik Ekitap

18

Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”
Tam Metin Erişim

Elektronik Ekitap

19

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”
Tam Metin Erişim

Elektronik Ekitap

20

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt