Yazar
Han, Yo-Sub. editor.
Format:
Electronic Resources
Alıntı:
Data structures (Computer science).
Yazar
Gopal, T. V. editor.
Format:
Electronic Resources
Alıntı:
Data Structures, Cryptology and Information Theory.
View Other Search Results
Yazar
Kulikov, Alexander S. editor.
Format:
Electronic Resources
Alıntı:
, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving
Yazar
Xu, Dachuan. editor.
Format:
Electronic Resources
Alıntı:
cover various topics including algorithms and data structures; algorithmic game theory; approximation
Yazar
Cai, Zhipeng. editor.
Format:
Electronic Resources
Alıntı:
: sampling and randomized methods; logic, algebra and automata; database and data structures; parameterized
Yazar
Davis, Jesse. editor.
Format:
Electronic Resources
Alıntı:
predictive models from ecological data -- PageRank, ProPPR, and Stochastic Logic Programs -- Complex
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Checking for B and Event-B -- On Component-based Reuse for Event-B -- Using B and ProB for Data Validation
Arama Sonuçlarını Sınırlandır
Daraltılmış: