19281
by Muller, Jean-Michel, Brunie, Nicolas, de Dinechin, Florent, Jeannerod, Claude-Pierre
Published 2018
Springer International Publishing
Table of Contents: '; ... Properties and Algorithms -- Enhanced FP Sums, Dot Products, and Polynomial Values -- Languages and Compilers...

19282
Published 2019
Springer International Publishing
Subjects: '; ...Programming Languages, Compilers, Interpreters...

19283
Published 2019
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19284
Published 2017
Springer International Publishing
Table of Contents: '; ..., algebra, and geometry.-Cryptography and information theory -- Formal languages and automata theory...

19285
Published 2017
Springer International Publishing
Subjects: '; ...Mathematical Logic and Formal Languages...

19286
Published 2017
Springer International Publishing
Subjects: '; ...Programming Languages, Compilers, Interpreters...

19287
Published 2017
Springer International Publishing
Subjects: '; ...Mathematical Logic and Formal Languages...

19288
Published 2017
Springer International Publishing
Subjects: '; ...Mathematical Logic and Formal Languages...

19289
Published 2017
Springer International Publishing
Table of Contents: '; ... -- Unary Coded PSPACE-Complete Languages in ASPACE(loglog n) -- Turing Degree Spectra of Minimal Subshifts...

19290
Published 2017
Springer International Publishing
Subjects: '; ...Programming Languages, Compilers, Interpreters...

19291
Published 2017
Springer International Publishing
Subjects: '; ...Mathematical Logic and Formal Languages...

19292
Published 2017
Springer International Publishing
Subjects: '; ...Mathematical Logic and Formal Languages...

19293
Published 2017
Springer International Publishing
Subjects: '; ...Programming Languages, Compilers, Interpreters...

19294
Published 2017
Springer International Publishing
Subjects: '; ...Programming Languages, Compilers, Interpreters...

19295
Published 2017
Springer International Publishing
Table of Contents: '; ...System design language usage to UML and GRL models -- Model-driven engineering of database queries...

19296
Published 2018
Springer International Publishing
Subjects: '; ...Mathematical Logic and Formal Languages...

19297
Published 2017
Springer International Publishing
Subjects: '; ...Mathematical Logic and Formal Languages...

19298
Published 2014
Springer International Publishing
Subjects: '; ...Programming Languages, Compilers, Interpreters...

19299
Published 2014
Springer International Publishing
Subjects: '; ...Mathematical Logic and Formal Languages...

19300
Published 2014
Springer International Publishing
Subjects: '; ...Mathematical Logic and Formal Languages...