Search Results - program specialization https function using https

1

Network Performance Analysis Using the J Programming Language /

by Holt, Alan., Holt, Alan.
Published 2008

Table of Contents: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
View full text

Electronic eBook

2

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

3

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
View full text

Electronic eBook

4

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

Published 2005

Table of Contents: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
View full text

Electronic eBook

5

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

6

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
View full text

Electronic eBook

7

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Session 8 -- A Bytecode Logic for JML and Types -- On Jones-Optimal Specializers: A Case Study Using Unmix....”
View full text

Electronic eBook

8

Mathematics of Program Construction 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /

Published 2008

Table of Contents: “... Flattening -- Probabilistic Choice in Refinement Algebra -- Algebra of Programming Using Dependent Types...”
View full text

Electronic eBook

9

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text

Electronic eBook

10

Stochastic Linear Programming Models, Theory, and Computation /

by Kall, Peter., Kall, Peter., Mayer, János.
Published 2011

Subjects: “...Optimization. https://scigraph.springernature.com/ontologies/product-market-codes/M26008...”
View full text

Electronic eBook

11

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”
View full text

Electronic eBook

12

Adaptive Dynamic Programming for Control Algorithms and Stability /

by Zhang, Huaguang., Zhang, Huaguang., Liu, Derong., Luo, Yanhong., Wang, Ding.
Published 2013

Table of Contents: “... Systems via ADP -- Several Special Optimal Feedback Control Designs Based on ADP -- Zero-sum Games...”
View full text

Electronic eBook

13

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

14

VEE Pro: Practical Graphical Programming

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

Table of Contents: “... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
View full text

Electronic eBook

15

Fuzzy Stochastic Multiobjective Programming

by Sakawa, Masatoshi., Sakawa, Masatoshi., Nishizaki, Ichiro., Katagiri, Hideki.
Published 2011

Table of Contents: “... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
View full text

Electronic eBook

16

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
View full text

Electronic eBook

17

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”
View full text

Electronic eBook

18

Quadratic Programming and Affine Variational Inequalities A Qualitative Study /

by Lee, Gue Myung., Lee, Gue Myung., Tam, N.N., Yen, Nguyen Dong.
Published 2005

Table of Contents: “... in Quadratic Programming -- Continuity of the Optimal Value Function in Quadratic Programming -- Directional...”
View full text

Electronic eBook

19

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /

by Kormanyos, Christopher., Kormanyos, Christopher.
Published 2015

Table of Contents: “... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text

Electronic eBook

20

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: “... Constraint Using Linear Programming -- Sweeping with Continuous Domains -- A New Hybrid Tractable Class...”
View full text

Electronic eBook

Narrow Search