Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
tutorial implementation » trial implementation, tutorial implentations, numerical implementation
implementation https » instrumentation https, implementation _
program a » program _
tutorial implementation » trial implementation, tutorial implentations, numerical implementation
implementation https » instrumentation https, implementation _
program a » program _
1
Published 2008
Table of Contents:
“... to OOP/Java — A Never Ending Story -- Using BlueJ to Introduce Programming -- Model-Driven Programming...”View full text
Electronic
eBook
2
Table of Contents:
“..., Design, Implementation and Refactoring -- Elementary Design Patterns -- Analysing a System -- Design...”
View full text
View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Logic Programming -- Using a Logic Programming Framework to Control Database Query Dialogues in Natural...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
7
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...Fourth International Workshop on OpenMP IWOMP 2008 -- A Microbenchmark Study of OpenMP Overheads...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“...Introduction -- Classical Techniques -- Integer Programming -- Genetic Algorithms -- Scatter Search...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Throughput Computing Server -- What Multilevel Parallel Programs Do When You Are Not Watching: A Performance...”View full text
Electronic
eBook
13
Table of Contents:
“... with a Real-Time C++ Program on a Board -- An Easy Jump-Start in Real-Time C++ -- Object-Oriented...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“...Real-time and synchronous programming -- Generalities on Real-Time Programming -- Synchronous...”
View full text
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... of Process Graphs -- Sanity Checks in Formal Verification -- Invited Tutorials -- Welcome to the Jungle: A...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... for Runtime System Data from the Clients of Management APIs -- A Meta Model for Artefact-Orientation...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... -- Will This Be Formal? -- Tutorials -- A Short Presentation of Coq -- An ACL2 Tutorial -- A Brief Overview of PVS -- A...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”View full text
Electronic
eBook