Search Results - program code program functionality do https

Search alternatives:
program functionality » protein functionality , programs functional , supra functionality
functionality do » functionality _, functionality pt , functionality 4
program code » program model , program models , program c
code program » coe program , core program , cone program
do https » zoo https

Programming Logics Essays in Memory of Harald Ganzinger /

Published 2013

Table of Contents: “... Supporting Attribution (Haskell Can Do It) -- The Blossom of Finite Semantic Trees -- Functional Logic...”
View full text

Electronic eBook

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

by Hunt, John., Hunt, John.
Published 2014

Table of Contents: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text

Electronic eBook

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

by Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Published 2005

Table of Contents: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
View full text

Electronic eBook

Programming Finite Elements in Java™

by Nikishkov, Gennadiy P., Nikishkov, Gennadiy P.
Published 2010

Table of Contents: “... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text

Electronic eBook

VEE Pro: Practical Graphical Programming

by Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Published 2005

Table of Contents: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “...A Duplicated Code Refactoring Advisor -- Expectations and Challenges from Scaling Agile...”
View full text

Electronic eBook

Optimization Theory and Methods Nonlinear Programming /

by Sun, Wenyu., Sun, Wenyu., Yuan, Ya-Xiang.
Published 2006

Table of Contents: “... of Constrained Optimization -- Quadratic Programming -- Penalty Function Methods -- Feasible Direction Methods...”
View full text

Electronic eBook

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

by Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Published 2015

Table of Contents: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text

Electronic eBook

Beginning R An Introduction to Statistical Programming /

by Pace, Larry., Pace, Larry., Wiley, Joshua.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Beginning R An Introduction to Statistical Programming /

by Pace, Larry., Pace, Larry.
Published 2012

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

C++ 14 Quick Syntax Reference Second Edition /

by Olsson, Mikael., Olsson, Mikael.
Published 2015

Table of Contents: “.... References -- 7. Arrays -- 8. String -- 9. Conditionals -- 10. Loops -- 11. Functions -- 12. Class -- 13...”
View full text

Electronic eBook

Beginning Haskell A Project-Based Approach /

by Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Published 2014

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

Beginning Django CMS

by George, Nigel., George, Nigel.
Published 2015

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

Xamarin Mobile Application Development Cross-Platform C# and Xamarin.Forms Fundamentals /

by Hermes, Dan., Hermes, Dan.
Published 2015

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

Expert F# 4.0

by Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Cryptography in C and C++

by Welschenbach, Michael., Welschenbach, Michael.
Published 2005

Table of Contents: “... -- Where All Roads Meet: Modular Exponentiation -- Bitwise and Logical Functions -- Input, Output...”
View full text

Electronic eBook

1
2
3
4
5
6
7
8
9
10
Next »
[10]

Narrow Search