1
Publicado em 2007
Sumário: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2006
Sumário: ... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Por Graba, Jan., Graba, Jan.
Publicado em 2007
Sumário: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2008
Sumário: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2006
Sumário: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Sumário: ... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....
Obter o texto integral
Recurso Electrónico livro electrónico
9
Por Gries, David., Gries, David., Gries, Paul.
Publicado em 2005
Sumário: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2014
Sumário: ....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2007
Sumário: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2015
Sumário: ... -- The Potential of Logic Programming as a Computational Tool to Model Morality....
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2013
Sumário: ... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2005
Sumário: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Por Carsetti, A., Carsetti, A.
Publicado em 2013
Sumário: ... and the alternative splicing. - 2. The interface between ruler and coder -- 3. The recipe at work: the role...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2014
Sumário: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Por Lee, James., Lee, James.
Publicado em 2010
Sumário: ...First Steps in Perl -- Scalars -- Control Flow Constructs -- Lists and Arrays -- Hashes...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Por Dooley, John., Dooley, John.
Publicado em 2011
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2008
Sumário: ... -- Interface Composition for Web Service Intermediaries -- Goal-Oriented Composition of Services -- Composing...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2005
Sumário: ...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...
Obter o texto integral
Recurso Electrónico livro electrónico