1
Table des matières: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Accéder au texte intégral
Électronique eBook
2
Table des matières: ...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...
Accéder au texte intégral
Électronique eBook
3
Table des matières: ...Part I: Exercises -- Introduction to Programming Exercises -- If Statement Exercises -- Loop...
Accéder au texte intégral
Électronique eBook
4
par Lee, Kent D., Lee, Kent D.
Publié 2014
Table des matières: ... -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library....
Accéder au texte intégral
Électronique eBook
5
Publié 2014
Table des matières: ... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...
Accéder au texte intégral
Électronique eBook
6
Table des matières: ...Introduction -- Getting started with programming -- Units and measurement -- Motion in one...
Accéder au texte intégral
Électronique eBook
7
Sujets: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Accéder au texte intégral
Électronique eBook
8
Publié 2013
Table des matières: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
Accéder au texte intégral
Électronique eBook
9
par Wu, Chaur., Wu, Chaur.
Publié 2010
Table des matières: ... and Interoperability -- Dynamic Objects -- DLR Hosting API -- Applying the DLR -- DLR and Aspect-Oriented Programming...
Accéder au texte intégral
Électronique eBook
10
Publié 2010
Table des matières: ... Project Planning -- A Software Metric for Python Language -- Certifying Algorithms for the Path Cover...
Accéder au texte intégral
Électronique eBook
11
Table des matières: ... Introduction -- Getting started with programming -- Units and measurement -- Motion in one...
Accéder au texte intégral
Électronique eBook
12
Publié 2005
Table des matières: ...Digital Library Models and Architectures -- Requirements Gathering and Modeling of Domain-Specific...
Accéder au texte intégral
Électronique eBook
13