Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
specifications computing » specifications combining, specification comparing, modifications computing
program specifications » programs specifications, program specification, programs specification
program python » program path, program paths, program potong
python program » python programs, action program, python programming
https » http
specifications computing » specifications combining, specification comparing, modifications computing
program specifications » programs specifications, program specification, programs specification
program python » program path, program paths, program potong
python program » python programs, action program, python programming
https » http
1
Table of Contents:
“...Part I: Exercises -- Introduction to Programming Exercises -- If Statement Exercises -- Loop...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“... -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library....”
View full text
View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...”View full text
Electronic
eBook
6
Table of Contents:
“...Introduction -- Getting started with programming -- Units and measurement -- Motion in one...”
View full text
View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”View full text
Electronic
eBook
8
9
Published 2010
Table of Contents:
“...Workshop on Numerical Methods and Modeling/Simulations in Computational Science and Engineering...”View full text
Electronic
eBook
10
Table of Contents:
“... and Interoperability -- Dynamic Objects -- DLR Hosting API -- Applying the DLR -- DLR and Aspect-Oriented Programming...”
View full text
View full text
Electronic
eBook
11
Table of Contents:
“... Introduction -- Getting started with programming -- Units and measurement -- Motion in one...”
View full text
View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...Digital Library Models and Architectures -- Requirements Gathering and Modeling of Domain-Specific...”View full text
Electronic
eBook