-
561Published in Springer eBooks (2013)Table of Contents: “...Foreword -- Introduction -- Nature as Quantum Computer -- Jack Schwartz Meets Karl Marx -- SETL...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
562Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
563Table of Contents: “...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
564by Blieberger, JohannSubjects: “...Programming Languages, Compilers, Interpreters 303287...”
Published 2006
Get full text
Перейти в каталог НБ ТГУ
eBook -
565Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
566Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
567Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
568by Cousot, PatrickSubjects: “...Programming Languages, Compilers, Interpreters 303287...”
Published 2006
Get full text
Перейти в каталог НБ ТГУ
eBook -
569Published in Springer eBooks (2013)Table of Contents: “... analysis -- Model checking -- New applications -- Program transformation -- Program verification...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
570
-
571
-
572by Bateman, BlaineSubjects: “...Python (Computer program language)...”
Published 2022
EBSCOhost
Перейти в каталог НБ ТГУ
eBook -
573by Farrell, Peter, 1966-Table of Contents: “... for Statistics -- Introduction -- Scientific Computing and NumPy Basics -- NumPy Arrays -- Vectorization...”
Published 2020
EBSCOhost
Перейти в каталог НБ ТГУ
eBook -
574Subjects: “...Programming Languages, Compilers, Interpreters 303287...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
575Published in Springer eBooks (2013)Subjects: “...Programming Languages, Compilers, Interpreters. 303287...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
576Published in Springer eBooks (2014)Table of Contents: “... flow analysis -- Model checking -- Program transformation -- Program verification -- Security analysis...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
577Published in Springer eBooks (2014)Table of Contents: “... Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
578Published in Springer eBooks (2014)Table of Contents: “... and PAT.-Negative Variables and the Essence of Object-Oriented Programming -- Reasoning (on) Service...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
579Published in Springer eBooks (2014)Table of Contents: “... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
580by Anggoro, WisnuSubjects: “...C++ (Computer program language)...”
Published 2018
EBSCOhost
Перейти в каталог НБ ТГУ
eBook
