Search Results - programs practice https functionality setting https

Search alternatives:
functionality setting » functionality testing , functionality securing , functional setting
https functionality » its functionality , bags functionality , cross functionality
programs practice » programs practices , program practice , programs practical
practice https » practice has , practice hot , pragmatics https
setting https » being https , writing https , feeding https

Drawing Programs: The Theory and Practice of Schematic Functional Programming

by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010

Table of Contents: “... Maps and Mechanisms -- Functional Thinking -- Thinking Practically -- Side-Effect Programming...”
View full text

Electronic eBook

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Published 2006

Table of Contents: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
View full text

Electronic eBook

Genetic Programming Theory and Practice II

Published 2005

Table of Contents: “...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...”
View full text

Electronic eBook

Handbook of Clinical Psychology in Medical Settings Evidence-Based Assessment and Intervention /

Published 2014

Table of Contents: “... -- PRACTICE IN A RURAL SETTING -- MEDICAL SPECIALTIES AND SETTINGS -- PRIMARY CARE: THE HUB OF THE SPOKE...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Published 2010

Table of Contents: “... Based on Extremal Functions -- Exponential Propagation for Set Variables -- Applications Track...”
View full text

Electronic eBook

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
View full text

Electronic eBook

Practical Clojure

by VanderHart, Luke., VanderHart, Luke., Sierra, Stuart.
Published 2010

Table of Contents: “...The Clojure Way -- The Clojure Environment -- Controlling Program Flow -- Data in Clojure...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /

Published 2005

Table of Contents: “... Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a More Practical...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Published 2006

Table of Contents: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
View full text

Electronic eBook

Set-Theoretic Methods in Control

by Blanchini, Franco., Blanchini, Franco., Miani, Stefano.
Published 2015

Table of Contents: “...Preface -- Introduction -- Lyapunov and Lyapunov-like Function -- Convex Sets...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Published 2010

Table of Contents: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
View full text

Electronic eBook

Expert PL/SQL Practices for Oracle Developers and DBAs /

by Rosenblum, Michael., Rosenblum, Michael., Delmolino, Dominic., Cunningham, Lewis., Shamsudeen, Riyaj., McDonald, Connor., Caffrey, Melanie., Harper, Sue., Holm, Torben., Sands, Robyn., Beresniewicz, John., Crisco, Ron., Bchi, Martin., Billington, Adrian., Petit, Stephan., Nanda, Arup.
Published 2011

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

Electronic eBook

Optimization—Theory and Practice

by Forst, Wilhelm., Forst, Wilhelm., Hoffmann, Dieter.
Published 2010

Table of Contents: “...: Convex Sets, Inequalities, Local First- and Second-Order Optimality Conditions, Duality -- 3...”
View full text

Electronic eBook

In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman /

Published 2013

Table of Contents: “... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...”
View full text

Electronic eBook

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”
View full text

Electronic eBook

Practical MythTV Building a PVR and Media Center PC /

by Still, Michael., Still, Michael., Smith, Stewart.
Published 2007

Table of Contents: “... -- Performing Advanced TV Recording -- Exploring MythTV Functionality -- Setting Up MythTV Themes -- Running...”
View full text

Electronic eBook

Practical Web 2.0 Applications with PHP

by Zervaas, Quentin., Zervaas, Quentin.
Published 2008

Table of Contents: “...Application Planning and Design -- Setting Up the Application Framework -- User Authentication...”
View full text

Electronic eBook

Practical Load Balancing Ride the Performance Tiger /

by Membrey, Peter., Membrey, Peter., Plugge, Eelco., Hows, David.
Published 2012

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Decision and Game Theory in Management With Intuitionistic Fuzzy Sets

by Li, Deng-Feng., Li, Deng-Feng.
Published 2014

Table of Contents: “... Intuitionistic Fuzzy Set Matrix Games and Linear or Nonlinear Programming Methods -- Chapter 8 Interval-Valued...”
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

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

Narrow Search