1
Vydáno 2008
Obsah: ... -- Side Channel Analysis -- Quantifying Timing Leaks and Cost Optimisation -- Method for Detecting...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2007
Obsah: ... -- Preventing Unofficial Information Propagation -- A Novel Method for Micro-Aggregation in Secure Statistical...
Získat plný text
Elektronický zdroj E-kniha
3
4
Vydáno 2015
Obsah: ... the Better Optimal Solution in Multi-Objective Optimization Problem -- Test Case Creation from UML Sequence...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2010
Obsah: ... Images -- Recognition and Classification -- Fusion Methods for the Two Class Recognition Problem...
Získat plný text
Elektronický zdroj E-kniha
6
Autor Meisels, Amnon., Meisels, Amnon.
Vydáno 2008
Obsah: ...Constraints Satisfaction Problems - CSPs -- Constraints Optimization Problems - COPs -- Distributed...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2014
Obsah: ... in LTL Model Checking -- Formal Throughput and Response Time Analysis of MARTE Models -- Extending MSVL...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2012
Obsah: ... -- 52. An Extended Kalman Filter Based Data Fusion Method for Wireless Sensor Networks -- 53...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2007
Obsah: ...Keynote -- Optimization Problems in Service Provisioning Systems -- Markov Chains -- Untold Horrors...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2015
Obsah: ... Comparison of BEMRP, MZRP, MCEDAR, ODMRP, DCMP & FGMP to Achieve Group Communication in MANET -- DMTMR-Based...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2015
Obsah: ...) -- Some results and problems for anisotropic random walk on the plane (E. Csáki, A. Földes, P. Révész...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2006
Obsah: ... of Calendar Expressions as Extended Regular Expressions -- Using Finite State Technology in a Tool...
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2008
Obsah: ...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...
Získat plný text
Elektronický zdroj E-kniha
14
15
Vydáno 2013
Obsah: ...Cognition and Communication toward Chance Discovery -- Curation and Communication in Chance...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2008
Obsah: ... with Problem-Based Learning -- Encouraging the Uptake of Formal Methods Training in an Industrial Context...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2012
Obsah: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2014
Obsah: ... with Communication Actions -- Concurrent Kleene Algebra with Tests -- Algebras for Program Correctness in Isabelle...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2008
Obsah: ... and Traffic Problems -- 1: Tools and Theory -- Occurrence of Gliders in an Infinite Class of Life-Like...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2013
Obsah: ... New Method for Solving Polynomial Systems with Noise over F2 and Its Applications in Cold Boot Key...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání