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