1
Publicat 2014
Taula de continguts: ... -- Distributed parallel processing in retinal amacrine cells -- Dendritic computation of direction in retinal...
Obtenir text complet
Electrònic eBook
2
Publicat 2014
Taula de continguts: ... in a Mammalian Cell-free System -- Quantitative Analysis of Deadenylation-independent mRNA Decay by a...
Obtenir text complet
Electrònic eBook
3
Publicat 2014
Taula de continguts: ... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...
Obtenir text complet
Electrònic eBook
4
Publicat 2015
Taula de continguts: ... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...
Obtenir text complet
Electrònic eBook
5
Publicat 2006
Taula de continguts: ... -- Quantitative Embedded System Architecture and Performance Analysis....
Obtenir text complet
Electrònic eBook
6
per Bjørner, Dines., Bjørner, Dines.
Publicat 2006
Taula de continguts: ... Charts -- Statecharts -- Quantitative Models of Time -- Interpreter and Compiler Definitions -- SAL...
Obtenir text complet
Electrònic eBook
7
Publicat 2015
Taula de continguts: ... Chain Models -- Integrated Solid Waste Management System Design under Uncertainty -- A Uniform...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Obtenir text complet
Electrònic eBook
9
Publicat 2015
Taula de continguts: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
Obtenir text complet
Electrònic eBook
10
Publicat 2014
Taula de continguts: ... Based Face Recognition Systems-A Survey -- Relationship between View Angle and Distance Between Parallel...
Obtenir text complet
Electrònic eBook
11
Publicat 2012
Taula de continguts: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
Obtenir text complet
Electrònic eBook
12
Publicat 2013
Taula de continguts: ... to Address Interactive Critical Systems Aspects -- Ageing and Innovation -- Understanding User Experience...
Obtenir text complet
Electrònic eBook
13
Publicat 2013
Taula de continguts: ... (Bitcoin) -- Quantitative Analysis of the Full Bitcoin Transaction Graph -- Beware the Middleman: Empirical...
Obtenir text complet
Electrònic eBook
14
Publicat 2011
Taula de continguts: ... -- Protein Function Microarrays for Customized Systems-Oriented Proteome Analysis -- Optimized Autoantibody...
Obtenir text complet
Electrònic eBook
15
Publicat 2014
Taula de continguts: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Obtenir text complet
Electrònic eBook
16
Publicat 2015
Taula de continguts: ... Study of c-VEP/SSVEP BCI Hybrid System -- Part II: Higher Mental Functions and Dysfunctions -- Memory...
Obtenir text complet
Electrònic eBook
17
Publicat 2005
Taula de continguts: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Obtenir text complet
Electrònic eBook
18
Publicat 2015
Taula de continguts: ... -- System Development Ontology to Discover Lifestyle Patterns Associated with NCD -- USSD technology a low...
Obtenir text complet
Electrònic eBook
19
Publicat 2014
Taula de continguts: ... Cyber-Physical Systems (Track Introduction) -- Compositional, Approximate, and Quantitative Reasoning...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
Obtenir text complet
Electrònic eBook