בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
security programming » secure programming, recursive programming, security program
integrated security » integrating security, internet security, integrated series
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs loops » constructs lists, constructs coders, constructs core
security programming » secure programming, recursive programming, security program
integrated security » integrating security, internet security, integrated series
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs loops » constructs lists, constructs coders, constructs core
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
יצא לאור 2006
תוכן הענינים:
“... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2013
תוכן הענינים:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2014
תוכן הענינים:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
תוכן הענינים:
“... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2014
תוכן הענינים:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני