by
Davenport, James H. editor. (orcid)0000-0002-3982-7545
Format:
Electronic Resources
Excerpt:
Logic -- Number theory -- Combinatorics -- Algebra -- Analysis -- Geometry -- Inter-disciplinary
by
Comninos, Peter. author.
Format:
Electronic Resources
Excerpt:
functions, elementary geometry and number theory, and also to have some familiarity with computer
View Other Search Results
3.
by
de Boer, Frank. editor.
Format:
Electronic Resources
Excerpt:
directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency Theory
by
Sestoft, Peter. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
by
Sagiv, Mooly. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
by
Abadi, Martín. editor.
Format:
Electronic Resources
Excerpt:
,developers, and students in order to advance the theory of concurrency and to promote its applications. This
by
Neves, José. editor.
Format:
Electronic Resources
Excerpt:
) -- System Stability Via Stepping Optimal Control: Theory and Applications -- Evaluating Simulated Annealing
by
Pal, Ajit. editor.
Format:
Electronic Resources
Excerpt:
Order-Preserving Imperfect Channels -- Efficiently Implementing LL/SC Objects Shared by an Unknown Number of
Limit Search Results
Narrowed by: