1
Table of Contents: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
Ligazón do recurso
Electrónico eBook
2
Publicado 2007
Table of Contents: ... for Interface and Product Line Theories -- Using History Invariants to Verify Observers -- Term Rewriting...
Ligazón do recurso
Electrónico eBook
3
Publicado 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Ligazón do recurso
Electrónico eBook
4
Publicado 2008
Table of Contents: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Ligazón do recurso
Electrónico eBook
5
por Graba, Jan., Graba, Jan.
Publicado 2007
Table of Contents: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
Ligazón do recurso
Electrónico eBook
6
Publicado 2005
Table of Contents: ... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...
Ligazón do recurso
Electrónico eBook
7
Table of Contents: ... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....
Ligazón do recurso
Electrónico eBook
8
Publicado 2007
Table of Contents: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
Ligazón do recurso
Electrónico eBook
9
Publicado 2015
Table of Contents: ... Cars -- Robot: Multi-use Tool and Ethical Agent -- Towards Human--Robot Interaction Ethics -- Shall I...
Ligazón do recurso
Electrónico eBook
10
Publicado 2013
Table of Contents: ... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...
Ligazón do recurso
Electrónico eBook
11
por Lee, James., Lee, James.
Publicado 2010
Table of Contents: ...First Steps in Perl -- Scalars -- Control Flow Constructs -- Lists and Arrays -- Hashes...
Ligazón do recurso
Electrónico eBook
12
Publicado 2014
Table of Contents: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Ligazón do recurso
Electrónico eBook
13
por Dooley, John., Dooley, John.
Publicado 2011
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook
14
por Carsetti, A., Carsetti, A.
Publicado 2013
Table of Contents: ... and the alternative splicing. - 2. The interface between ruler and coder -- 3. The recipe at work: the role...
Ligazón do recurso
Electrónico eBook
15
Publicado 2005
Table of Contents: ...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...
Ligazón do recurso
Electrónico eBook
16
Table of Contents: ...Harnessing the Power of Flex 3 -- Leveraging Architectural and Design Patterns -- Constructing...
Ligazón do recurso
Electrónico eBook
17
por Alameda, Eldon., Alameda, Eldon.
Publicado 2007
Table of Contents: ... -- Building a Blog Using Typo -- Building a Simple Blog Engine -- Enhancing Our Blogs -- Building a Web Comic...
Ligazón do recurso
Electrónico eBook
18
Publicado 2008
Table of Contents: ... Models -- Composition Middleware -- Composing Components and Services Using a Planning-Based Adaptation...
Ligazón do recurso
Electrónico eBook
19
por Pande, Arun., Pande, Arun.
Publicado 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook
20
por Davison, Andrew., Davison, Andrew.
Publicado 2007
Table of Contents: ... with JOAL -- The P5 Glove -- JOGL -- Two JOGL Programming Frameworks -- Touring the World -- Loading Models....
Ligazón do recurso
Electrónico eBook