-
581
-
582
-
583
-
584
-
585
-
586
-
587
-
588
-
589
-
590
-
591
-
592Published in Springer eBooks (2015)Table of Contents: “... -- Analysis and Optimisation -- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
593Published in Springer eBooks (2014)Table of Contents: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
594Published in Springer eBooks (2015)Table of Contents: “...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
595
-
596
-
597
-
598
-
599
-
600