Poišči alternative:
state programs » space programs, care programs, static program
program state » programs state, program started, program style
https » http
1
Izdano 2008
Kazalo: ... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...
Polni tekst
Elektronski eKnjiga
2
Izdano 2010
Kazalo: ... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...
Polni tekst
Elektronski eKnjiga
3
Izdano 2014
Kazalo: ... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...
Polni tekst
Elektronski eKnjiga
4
Izdano 2008
Kazalo: ... for Intuitionistic Propositional Logic -- Invited Talk -- Model Checking – My 27-Year Quest to Overcome the State...
Polni tekst
Elektronski eKnjiga
5
od Simon, Axel., Simon, Axel.
Izdano 2008
Kazalo: ... for C -- Core C -- Related Work -- Part 1 Abstracting Soundly -- Abstract State Space -- Points...
Polni tekst
Elektronski eKnjiga
6
Izdano 2013
Kazalo: ... Programs—John M. Crespi, Professor and Director of Graduate Studies, Kansas State University: and Richard D...
Polni tekst
Elektronski eKnjiga
7
Kazalo: ... for Health, Health Care, and Public Assistance Programs in the United States -- Chapter 7: The Effects...
Polni tekst
Elektronski eKnjiga
8
Izdano 2014
Kazalo: ... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...
Polni tekst
Elektronski eKnjiga
9
Izdano 2006
Kazalo: ... State Machines -- What’s Decidable About Arrays?....
Polni tekst
Elektronski eKnjiga
10
Izdano 2006
Kazalo: ... Rational Numbers -- Iso-array Acceptors and Learning -- Poster Papers -- A Merging States Algorithm...
Polni tekst
Elektronski eKnjiga
11
Kazalo: ...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...
Polni tekst
Elektronski eKnjiga
12
Izdano 2010
Kazalo: ... State Machines -- MEMS Dynamic Optically Reconfigurable Gate Array Usable under a Space Radiation...
Polni tekst
Elektronski eKnjiga
13
Izdano 2008
Kazalo: ... Multiplayer Games -- Stochastic Games with Lossy Channels -- Simulation Hemi-metrics between Infinite-State...
Polni tekst
Elektronski eKnjiga
14
Izdano 2005
Kazalo: ... of State for Adjacent Agents -- Optimal Behavior of a Moving Creature in the Cellular Automata Model...
Polni tekst
Elektronski eKnjiga
15
Izdano 2015
Kazalo: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Polni tekst
Elektronski eKnjiga
16
Izdano 2010
Kazalo: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
Polni tekst
Elektronski eKnjiga
17
Izdano 2014
Kazalo: ... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...
Polni tekst
Elektronski eKnjiga
18
Izdano 2008
Kazalo: ... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...
Polni tekst
Elektronski eKnjiga
19
Izdano 2007
Kazalo: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Polni tekst
Elektronski eKnjiga
20
Izdano 2015
Kazalo: ... Duplicate-Free State-Space Model for Optimal Task Scheduling -- On the Heterogeneity Bias of Cost Matrices...
Polni tekst
Elektronski eKnjiga