Suggested Topics within your search.
Search alternatives:
development constructing » developments constructing, development deconstructing, development reconstructing
program development » product development
constructing https » construction https, consulting https, constructing better
https program » steps program, status program, atas program
1
Cover Image
Published 2010
Table of Contents: “... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
by Cooke, D. John., Cooke, D. John.
Published 2005
Table of Contents: “...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2005
Table of Contents: “... and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2012
Table of Contents: “..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2014
Table of Contents: “...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
by Dooley, John., Dooley, John.
Published 2011
Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2013
Table of Contents: “... Experiences of Visual and Textual Programming -- Enabling end users to create, annotate and share personal...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
Published 2005
Table of Contents: “... Software Development -- A Comparison of Program Generation with Aspect-Oriented Programming -- Generative...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Published 2014
Table of Contents: “... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Table of Contents: “...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Published 2005
Table of Contents: “... Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Table of Contents: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
Published 2005
Table of Contents: “... Environment for Interactive Proof Development -- A First Order Extension of Stålmarck’s Method -- Regular...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
Published 2007
Table of Contents: “... Developments in WCET Analysis -- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2008
Table of Contents: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Table of Contents: “...Harnessing the Power of Flex 3 -- Leveraging Architectural and Design Patterns -- Constructing...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Table of Contents: “...Interactive Flash -- Making Plans -- Movies that Remember -- Movies that Decide for Themselves...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2015
Table of Contents: “...Preface -- Chapter 1. Exploring the Intersection of Community Well-Being and Community Development...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2005
Table of Contents: “...Perspectives on Knowledge, Context and Learning by Teachers -- Knowledge Construction and Learning...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
by Brown, Charles., Brown, Charles.
Published 2008
Subjects: “...Web Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29050...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search