Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
interactive computing » interactive computer
computing programs » comparing programs, computing progress, conducting programs
program foundation » prosea foundation, program formulation, programming foundations
programs program » programming program
foundation https » foundations https, foundations http, function https
interactive computing » interactive computer
computing programs » comparing programs, computing progress, conducting programs
program foundation » prosea foundation, program formulation, programming foundations
programs program » programming program
foundation https » foundations https, foundations http, function https
1
Sujets:
“...Programming languages (Electronic computers)....”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
2
Table des matières:
“...Computer modeling of chromosomes: A new approach for genetics education -- Chromosome techniques...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
3
Publié 2013
Table des matières:
“... -- Computability and randomness -- Logical foundations of programming -- Logical aspects of computational...”Accéder au texte intégral
Électronique
eBook
4
Publié 2008
Table des matières:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Accéder au texte intégral
Électronique
eBook
5
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Publié 2014
Table des matières:
“... for Nominal Exceptions -- Complexity of Model-Checking Call-by-Value Programs -- Resource Reachability Games...”Accéder au texte intégral
Électronique
eBook
6
Publié 2008
Table des matières:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Accéder au texte intégral
Électronique
eBook
7
8
Publié 2010
Table des matières:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Accéder au texte intégral
Électronique
eBook
9
Publié 2015
Table des matières:
“... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...”Accéder au texte intégral
Électronique
eBook
10
Publié 2014
Table des matières:
“... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”Accéder au texte intégral
Électronique
eBook
11
Publié 2015
Table des matières:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Accéder au texte intégral
Électronique
eBook
12
Publié 2005
Table des matières:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”Accéder au texte intégral
Électronique
eBook
13
Table des matières:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
14
Publié 2008
Table des matières:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Accéder au texte intégral
Électronique
eBook
15
Table des matières:
“... Components -- Interacting with Users -- Interacting with the Web Browser -- Working with Data in Flex...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
16
Table des matières:
“... Animation, Effects, and Commands -- Actions and Interactions -- Intelligent Actions -- Multimedia: Sound...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
17
Table des matières:
“... in Catalyst -- Interactions -- Organizing Artwork and Best Practices -- Data Lists and Design-Time Data...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
18
Publié 2005
Table des matières:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”Accéder au texte intégral
Électronique
eBook
19
Publié 2006
Table des matières:
“... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...”Accéder au texte intégral
Électronique
eBook
20
Publié 2005
Table des matières:
“... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...”Accéder au texte intégral
Électronique
eBook