1
Publicat 2005
Taula de continguts: ...On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti...
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
Obtenir text complet
Electrònic eBook
4
Publicat 2007
Taula de continguts: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
Obtenir text complet
Electrònic eBook
5
Publicat 2014
Taula de continguts: ...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...
Obtenir text complet
Electrònic eBook
6
Publicat 2015
Matèries: ...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...
Obtenir text complet
Electrònic eBook
7
Publicat 2007
Taula de continguts: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
Obtenir text complet
Electrònic eBook
8
Publicat 2005
Taula de continguts: ... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...
Obtenir text complet
Electrònic eBook
9
Publicat 2007
Taula de continguts: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
Obtenir text complet
Electrònic eBook
10
Publicat 2007
Taula de continguts: ... of Proofs (Abstract) -- The Symbolic Approach to Repeated Games (Abstract) -- Proofs, Programs and Abstract...
Obtenir text complet
Electrònic eBook
11
Publicat 2012
Taula de continguts: ...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...
Obtenir text complet
Electrònic eBook
13
Publicat 2007
Taula de continguts: ...) -- Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? -- Fault-Tolerant Algorithms...
Obtenir text complet
Electrònic eBook
14
Publicat 2013
Taula de continguts: ...Distributed algorithms and concurrent data structures -- Integration of heterogeneous wireless...
Obtenir text complet
Electrònic eBook
15
Publicat 2013
Taula de continguts: ... -- On the Complexity of Computing Optimal Private Park-and-Ride Plans -- Predicting Road Accidents Based on Current...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...
Obtenir text complet
Electrònic eBook
17
Publicat 2008
Taula de continguts: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
Obtenir text complet
Electrònic eBook
18
Publicat 2006
Taula de continguts: ... Programming -- Case Based Reasoning and Probabilistic Reasoning -- Special Session on Computational...
Obtenir text complet
Electrònic eBook
19
Publicat 2014
Taula de continguts: ... -- Intrusion Detection in Cloud Computing Implementation of (SAAS & IAAS) using Grid Environment -- Inter...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ... and Hand-Made Puzzles -- Cultural Computing – Creative Power Integrating Culture, Unconsciousness...
Obtenir text complet
Electrònic eBook