1
Wydane 2011
Hasła przedmiotowe: ...Programming languages (Electronic computers)....
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2014
Spis treści: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2007
Spis treści: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2006
Spis treści: ... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2008
Spis treści: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Spis treści: ...Software Engineering Challenges -- Software Processes and Process Models -- Project Management...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2008
Spis treści: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2010
Spis treści: ... Process Improvement: A Discussion and Strengthening Using the SPI Manifesto -- Integrated Design – A Set...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2010
Spis treści: ... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2006
Spis treści: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2006
Spis treści: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2005
Spis treści: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2007
Spis treści: ... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2010
Spis treści: ... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2013
Spis treści: ... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Spis treści: ...Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Wydane 2010
Spis treści: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Wydane 2006
Spis treści: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2007
Spis treści: ... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Wydane 2010
Spis treści: ... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...
Dokumenty pełnotekstowe
Elektroniczne E-book