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