1
Taula de continguts: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...
Obtenir text complet
Electrònic eBook
2
Taula de continguts: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Obtenir text complet
Electrònic eBook
3
Taula de continguts: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
Obtenir text complet
Electrònic eBook
4
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
5
per Lee, Kent D., Lee, Kent D.
Publicat 2014
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
6
Publicat 2012
Taula de continguts: ...ProMAS–2011 -- Part I: Foundations of Agent Programming -- Languages -- Logical Foundations for a...
Obtenir text complet
Electrònic eBook
7
Publicat 2013
Taula de continguts: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Obtenir text complet
Electrònic eBook
8
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ...Biological Models -- Programming in Python -- NumPy, SciPy and Python Image Library -- The PCNN...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ... Integrals -- Workshop on PULSES V- Logical, Scientific and Computational Aspects of Pulse Phenomena...
Obtenir text complet
Electrònic eBook
11
Publicat 2008
Taula de continguts: ... with Lightweight Annotation Requirements -- A Logic Programming Approach to Scientific Workflow Provenance Querying...
Obtenir text complet
Electrònic eBook