Yazar
Hjort Blindell, Gabriel. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
View Other Search Results
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Fujita, Hamido. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Urban, Christian. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
-- Parallel Bounded Verification of Alloy Models by TranScoping -- Extending the Theory of Arrays: memset
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain
Yazar
Kurosu, Masaaki. editor.
Format:
Electronic Resources
Alıntı:
Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
-- Implementing Tableau Calculi Using BDDs: BDDTab System Description -- Approximations for Model Construction
Yazar
Calimeri, Francesco. editor.
Format:
Electronic Resources
Alıntı:
-- Multi-Level Algorithm Selection for ASP -- Clause-Learning For Modular Systems -- Solving disjunctive fuzzy
Yazar
Geffert, Viliam. editor.
Format:
Electronic Resources
Alıntı:
Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014
Arama Sonuçlarını Sınırlandır
Daraltılmış: