Resultats de la cerca - program been https functionality computing https

1

Mathematical and Computer Programming Techniques for Computer Graphics

per Comninos, Peter., Comninos, Peter.
Publicat 2006

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

Electrònic eBook

2

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

Publicat 2013

Taula de continguts: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Obtenir text complet

Electrònic eBook

3

An Introduction to Python and Computer Programming

per Zhang, Yue., Zhang, Yue.
Publicat 2015

Taula de continguts: “...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...”
Obtenir text complet

Electrònic eBook

4

Dynamic Programming A Computational Tool /

per Lew, Art., Lew, Art., Mauch, Holger.
Publicat 2007

Taula de continguts: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Obtenir text complet

Electrònic eBook

5

Stochastic Linear Programming Models, Theory, and Computation /

per Kall, Peter., Kall, Peter., Mayer, János.
Publicat 2005

Taula de continguts: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Obtenir text complet

Electrònic eBook

6

Stochastic Linear Programming Models, Theory, and Computation /

per Kall, Peter., Kall, Peter., Mayer, János.
Publicat 2011

Matèries: “...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
Obtenir text complet

Electrònic eBook

7

Boolean Function Complexity Advances and Frontiers /

per Jukna, Stasys., Jukna, Stasys.
Publicat 2012

Taula de continguts: “... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
Obtenir text complet

Electrònic eBook

8

Programming Languages An Active Learning Approach /

per Lee, Kent D., Lee, Kent D.
Publicat 2008

Taula de continguts: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Obtenir text complet

Electrònic eBook

9

Computational and Analytical Mathematics In Honor of Jonathan Borwein's 60th Birthday /

Publicat 2013

Taula de continguts: “... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”
Obtenir text complet

Electrònic eBook

10

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence /

per Ferreira, Candida., Ferreira, Candida.
Publicat 2006

Taula de continguts: “...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
Obtenir text complet

Electrònic eBook

11

packetC Programming

per Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Publicat 2011

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

Electrònic eBook

12

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

per Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Publicat 2012

Taula de continguts: “...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
Obtenir text complet

Electrònic eBook

13

Introduction to the Theory of Programming Languages

per Dowek, Gilles., Dowek, Gilles., Lévy, Jean-Jacques.
Publicat 2011

Matèries: “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Obtenir text complet

Electrònic eBook

14

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Publicat 2013

Taula de continguts: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
Obtenir text complet

Electrònic eBook

15

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Publicat 2006

Taula de continguts: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
Obtenir text complet

Electrònic eBook

16

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

per Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Publicat 2015

Taula de continguts: “...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
Obtenir text complet

Electrònic eBook

17

Nonlinear Integer Programming

per Li, Duan., Li, Duan., Sun, Xiaoling.
Publicat 2006

Taula de continguts: “... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...”
Obtenir text complet

Electrònic eBook

18

Adapting Proofs-as-Programs The Curry--Howard Protocol /

per Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Publicat 2005

Taula de continguts: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Obtenir text complet

Electrònic eBook

19

Quantifying Functional Biodiversity

per Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Publicat 2012

Taula de continguts: “...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Obtenir text complet

Electrònic eBook

20

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /

Publicat 2015

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

Electrònic eBook

Refinar cerca