Rezultaty - programs computing program functionality do https

Inne możliwości wyszukiwania:
program functionality » protein functionality , programs functional , supra functionality
programs computing » programs compiling , programs conducting , problems computing
computing program » comparing programs , computing progress , computer program
functionality do » functionality _, functionality pt , functionality 4
do https » zoo https

Programming Logics Essays in Memory of Harald Ganzinger /

Wydane 2013

Spis treści: “... Supporting Attribution (Haskell Can Do It) -- The Blossom of Finite Semantic Trees -- Functional Logic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

od Hunt, John., Hunt, John.
Wydane 2014

Spis treści: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

od Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Wydane 2005

Spis treści: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Finite Elements in Java™

od Nikishkov, Gennadiy P., Nikishkov, Gennadiy P.
Wydane 2010

Spis treści: “... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

VEE Pro: Practical Graphical Programming

od Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Wydane 2005

Spis treści: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... as Requirements -- What Do Practitioners Vary in Using Scrum? -- Key Challenges in Early-Stage Software Startups...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- Do We Really Understand the Crossing Numbers? -- Balanced Queries: Divide and Conquer -- Slowly...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... and Its Relation to Greedoids -- On Arithmetic Computations with Hereditarily Finite Sets, Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Beginning R An Introduction to Statistical Programming /

od Pace, Larry., Pace, Larry., Wiley, Joshua.
Wydane 2015

Hasła przedmiotowe: “...Programming languages (Electronic computers)....”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

od Hermes, Dan., Hermes, Dan.
Wydane 2015

Hasła przedmiotowe: “...Computer programming....”
Dokumenty pełnotekstowe

Elektroniczne E-book

Beginning R An Introduction to Statistical Programming /

od Pace, Larry., Pace, Larry.
Wydane 2012

Hasła przedmiotowe: “...Programming languages (Electronic computers)....”
Dokumenty pełnotekstowe

Elektroniczne E-book

C++ 14 Quick Syntax Reference Second Edition /

od Olsson, Mikael., Olsson, Mikael.
Wydane 2015

Spis treści: “.... References -- 7. Arrays -- 8. String -- 9. Conditionals -- 10. Loops -- 11. Functions -- 12. Class -- 13...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Optimization Theory and Methods Nonlinear Programming /

od Sun, Wenyu., Sun, Wenyu., Yuan, Ya-Xiang.
Wydane 2006

Spis treści: “... of Constrained Optimization -- Quadratic Programming -- Penalty Function Methods -- Feasible Direction Methods...”
Dokumenty pełnotekstowe

Elektroniczne E-book