Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
specifications computing » specifications combining, specification comparing, modifications computing
programs specifications » programs verification
python programs » python program, action programs, method programs
program python » program path, program paths, program potong
https » http
specifications computing » specifications combining, specification comparing, modifications computing
programs specifications » programs verification
python programs » python program, action programs, method programs
program python » program path, program paths, program potong
https » http
1
Оглавление:
“...Part I: Exercises -- Introduction to Programming Exercises -- If Statement Exercises -- Loop...”
Полный текст
Полный текст
Электронный ресурс
eКнига
2
Оглавление:
“...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
Полный текст
Полный текст
Электронный ресурс
eКнига
3
Оглавление:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Полный текст
Полный текст
Электронный ресурс
eКнига
4
Оглавление:
“... -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library....”
Полный текст
Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2014
Оглавление:
“... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...”Полный текст
Электронный ресурс
eКнига
6
Оглавление:
“...Introduction -- Getting started with programming -- Units and measurement -- Motion in one...”
Полный текст
Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2013
Оглавление:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”Полный текст
Электронный ресурс
eКнига
8
9
Опубликовано 2010
Оглавление:
“...Workshop on Numerical Methods and Modeling/Simulations in Computational Science and Engineering...”Полный текст
Электронный ресурс
eКнига
10
Оглавление:
“... and Interoperability -- Dynamic Objects -- DLR Hosting API -- Applying the DLR -- DLR and Aspect-Oriented Programming...”
Полный текст
Полный текст
Электронный ресурс
eКнига
11
Оглавление:
“... Introduction -- Getting started with programming -- Units and measurement -- Motion in one...”
Полный текст
Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2005
Оглавление:
“...Digital Library Models and Architectures -- Requirements Gathering and Modeling of Domain-Specific...”Полный текст
Электронный ресурс
eКнига