Arama Sonuçları - program computing https function some https

1

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

2

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
Tam Metin Erişim

Elektronik Ekitap

3

Mathematical and Computer Programming Techniques for Computer Graphics

Yazar: Comninos, Peter., Comninos, Peter.
Baskı/Yayın Bilgisi 2006

Konular: “...Computer programming....”
Tam Metin Erişim

Elektronik Ekitap

4

A Beginner's Guide to Scala, Object Orientation and Functional Programming

Yazar: Hunt, John., Hunt, John.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra -- Some...”
Tam Metin Erişim

Elektronik Ekitap

7

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support...”
Tam Metin Erişim

Elektronik Ekitap

8

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Invited Lectures -- Ushering in a New Era of Algorithm Design -- A “proof-reading” of Some Issues...”
Tam Metin Erişim

Elektronik Ekitap

9

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”
Tam Metin Erişim

Elektronik Ekitap

10

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Tam Metin Erişim

Elektronik Ekitap

11

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence /

Yazar: Ferreira, Candida., Ferreira, Candida.
Baskı/Yayın Bilgisi 2006

İçindekiler: “...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
Tam Metin Erişim

Elektronik Ekitap

12

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Baskı/Yayın Bilgisi 2014

İçindekiler: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Tam Metin Erişim

Elektronik Ekitap

13

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Baskı/Yayın Bilgisi 2010

İçindekiler: “.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”
Tam Metin Erişim

Elektronik Ekitap

14

packetC Programming

Yazar: Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Baskı/Yayın Bilgisi 2011

Konular: “...Computer programming....”
Tam Metin Erişim

Elektronik Ekitap

15

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

Yazar: Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Baskı/Yayın Bilgisi 2012

İçindekiler: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Tam Metin Erişim

Elektronik Ekitap

16

Introduction to the Theory of Programming Languages

Yazar: Dowek, Gilles., Dowek, Gilles., Lévy, Jean-Jacques.
Baskı/Yayın Bilgisi 2011

Konular: “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Tam Metin Erişim

Elektronik Ekitap

17

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

18

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

19

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Reducibilities -- Streaming Algorithms for Some Problems in Log-Space -- Temperature Aware Online Scheduling...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Yazar: Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt