בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programs parameterized » programs parameterised, diagrams parameterized, problem parameterized
https* » http*
programs parameterized » programs parameterised, diagrams parameterized, problem parameterized
https* » http*
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
יצא לאור 2010
תוכן הענינים:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2013
תוכן הענינים:
“... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים:
“... -- A PTAS for the Square Tiling Problem -- On the Hardness of Counting and Sampling Center Strings...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
תוכן הענינים:
“... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“... to the Cleavage Site Prediction Problem in Bioinformatics -- Learning PDFA with Asynchronous Transitions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2013
תוכן הענינים:
“...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2014
תוכן הענינים:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2007
תוכן הענינים:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2007
תוכן הענינים:
“... for Computing the Longest Parameterized Common Subsequence -- Fixed-Parameter Tractability of the Maximum...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2014
תוכן הענינים:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים:
“... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2015
תוכן הענינים:
“...-Sliding-Mode-Based Frequency Regulation -- A New Discrete-Time Iterative Adaptive Dynamic Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2013
תוכן הענינים:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2005
תוכן הענינים:
“... -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2015
תוכן הענינים:
“... -- Parameterized Complexity of Superstring Problems -- On the Fixed Parameter Tractability and Approximability...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני