1
per Lee, Kent D., Lee, Kent D.
Publicat 2014
Matèries: ...Programming languages (Electronic computers)....
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Obtenir text complet
Electrònic eBook
3
Publicat 2007
Taula de continguts: ...Invited Talk -- Formal Foundations for Aspects -- Contributed Papers -- Sampled Universality...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...
Obtenir text complet
Electrònic eBook
5
Publicat 2011
Matèries: ...Programming languages (Electronic computers)....
Obtenir text complet
Electrònic eBook
6
Publicat 2013
Taula de continguts: ... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obtenir text complet
Electrònic eBook
8
Matèries: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obtenir text complet
Electrònic eBook
9
Publicat 2005
Taula de continguts: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
Obtenir text complet
Electrònic eBook
10
Publicat 2006
Taula de continguts: ... Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular Automata...
Obtenir text complet
Electrònic eBook
11
per Dadkhah, Kamran., Dadkhah, Kamran.
Publicat 2011
Taula de continguts: ... -- 2 Basics of Computation -- 3 Basic Concepts and Methods of Probability Theory and Statistics -- Part...
Obtenir text complet
Electrònic eBook
12
Taula de continguts: ...Introducing C++/CLI -- A Quick Tour of the C++/CLI Language Features -- Building C++/CLI Programs...
Obtenir text complet
Electrònic eBook
13
Publicat 2012
Taula de continguts: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
Obtenir text complet
Electrònic eBook
14
Publicat 2013
Taula de continguts: ... on k-Edge-Colored Graphs -- How to Pack Your Items When You Have to Buy Your Knapsack.-Computing...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...
Obtenir text complet
Electrònic eBook
17
per Townsend, RJ., Townsend, RJ.
Publicat 2010
Taula de continguts: ... to Drupal Functionality....
Obtenir text complet
Electrònic eBook
18
Matèries: ...Computer programming....
Obtenir text complet
Electrònic eBook
19
Matèries: ...Computer programming....
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...
Obtenir text complet
Electrònic eBook