Arama Sonuçları - program computation https functionality do https

1

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

2

Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Its Relation to Greedoids -- On Arithmetic Computations with Hereditarily Finite Sets, Functions...”
Tam Metin Erişim

Elektronik Ekitap

3

Programming Logics Essays in Memory of Harald Ganzinger /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Supporting Attribution (Haskell Can Do It) -- The Blossom of Finite Semantic Trees -- Functional Logic...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Tam Metin Erişim

Elektronik Ekitap

5

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Yazar: Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Baskı/Yayın Bilgisi 2005

İçindekiler: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Tam Metin Erişim

Elektronik Ekitap

7

Programming Finite Elements in Java™

Yazar: Nikishkov, Gennadiy P., Nikishkov, Gennadiy P.
Baskı/Yayın Bilgisi 2010

İçindekiler: “... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
Tam Metin Erişim

Elektronik Ekitap

8

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Tam Metin Erişim

Elektronik Ekitap

9

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /

Yazar: Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Baskı/Yayın Bilgisi 2015

İçindekiler: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
Tam Metin Erişim

Elektronik Ekitap

10

VEE Pro: Practical Graphical Programming

Yazar: Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Baskı/Yayın Bilgisi 2005

İçindekiler: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Tam Metin Erişim

Elektronik Ekitap

11

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Do We Really Understand the Crossing Numbers? -- Balanced Queries: Divide and Conquer -- Slowly...”
Tam Metin Erişim

Elektronik Ekitap

12

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”
Tam Metin Erişim

Elektronik Ekitap

13

Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... as Requirements -- What Do Practitioners Vary in Using Scrum? -- Key Challenges in Early-Stage Software Startups...”
Tam Metin Erişim

Elektronik Ekitap

14

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”
Tam Metin Erişim

Elektronik Ekitap

15

Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Extensions for Dynamic Systems -- Service Management 1 -- Who Do You Call? Problem Resolution through Social...”
Tam Metin Erişim

Elektronik Ekitap

16

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Toposes Are Adhesive -- Extensions for Distributed and Global Computing -- Graph Transactions as Processes...”
Tam Metin Erişim

Elektronik Ekitap

17

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Forward Secure Communication in Wireless Sensor Networks -- Mechanisms -- Low Rate DoS Attack...”
Tam Metin Erişim

Elektronik Ekitap

18

Brain-Computer Interfaces An international assessment of research and development trends /

Yazar: Berger, Theodore W., Berger, Theodore W., Chapin, John K., Gerhardt, Greg A., McFarland, Dennis J., Principe, Jose C., Soussou, Walid V., Taylor, Dawn M., Tresco, Patrick A.
Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Hardware Implementation -- Functional Electrical Stimulation and Rehabilitation Applications of BCIs...”
Tam Metin Erişim

Elektronik Ekitap

19

Evolutionary Statistical Procedures An Evolutionary Computation Approach to Statistical Procedures Designs and Applications /

Yazar: Baragona, Roberto., Baragona, Roberto., Battaglia, Francesco., Poli, Irene.
Baskı/Yayın Bilgisi 2011

İçindekiler: “...Introduction -- Evolutionary Computation -- Evolving Regression Models -- Time Series Linear...”
Tam Metin Erişim

Elektronik Ekitap

20

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt