Search Results - program summary https functionality programs https

1

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

Published 2005

Table of Contents: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
View full text

Electronic eBook

2

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Published 2005

Table of Contents: “... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...”
View full text

Electronic eBook

3

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Published 2007

Table of Contents: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
View full text

Electronic eBook

4

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

5

Introduction to Stochastic Programming

by Birge, John R., Birge, John R., Louveaux, François.
Published 2011

Table of Contents: “... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
View full text

Electronic eBook

6

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

by Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Published 2015

Table of Contents: “...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
View full text

Electronic eBook

7

An Introduction to Python and Computer Programming

by Zhang, Yue., Zhang, Yue.
Published 2015

Table of Contents: “... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...”
View full text

Electronic eBook

8

Web Programming with PHP and MySQL A Practical Guide /

by Bramer, Max., Bramer, Max.
Published 2015

Table of Contents: “... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...”
View full text

Electronic eBook

9

IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids /

by John, Karl Heinz., John, Karl Heinz., Tiegelkamp, Michael.
Published 2010

Table of Contents: “...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...”
View full text

Electronic eBook

10

Functional Magnetic Resonance Imaging Processing

by Li, Xingfeng., Li, Xingfeng.
Published 2014

Table of Contents: “... -- AIF selection -- Dispersion effects in DSC-MRI -- -Summary of the PWI algorithm -- First level fMRI...”
View full text

Electronic eBook

11

Guide to HTML, JavaScript and PHP For Scientists and Engineers /

by Brooks, David R., Brooks, David R.
Published 2011

Table of Contents: “... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...”
View full text

Electronic eBook

12

Beginning Google Web Toolkit From Novice to Professional /

by Smeets, Bram., Smeets, Bram., Boness, Uri., Bankras, Roald.
Published 2008

Table of Contents: “... -- Functional Testing -- Benchmarking -- Summary -- Advanced Topics -- Localization -- ImageBundle -- Back...”
View full text

Electronic eBook

13

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Published 2006

Table of Contents: “... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”
View full text

Electronic eBook

14

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “... of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking...”
View full text

Electronic eBook

15

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2013

Table of Contents: “... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”
View full text

Electronic eBook

16

An Introduction to PHP for Scientists and Engineers Beyond JavaScript /

by Brooks, David R., Brooks, David R.
Published 2008

Table of Contents: “...Creating a Server-Side Environment for PHP -- Working with PHP -- PHP Arrays -- Summary of Selected...”
View full text

Electronic eBook

17

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
View full text

Electronic eBook

18

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
View full text

Electronic eBook

19

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Published 2010

Table of Contents: “...-Based Views -- Workshop — MoDeVVa -- MoDeVVa Workshop Summary -- From UML to Alloy and Back Again...”
View full text

Electronic eBook

20

Formal Refinement for Operating System Kernels

by Craig, Iain D., Craig, Iain D.
Published 2007

Table of Contents: “....-Basic Architecture -- Extending the Architecture -- Summary -- An Overview of the Formal Specification...”
View full text

Electronic eBook

Narrow Search