Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming complexity » programming complete, programming comparing, programming component
function tracking » function tracing, function attacking, function training
https function » its function, sites function, ups function
tracking https » teaching https, tracking hits, tracing http
programming complexity » programming complete, programming comparing, programming component
function tracking » function tracing, function attacking, function training
https function » its function, sites function, ups function
tracking https » teaching https, tracking hits, tracing http
1
Опубликовано 2010
Оглавление:
“... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2010
Оглавление:
“... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2014
Оглавление:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2015
Оглавление:
“...Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2015
Оглавление:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2008
Оглавление:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“... -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2013
Оглавление:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2010
Оглавление:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2008
Оглавление:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Полный текст
Электронный ресурс
eКнига
11
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Опубликовано 2013
Оглавление:
“... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2008
Оглавление:
“...Hash Function Cryptanalysis -- Security of MD5 Challenge and Response: Extension of APOP Password...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2006
Оглавление:
“... Identification Through Image Evaluation Using Secret Predicates -- Hash Functions -- Cryptanalysis of Reduced...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2005
Оглавление:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2010
Оглавление:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Полный текст
Электронный ресурс
eКнига
16
Предметы:
“...Complex Systems. https://scigraph.springernature.com/ontologies/product-market-codes/P33000...”
Полный текст
Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2006
Оглавление:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2006
Оглавление:
“... Configurations on Finite Point Sets in the Plane -- Contributed Papers – Track A -- Normal and Feature...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2010
Оглавление:
“... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2010
Оглавление:
“... Papers -- Tracking Evidence -- Strict Canonical Constructive Systems -- Decidable Expansions of Labelled...”Полный текст
Электронный ресурс
eКнига