1
主題: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
全文の入手
電子媒体 eBook
2
出版事項 2005
目次: ..., Segmentation, and Tracking -- Analysis of the Interdependencies Among Plaque Development, Vessel Curvature...
全文の入手
電子媒体 eBook
3
著者: Li, Xingfeng., Li, Xingfeng.
出版事項 2014
目次: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
全文の入手
電子媒体 eBook
4
出版事項 2010
目次: ... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...
全文の入手
電子媒体 eBook
5
出版事項 2010
目次: ... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...
全文の入手
電子媒体 eBook
6
出版事項 2008
目次: ... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...
全文の入手
電子媒体 eBook
7
出版事項 2014
目次: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
全文の入手
電子媒体 eBook
8
出版事項 2008
目次: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
全文の入手
電子媒体 eBook
9
出版事項 2015
目次: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
全文の入手
電子媒体 eBook
10
出版事項 2015
目次: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
全文の入手
電子媒体 eBook
11
目次: ...Optimal Stabilization Control for Discrete-time Systems -- Optimal Tracking Control for Discrete...
全文の入手
電子媒体 eBook
12
出版事項 2008
目次: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
全文の入手
電子媒体 eBook
13
出版事項 2013
目次: ... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...
全文の入手
電子媒体 eBook
14
出版事項 2015
目次: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
全文の入手
電子媒体 eBook
15
出版事項 2013
目次: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
全文の入手
電子媒体 eBook
16
出版事項 2010
目次: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
全文の入手
電子媒体 eBook
17
出版事項 2008
目次: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
全文の入手
電子媒体 eBook
18
出版事項 2008
目次: ...Hash Function Cryptanalysis -- Security of MD5 Challenge and Response: Extension of APOP Password...
全文の入手
電子媒体 eBook
19
出版事項 2006
目次: ... Identification Through Image Evaluation Using Secret Predicates -- Hash Functions -- Cryptanalysis of Reduced...
全文の入手
電子媒体 eBook
20
出版事項 2010
目次: ..., Identification and Tracking of Multiple Objects in Video Streams under Uncertainties -- Soft Concept Hierarchies...
全文の入手
電子媒体 eBook