by
Sestoft, Peter. editor.
Format:
Electronic Resources
Excerpt:
of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria
by
Sagiv, Mooly. editor.
Format:
Electronic Resources
Excerpt:
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part
View Other Search Results
by
Drossopoulou, Sophia. editor.
Format:
Electronic Resources
Excerpt:
of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary
by
Nicola, Rocco. editor.
Format:
Electronic Resources
Excerpt:
of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal
by
Fomin, Fedor V. editor.
Format:
Electronic Resources
Excerpt:
; algorithms for concurrent and distributed systems; networks; and proof theory and applications of logic to
by
Beyersdorff, Olaf. editor.
Format:
Electronic Resources
Excerpt:
, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings
by
Wang, K.C. author.
Format:
Electronic Resources
Excerpt:
programming practice in the Unix/Linux environment. Emphasizing both theory and programming practice. Systems
by
Brandes, Ulrik. editor.
Format:
Electronic Resources
Excerpt:
Internet, interlocking directorates, transportation systems, epidemic spreading, metabolic pathways, the
by
Thrun, Michael Christoph. author.
Format:
Electronic Resources
Excerpt:
High-Dimensional Data Quality Assessments of Visualizations Behavior-Based Systems in Data Science Databionic Swarm
by
Arora, Ritu. editor.
Format:
Electronic Resources
Excerpt:
Analytics -- Big Data Techniques as a Solution to Theory Problems -- High-Frequency Financial Statistics
by
Creignou, Nadia. editor.
Format:
Electronic Resources
Excerpt:
theory of programming languages. Consequently, it is important to analyze and pinpoint the computational
by
Àlvarez, Carme. editor.
Format:
Electronic Resources
Excerpt:
Cryptanalysis and the Shrinking Generator -- Some Advances in the Theory of Voting Systems Based on Experimental
Limit Search Results
Narrowed by: