Search Results - program computation https functionality computing https

1

Mathematical and Computer Programming Techniques for Computer Graphics

by Comninos, Peter., Comninos, Peter.
Published 2006

Subjects: “...Computer programming....”
View full text

Electronic eBook

2

Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /

Published 2012

Subjects: “...Computer programming....”
View full text

Electronic eBook

3

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /

Published 2014

Subjects: “...Computer programming....”
View full text

Electronic eBook

4

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
View full text

Electronic eBook

5

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Published 2013

Table of Contents: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
View full text

Electronic eBook

6

An Introduction to Python and Computer Programming

by Zhang, Yue., Zhang, Yue.
Published 2015

Table of Contents: “...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...”
View full text

Electronic eBook

7

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

Published 2008

Table of Contents: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
View full text

Electronic eBook

8

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

Published 2006

Table of Contents: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
View full text

Electronic eBook

9

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Published 2011

Subjects: “...Programming languages (Electronic computers)....”
View full text

Electronic eBook

10

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

Published 2013

Table of Contents: “...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”
View full text

Electronic eBook

11

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

Published 2010

Table of Contents: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
View full text

Electronic eBook

12

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

Published 2014

Subjects: “...Programming languages (Electronic computers)....”
View full text

Electronic eBook

13

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings /

Published 2012

Subjects: “...Programming languages (Electronic computers)....”
View full text

Electronic eBook

14

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

Published 2005

Table of Contents: “... Functional Programs....”
View full text

Electronic eBook

15

Stochastic Linear Programming Models, Theory, and Computation /

by Kall, Peter., Kall, Peter., Mayer, János.
Published 2005

Table of Contents: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
View full text

Electronic eBook

16

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Published 2006

Table of Contents: “... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”
View full text

Electronic eBook

17

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Published 2010

Table of Contents: “... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”
View full text

Electronic eBook

18

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

Published 2007

Table of Contents: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
View full text

Electronic eBook

19

Stochastic Linear Programming Models, Theory, and Computation /

by Kall, Peter., Kall, Peter., Mayer, János.
Published 2011

Subjects: “...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
View full text

Electronic eBook

20

Drawing Programs: The Theory and Practice of Schematic Functional Programming

by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010

Table of Contents: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text

Electronic eBook

Narrow Search