Výsledky vyhledávání - functions ((computational programming) or (computing programming)) definition based text*

1

The Definitive Guide to HTML5

Autor Freeman, Adam., Freeman, Adam.
Vydáno 2011

Témata: “...Computer programming....”
Získat plný text

Elektronický zdroj E-kniha

2

Stochastic Linear Programming Models, Theory, and Computation /

Autor Kall, Peter., Kall, Peter., Mayer, János.
Vydáno 2005

Obsah: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Získat plný text

Elektronický zdroj E-kniha

3

The Definitive Guide to Magento

Autor McCombs, Adam., McCombs, Adam., Banh, Robert.
Vydáno 2010

Témata: “...Computer programming....”
Získat plný text

Elektronický zdroj E-kniha

4

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Vydáno 2006

Obsah: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Získat plný text

Elektronický zdroj E-kniha

5

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

Vydáno 2008

Obsah: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Získat plný text

Elektronický zdroj E-kniha

6

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Vydáno 2006

Obsah: “... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...”
Získat plný text

Elektronický zdroj E-kniha

7

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

Autor John, Karl Heinz., John, Karl Heinz., Tiegelkamp, Michael.
Vydáno 2010

Obsah: “...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...”
Získat plný text

Elektronický zdroj E-kniha

8

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

Vydáno 2005

Obsah: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Získat plný text

Elektronický zdroj E-kniha

9

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Vydáno 2007

Obsah: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Získat plný text

Elektronický zdroj E-kniha

10

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Vydáno 2010

Obsah: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
Získat plný text

Elektronický zdroj E-kniha

11

VEE Pro: Practical Graphical Programming

Autor Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Vydáno 2005

Obsah: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Získat plný text

Elektronický zdroj E-kniha

12

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Vydáno 2012

Obsah: “... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”
Získat plný text

Elektronický zdroj E-kniha

13

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Vydáno 2014

Obsah: “... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...”
Získat plný text

Elektronický zdroj E-kniha

14

Modelling Computing Systems Mathematics for Computer Science /

Autor Moller, Faron., Moller, Faron., Struth, Georg.
Vydáno 2013

Obsah: “... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...”
Získat plný text

Elektronický zdroj E-kniha

15

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Vydáno 2007

Obsah: “... -- Controlling Process Modularity in Mobile Computing -- Failures: Their Definition, Modelling and Analysis -- C...”
Získat plný text

Elektronický zdroj E-kniha

16

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings /

Vydáno 2008

Obsah: “... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”
Získat plný text

Elektronický zdroj E-kniha

17

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Vydáno 2013

Obsah: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Získat plný text

Elektronický zdroj E-kniha

18

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Vydáno 2015

Obsah: “... Extensions -- Analysis of Asynchronous Programs with Event-Based Synchronization -- A Semantics...”
Získat plný text

Elektronický zdroj E-kniha

19

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings /

Vydáno 2007

Obsah: “... and Applications -- Policy-Based Computing: From Systems and Applications to Theory -- The First Answer Set...”
Získat plný text

Elektronický zdroj E-kniha

20

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Vydáno 2006

Obsah: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání